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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

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.

Other lists

Capitalism on the Edge Darwin Society Logic and Semantics Seminar (Computer Laboratory)

Other talks

Study of pioneer factor concentration, chromatin binding kinetics & cell-to-cell variability during genomeawakening A historian as petitioner: Ghulam Husain Khan Tabataba’i and the late Mughal context for colonial state-formation in eighteenth century India Morphological Computation - A Potential Solution for the Control Problem in Soft Robotics The Ethics of Algorithmic Decision Making On Instabilities of Deep Learning in Image Reconstruction - Part I
 

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