Opetope - Opetope

В теория категорий, раздел математики, опетоппортмоне "операция " и "многогранник ", это форма который захватывает многомерные замены. Он был представлен Джон К. Баэз и Джеймс Долан, чтобы они могли определить слабый п-категория как определенный предпучка по категории опетопов.[1]

Смотрите также

Примечания

  1. ^ Baez, John C .; Долан, Джеймс (1997-02-10). "Многомерная алгебра III: n-категории и алгебра опетопов". Успехи в математике. 135: 145–206. arXiv:q-alg / 9702014. Bibcode:1997q.alg ..... 2014B. Дои:10.1006 / aima.1997.1695.

Рекомендации

  • Глава 7 Ленстер, Том (2003). Высшие операды, высшие категории. Серия конспектов лекций Лондонского математического общества. Издательство Кембриджского университета. arXiv:math.CT / 0305049. ISBN  0-521-53215-9.

внешняя ссылка