Orientals and cubes, inductively

Mitchell Buckley; Richard Garner

doi:10.1016/j.aim.2016.07.026

Orientals and cubes, inductively

Mitchell Buckley, Richard Garner^*

^*Corresponding author for this work

School of Computing

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

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.

Original language	English
Pages (from-to)	175-191
Number of pages	17
Journal	Advances in Mathematics
Volume	303
DOIs	https://doi.org/10.1016/j.aim.2016.07.026
Publication status	Published - 5 Nov 2016

Access to Document

10.1016/j.aim.2016.07.026

Cite this

@article{bc19ba51da1e4bbdbf09e958a4c78f13,

title = "Orientals and cubes, inductively",

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.",

author = "Mitchell Buckley and Richard Garner",

year = "2016",

month = nov,

day = "5",

doi = "10.1016/j.aim.2016.07.026",

language = "English",

volume = "303",

pages = "175--191",

journal = "Advances in Mathematics",

issn = "0001-8708",

publisher = "Academic Press Inc.",

}

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 - https://www.scopus.com/pages/publications/84983383316

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 -

Orientals and cubes, inductively

Abstract

Access to Document

Other files and links

Fingerprint

Cite this