White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Coalgebraic Cell Complexes

Athorne, Thomas (2014) Coalgebraic Cell Complexes. PhD thesis, University of Sheffield.

[img]
Preview
Text (Thesis)
thesis.pdf
Available under License Creative Commons Attribution-Noncommercial-No Derivative Works 2.0 UK: England & Wales.

Download (902Kb) | Preview

Abstract

The main aim of this thesis is the definition of CellCx, the category of relative cell complexes generated from a given small category of generating maps. We establish sufficient conditions for this definition to work and give us a category that we can prove is equivalent to the left map category for the algebraic weak factorisation system (AWFS for short) generated by Garner's small object argument applied to the same generating maps. These sufficient conditions take the form of a special kind of nerve functor on the underlying category, and some properties the generating maps are required to satisfy with respect to that nerve functor. In particular, they isolate a special class of inclusion maps which we call typical inclusions; every cell complex will have an underlying map which is a typical inclusion. We also give a survey of the current understanding of the semantic structure (left and right maps) that an AWFS determines. This includes a theorem that left and right map structures are always detemined entirely by their lifting structures; this establishes that any AWFS is a fixed point for an adjunction which can be viewed as a higher order Galois connection. Additionally, we prove that computads for globular operads are a special case of cell complexes. This is a result that has been present in the folklore for a while, but could not be fully formalised without the definition of cell complexes we establish here. Finally we consider the question of when cell complexes can themselves be expressed as presheaves; we prove a number of results for different examples and find some positive and some negative cases of this property. At the end we will connect this to the work of Batanin (see [Bat02]) in which he establishes conditions for this property to hold for computads.

Item Type: Thesis (PhD)
Keywords: algebraic weak factorisation system, cell complex, computad, globular operad, small object argument, Galois connection, nerve-realisation
Academic Units: The University of Sheffield > Faculty of Science (Sheffield)
The University of Sheffield > Faculty of Science (Sheffield) > School of Mathematics and Statistics (Sheffield)
Identification Number/EthosID: uk.bl.ethos.605504
Depositing User: Mr Thomas Athorne
Date Deposited: 04 Jul 2014 08:42
Last Modified: 03 Oct 2016 11:16
URI: http://etheses.whiterose.ac.uk/id/eprint/6285

Actions (repository staff only: login required)