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 ootopoi which have no analog in the
1categorical 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 exdirectory lists are not shown.
