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.
Keywords: n-category, higher-dimensional category, opetope, opetopic set
2000 MSC: 18D05, 18A99, 20G42, 03G30
Theory and Applications of Categories
, Vol. 11, 2003,
No. 16, pp 353-374.
http://www.tac.mta.ca/tac/volumes/11/16/11-16.dvi
http://www.tac.mta.ca/tac/volumes/11/16/11-16.ps
http://www.tac.mta.ca/tac/volumes/11/16/11-16.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/11/16/11-16.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/11/16/11-16.ps