On positive opetopes, positive opetopic cardinals and positive opetopic set
Abstract
We introduce the notion of a positive opetope and positive opetopic cardinals as certain finite combinatorial structures. The positive opetopic cardinals to positive-to-one polygraphs are like simple graphs to free omega-categories over omega-graphs, c.f. [MZ]. In particular, they allow us to give an explicit combinatorial description of positive-to-one polygraphs. Using this description we show, among other things, that positive-to-one polygraphs form a presheaf category with the exponent category being the category of positive opetopes. We also show that the category of omega-categories is monadic over the category of positive-to-one polygraphs with the `free functor' being an inclusion.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2007
- DOI:
- 10.48550/arXiv.0708.2658
- arXiv:
- arXiv:0708.2658
- Bibcode:
- 2007arXiv0708.2658Z
- Keywords:
-
- Mathematics - Geometric Topology;
- 18A99;
- 18N30
- E-Print:
- 88 pages