ProV Logo
0
On positive opetopes, positive opetopic ...
Zawadowski, Marek...

Free

On positive opetopes, positive opetopic cardinals and positive opetopic set by Zawadowski, Marek ( Author )
Lemonjar Open Access
N.A
20-08-2007
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.
-
Article
pdf
36.88 KB
English
-
MYR 0.00
-
http://arxiv.org/abs/0708.2658
Share this eBook