The category of opetopes and the category of opetopic sets
Theory and applications of categories, Tome 11 (2003), pp. 353-374
We give an explicit construction of the category Opetope of opetopes. We prove that the category of opetopic sets is equivalent to the category of presheaves over Opetope.
Classification :
18D05, 18A99, 20G42, 03G30
Keywords: n-category, higher-dimensional category, opetope, opetopic set
Keywords: n-category, higher-dimensional category, opetope, opetopic set
@article{TAC_2003_11_a15,
author = {Eugenia Cheng},
title = {The category of opetopes and the category of opetopic sets},
journal = {Theory and applications of categories},
pages = {353--374},
year = {2003},
volume = {11},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2003_11_a15/}
}
Eugenia Cheng. The category of opetopes and the category of opetopic sets. Theory and applications of categories, Tome 11 (2003), pp. 353-374. http://geodesic.mathdoc.fr/item/TAC_2003_11_a15/