Orientals and cubes, inductively
classification
🧮 math.CT
keywords
cubesiteratedorientalsconesconstructionscylindersdirectexhibiting
read the original abstract
We provide direct inductive constructions of the orientals and the cubes, exhibiting them as the iterated cones, respectively, the iterated cylinders, of the terminal strict globular omega-category.
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.