The globe category
The globe category encodes one of the main geometric shapes for higher structures. Its objects are the standard cellular -globes, and presheaves on it are globular sets.
It may also be called the globular category, although that term has other interpretations.
The globe category is the category whose objects are the non-negative integers and whose morphisms are generated from
for all subject to the relations (dropping obvious subscripts)
The reflexive globe category
If we add the generating morphisms
subject to the relations
we obtain the reflexive globe category.
- C. Kennett, E. Riehl, M. Roy, M. Zaks, Levels in the toposes of simplicial sets and cubical sets , JPAA 215 no.5 (2011) pp.949-961. (preprint)
Revised on December 27, 2014 15:14:55
by Thomas Holder