01whole.pdf (2.6 MB)
Download file

Sketches in higher category theory

Download (2.6 MB)
posted 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).


Table of Contents

1. Introduction -- 2. Vertebrae -- 3. Spines -- 4. Vertebral and Spinal Categories -- 5. Construct of Homotopy Theories -- 6. Towards the Homotopy Hypothesis.


Theoretical thesis. In abstract, "[infinity]" appears as the infinity symbol. Bibliography: pages 337-338

Awarding Institution

Macquarie University

Degree Type

Thesis PhD


PhD, Macquarie University, Faculty of Science, Department of Mathematics

Department, Centre or School

Department of Mathematics

Year of Award


Principal Supervisor

Stephen Lack


Copyright Remy Vincent Tuyeras 2015. Copyright disclaimer: http://www.copyright.mq.edu.au/




1 online resource (343 pages)

Former Identifiers

mq:43485 http://hdl.handle.net/1959.14/1061373