Opetope
From Handwiki Short description: Polytope of operations
In category theory, a branch of mathematics, an opetope, a portmanteau of "operation" and "polytope", is a shape that captures higher-dimensional substitutions.[1] 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.[2]
See also
- higher-order operad
References
- ↑ Leinster, Tom (2004). "Opetopes". Higher Operads, Higher Categories. London Mathematical Society Lecture Notes Series. 298. Cambridge University Press. pp. 216—260. doi:10.1017/CBO9780511525896.010. ISBN 0-521-53215-9.
- ↑ 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. doi:10.1006/aima.1997.1695. Bibcode: 1997q.alg.....2014B.
External links
- https://ncatlab.org/nlab/show/opetope
 |  |
Categories: [Category theory]
↧ Download as ZWI file | Last modified: 02/03/2024 00:48:11 | 11 views
☰ Source: https://handwiki.org/wiki/Opetope | License: CC BY-SA 3.0
✘
ZWI is not signed. [what is this?]
ZWI viewer
by the 
KSF
KSF