University of Cambridge > Talks.cam > Category Theory Seminar > On the Theory of Higher Subtopoi

On the Theory of Higher Subtopoi

Add to your list(s) Download to your calendar using vCal

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

Recent connections between type theory, homotopy theory and higher category theory have revealed interesting new features of the theory of subtopoi of oo-topoi which have no analog in the 1-categorical case. I will explain some of these new features, their connection with the internal language in the form of homotopy type theory, as well as their connection to a technique from abstract homotopy theory known as Goodwillie’s Calculus of Functors.

This talk is part of the Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

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