Opetope

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
  1. 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.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.