Opetope

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by TakuyaMurata (talk | contribs) at 02:12, 6 March 2018 (lk). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.

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.

External links


Stub icon

This category theory-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Opetope&oldid=829006463"