The category of opetopes and the category of opetopic sets

Eugenia Cheng

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.

TAC Home