University of Cambridge > Talks.cam > Category Theory Seminar > Internal Language of Higher Categories

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Internal Language of Higher Categories

Download to your calendar using vCal

If you have a question about this talk, please contact Tamara von Glehn .

Theory of (infinity, 1)-categories can be seen as an abstract framework for homotopy theory which emerged from classical category theory and algebraic topology. Homotopy Type Theory is a formal language originating from logic which can also be used to argue about homotopy theory. It is believed that HoTT is an “internal language” of (infinity, 1)-categories. Roughly speaking, this means that HoTT and higher category theory prove the same theorems. Even making this statement precise is challenging and leads to a range of conjectures of varying scope and depth. In this talk, I will discuss a proof of the simplest of these conjectures obtained in joint work with Chris Kapulkin.

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Sainsbury Laboratory University of Cambridge, Bateman Street Hybrid: Ground Floor Seminar Room, Centre for Family Research, Old Cavendish Building, Free School Lane / Teams: please request the link from lg648 or sign up via https://bit.ly/48y9Ek2 Cambridge Graphene Centre Seminar Room

Other talks

Title to be confirmed TBC Title TBC Argentina 2005 Washing machines and their rare components: lessons from kidney patients Bigger Picture Talk: Developing future marine engines running on ammonia and other green fuels
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity