01whole.pdf (2.6 MB)

# Sketches in higher category theory

thesis
posted on 28.03.2022, 14:26 authored 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).

## History

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

## Notes

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

## Awarding Institution

Macquarie University

Thesis PhD

## Degree

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

## Department, Centre or School

Department of Mathematics

2015

Stephen Lack

English

## Extent

1 online resource (343 pages)

## Former Identifiers

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

## Exports

figshare. credit for all your research.