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

  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

On the Theory of Higher Subtopoi

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

The Lecture Theatre, Floor 2 Ray Dolby Centre in person & via zoom FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon

Other talks

Proteomics: Expression Analysis and Subcellular Localisation Market Failure, Organ Shortage, Pandemic and Climate Change: The Architecture of Cooperation Machine Politics? Computers and AI in the History of Political Thought Afternoon Break TBC Group Presentation 2
 

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