Opetope Knowpia

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]

References edit

^ Leinster, Tom (2004). "Opetopes". Higher Operads, Higher Categories. London Mathematical Society Lecture Notes Series. Vol. 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. arXiv:q-alg/9702014. Bibcode:1997q.alg.....2014B. doi:10.1006/aima.1997.1695.

External links edit

https://ncatlab.org/nlab/show/opetope

[1] Leinster, Tom (2004). "Opetopes". Higher Operads, Higher Categories. London Mathematical Society Lecture Notes Series. Vol. 298. Cambridge University Press. pp. 216–260. doi:10.1017/CBO9780511525896.010. ISBN 0-521-53215-9.

[2] 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.

[1]

[2]

Summary

See also edit

References edit

External links edit