Presented By: Department of Mathematics
Logic Seminar
Homotopy Type Theory and internal languages of higher categories
Homotopy Type Theory (or HoTT) is an approach to foundations of mathematics, building on the homotopy-theoretic interpretation of type theory. In addition to its foundational role, HoTT has been speculated to be the internal language of higher toposes in the sense of Joyal and Lurie.
This talk will be an introduction to HoTT, explaining its main ideas and presenting one way in which the connection between type theory and higher categories can be made precise. Speaker(s): Chris Kapulkin (University of Western Ontario)
This talk will be an introduction to HoTT, explaining its main ideas and presenting one way in which the connection between type theory and higher categories can be made precise. Speaker(s): Chris Kapulkin (University of Western Ontario)
Co-Sponsored By
Explore Similar Events
-
Loading Similar Events...