Opetope Explained

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

External links

Notes and References

  1. Book: Leinster . Tom. Opetopes. Higher Operads, Higher Categories. 2004. London Mathematical Society Lecture Notes Series. 298. 216—260. Cambridge University Press. 0-521-53215-9. 10.1017/CBO9780511525896.010.
  2. Baez. John C.. Dolan. James. 1997-02-10. Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes. . 135 . 145–206. q-alg/9702014. 1997q.alg.....2014B. 10.1006/aima.1997.1695. free.

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Opetope".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.