Orientals and cubes, inductively
arXiv:1509.00618
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.
arXiv comment19 pages