TY - JOUR
T1 - Orientals and cubes, inductively
AU - Buckley, Mitchell
AU - Garner, Richard
PY - 2016/11/5
Y1 - 2016/11/5
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84983383316&partnerID=8YFLogxK
UR - http://purl.org/au-research/grants/arc/DP110102360
UR - http://purl.org/au-research/grants/arc/DP130101969
U2 - 10.1016/j.aim.2016.07.026
DO - 10.1016/j.aim.2016.07.026
M3 - Article
AN - SCOPUS:84983383316
SN - 0001-8708
VL - 303
SP - 175
EP - 191
JO - Advances in Mathematics
JF - Advances in Mathematics
ER -