The category of opetopes and the category of opetopic sets

2003/04/21 by Eugenia Cheng, Cheng, Eugenia
Mathematics · #Category Theory (math.CT) #FOS: Mathematics #math.CT

paper · pdf · doi:10.48550/arxiv.math/0304284

23 pages

arxiv created 2003/04/21 · arxiv updated 2009/11/30

Abstract

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.

Related

• An elementary definition of opetopic sets
• The equivalence between many-to-one polygraphs and opetopic sets
• Opetopic bicategories: comparison with the classical theory
• Opetopic algebras I: Algebraic structures on opetopic sets
• On positive opetopes, positive opetopic cardinals and positive opetopic set