University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Left Exact Modalities in Type Theory

  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

Left Exact Modalities in Type Theory

Download to your calendar using vCal

If you have a question about this talk, please contact Victor Gomes .

I will discuss a recognition principle for left exact modalities in homotopy type theory and explain how it relates to the problem of understanding subtopoi of $\infty$-topoi. This theory generalizes the classical theory of Lawvere-Tieney topologies to the case of higher topoi. I will also describe some new phenomena which arise in the higher dimensional case.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Average on weekdays: 9201.31101377 kWh Seminar Room A, Centre of International Studies, 17 Mill Lane Average on weekdays: 8911.32613169 kWh

Other talks

Kirk Public Lecture: Title TBC Dr Dinis Calado, Senior Group Leader, Immunity and Cancer Laboratory, the Francis Crick Institute Topic Film, TV shows for Medical Education, ‘The Wire’ as a case study Not-so-noble gases, key tracers of Earth’s habitability: what their behaviour in planetary interiors can tell us? The Neurophenomenology of Surrender: Agency, Renewal, and Social Engagement in Speaking in Tongues Filial Lines: Art Spiegelman, Alison Bechdel, and Comics Form
 

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