Orientals and cubes, inductively
Category Theory
2015-09-04 v2
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.
Keywords
Cite
@article{arxiv.1509.00618,
title = {Orientals and cubes, inductively},
author = {Mitchell Buckley and Richard Garner},
journal= {arXiv preprint arXiv:1509.00618},
year = {2015}
}
Comments
19 pages