The geometry of cubical and regular transition systems
Category Theory
2016-05-18 v3 Algebraic Topology
Abstract
There exist cubical transition systems containing cubes having an arbitrarily large number of faces. A regular transition system is a cubical transition system such that each cube has the good number of faces. The categorical and homotopical results of regular transition systems are very similar to the ones of cubical ones. A complete combinatorial description of fibrant cubical and regular transition systems is given. One of the two appendices contains a general lemma of independant interest about the restriction of an adjunction to a full reflective subcategory.
Keywords
Cite
@article{arxiv.1405.5184,
title = {The geometry of cubical and regular transition systems},
author = {Philippe Gaucher},
journal= {arXiv preprint arXiv:1405.5184},
year = {2016}
}
Comments
39 pages; Lemma 5.9 fixed and French abstract added