Sketches in higher category theory
thesisposted on 28.03.2022, 14:26 by Remy Vincent Tuyeras
A sketch, in the sense of Charles Ehresmann, provides the data needed to specify a type of mathematical structure. The category of structures for a given sketch has good properties assured by the existence of reflection functors from presheaf categories. For example, a Grothendieck site is an example of a sketch and the reflection functor assigns the sheaf associated to a presheaf. The present thesis proposes a generalisation of sketch for higher categories. The motivation for this comes from homotopy theory rather than universal algebra. For the requisite homotopy structure on a category, we introduce vertebral categories and spinal categories, rather than starting with a Quillen model category where the weak equivalences are part of the data. For us, the weak equivalences are defined from the vertebrae in much the same way as they are constructed from discs and spheres in topology. The categories of structures for our generalised sketches are categories of fibrant objects in the usual cases. Categories of stacks and spectra are examples. Moreover, our construct of the reflection functor is an extension of the small object argument of Quillen. Finally, using our algorithm for constructing weak equivalences, we show that Grothendieck's [infinity]-groupoids form a spinal category. By combining all the results developed in the present thesis, future work will aim at proving that the category of [infinity]-groupoids admits a Quillen model structure and satisfies the 'Homotopy Hypothesis' (conjectured by Grothendieck in 1983 and still unproved).