In category theory, a branch of mathematics, an opetope, a portmanteau of "operation" and "polytope", is a shape that captures higher-dimensional substitutions. It was introduced by John C. Baez and James Dolan so that they could define a weak n-category as a certain presheaf on the category of opetopes.
See also higher-order operad
References
Cheng, Eugenia (2004). "Weak n-categories: Opetopic and multitopic foundations". Journal of Pure and Applied Algebra. 186 (2): 109–137. arXiv:math/0304277. doi:10.1016/S0022-4049(03)00139-7.
External links "Opetope", ncatlab.org
