Algebra/Topology seminar

Speaker: Karol Szumilo (University of Western Ontario)

Title: Type theory and higher categories

Abstract: Martin-Löf type theory is a formal system with basic homotopy theoretic concepts built in at a foundational level. It is believed that it is an "internal language of
higher categories". However, even formalizing this statement seems difficult.
I will propose a conjecture making it precise and outline an ongoing work towards
the proof.