Opetope
Appearance
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.[1]
See also
Notes
- ^ Baez, John C.; Dolan, James (1997-02-10). "Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes". Advances in Mathematics. 135: 145–206. arXiv:q-alg/9702014. Bibcode:1997q.alg.....2014B. doi:10.1006/aima.1997.1695.
References
- Chapter 7 of Leinster, Tom (2003). Higher Operads, Higher Categories. London Mathematical Society Lecture Notes Series. Cambridge University Press. arXiv:math.CT/0305049. ISBN 0-521-53215-9.
External links