The algebra of the nerves of omega-categories
classification
🧮 math.CT
keywords
identitiesomega-categoriessetsstrictadditionalalgebraalgebraicallycalled
read the original abstract
We show that the nerve of a strict omega-category can be described algebraically as a simplicial set with additional operations subject to certain identities. The resulting structures are called sets with complicial identities. We also construct an equivalence between the categories of strict omega-categories and of sets with complical identities.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.