Jump to content

Opetope

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Rjwilmsi (talk | contribs) at 08:01, 2 October 2019 (top: Journal cites, Added 1 doi to a journal cite). 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. doi:10.1006/aima.1997.1695.

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.