BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Type theory and higher categories
DTSTART:20160531T101500
DTEND:20160531T113000
DTSTAMP:20260407T010144Z
UID:ba176be896d53a8a17f0791d95f28c3c800ada723cbef9672913c082
CATEGORIES:Conferences - Seminars
DESCRIPTION:Karol Szumiło\n(University of Western Ontario)\nMartin-Löf t
 ype theory is a formal system with basic homotopy theoretic concepts buil
 t in at a foundational level. It is believed that it is an "internal langu
 age of higher categories". However\, even formalizing this statement seem
 s difficult. I will propose a conjecture making it precise and outline an
  ongoing work towards the proof.
LOCATION:CM 113
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR