The category of opetopes and the category of opetopic sets

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.

23 pages

References in corpus (3)

• Weak n-categories: opetopic and multitopic foundations
• A relationship between trees and Kelly-Mac Lane graphs
• Weak n-categories: comparing opetopic foundations

Cited by in corpus (8)

• Polynomial functors and opetopes
• A Prehistory of n-Categorical Physics
• Opetopic bicategories: comparison with the classical theory
• Weak n-categories: opetopic and multitopic foundations
• The theory of opetopes via Kelly-Mac Lane graphs
• Weak n-categories: comparing opetopic foundations
• An alternative characterisation of universal cells in opetopic n-categories
• Computads for generalised signatures