Опетоп
В теории категорий , разделе математики, опетоп , сочетание « операции » и « многогранника », представляет собой форму более высокой размерности , которая фиксирует замены . [1] Он был введен Джоном К. Баэзом и Джеймсом Доланом, чтобы они могли определить слабую n -категорию как определенный предпучок категории оптопов. [2]
См. также [ править ]
Ссылки [ править ]
- ^ Ленстер, Том (2004). «Опетопы». Высшие операды, высшие категории . Серия конспектов лекций Лондонского математического общества. Том. 298. Издательство Кембриджского университета. стр. 216–260. дои : 10.1017/CBO9780511525896.010 . ISBN 0-521-53215-9 .
- ^ Баэз, Джон К.; Долан, Джеймс (10 февраля 1997 г.). «Большая алгебра III: n-категории и алгебра опетопов» . Достижения в математике . 135 : 145–206. arXiv : q-alg/9702014 . Бибкод : 1997q.alg.....2014B . дои : 10.1006/aima.1997.1695 .