Left Exact Modalities in Type Theory
Add to your list(s)
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 LawvereTieney 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 exdirectory lists are not shown.
