Orientals and cubes, inductively

From MaRDI portal
(Redirected from Publication:323666)




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.









This page was built for publication: Orientals and cubes, inductively

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q323666)