Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6424962 | Advances in Mathematics | 2016 | 17 Pages |
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 Ï-category.
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)
Authors
Mitchell Buckley, Richard Garner,