Opetop - Opetope

v teorie kategorií, obor matematiky, an opetop„portmanteau“úkon " a "polytop ", je tvar který zachycuje vyšší dimenzi substituce. To bylo představeno John C. Baez a James Dolan, aby mohli definovat a slabý n-kategorie jako jistý předheaf o kategorii opetopů.[1]

Viz také

Poznámky

  1. ^ Baez, John C .; Dolan, James (10.02.1997). „High-Dimensional Algebra III: n-Categories and the Algebra of Opetopes“. Pokroky v matematice. 135: 145–206. arXiv:q-alg / 9702014. Bibcode:1997q.alg ..... 2014B. doi:10.1006 / aima.1997.1695.

Reference

  • Kapitola 7 z Leinster, Tom (2003). Vyšší operády, vyšší kategorie. Série přednášek z London Mathematical Society. Cambridge University Press. arXiv:math.CT / 0305049. ISBN  0-521-53215-9.

externí odkazy