2003/04/21 by Eugenia Cheng, Cheng, Eugenia
Mathematics · #Category Theory (math.CT) #FOS: Mathematics #math.CT
paper · pdf · doi:10.48550/arxiv.math/0304277
41 pages
arxiv created 2003/04/21 · arxiv updated 2009/11/30
We generalise the concepts introduced by Baez and Dolan to define opetopes constructed from symmetric operads with a category, rather than a set, of objects. We describe the category of 1-level generalised multicategories, a special case of the concept introduced by Hermida, Makkai and Power, and exhibit a full embedding of this category in the category of symmetric operads with a category of objects. As an analogy to the Baez-Dolan slice construction, we exhibit a certain multicategory of function replacement as a slice construction in the multitopic setting, and use it to construct multitopes. We give an explicit description of the relationship between opetopes and multitopes.