We will continue online on Thursday, April 29th, at 1pm on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:
Hoang Kim Nguyen
Contravariant Homotopy Theories and Quillen’s Theorem A
Abstract: In this talk I will show how to construct a model structure on a locally presentable category with a suitable cylinder object such that the model structure behaves in a ”covariant” or ”contravariant” way with respect to the cylinder. Examples of such model structures include the covariant and contravariant model structures on simplicial sets and the cocartesian and cartesian model structures on marked simplicial sets modelling presheaves with values in ∞groupoids and ∞categories respectively. The model structures come with an abstract notion of cofinal functor which recovers the usual definition of cofinal functor for ∞categories when applied to the covariant and contravariant model structures on simplicial sets. When applied to presheaves valued in ntypes, one obtains a version of Quillen’s Theorem A for ncategories.
