Opetope

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

1. ↑ 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.
2. ↑ Baez, John C.; Dolan, James (1997-02-10). "Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes". Advances in Mathematics 135 (2): 145–206. doi:10.1006/aima.1997.1695. Bibcode: 1997q.alg.....2014B.

* Cheng, Eugenia (2004). "Weak n-categories: Opetopic and multitopic foundations". Journal of Pure and Applied Algebra 186 (2): 109–137. doi:10.1016/S0022-4049(03)00139-7.

## External links

* Opetope, https://ncatlab.org/nlab/show/opetope

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Opetope. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Opetope&oldid=3982283"