Seminar Event Detail


Date:  Thursday, February 22, 2018
Location:  3088 East Hall (4:00 PM to 5:30 PM)

Title:  Homotopy Type Theory and internal languages of higher categories

Abstract:   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:  Chris Kapulkin
Institution:  University of Western Ontario

Event Organizer:   David Fernandez Breton


Edit this event (login required).
Add new event (login required).
For access requests and instructions, contact

Back to previous page
Back to UM Math seminars/events page.