Category Theory Seminar: Raffael Stenzel (MPIM Bonn)
Krieger 413Title: The (oo,2)-category of internal (oo,1)-categories Abstract: Results which concern the classification of parametrized structures over a given base by means of internal constructions within that base are fairly ubiquitous in logic, algebra and topology. These results are by and large formal consequences of reflection properties of an associated externalization functor. In this talk, we define the […]