Left Exact Modalities in Type Theory

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

• Eric Finster, INRIA Rennes
• Friday 09 March 2018, 14:00-15:00
• FW26.

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:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.