Трикатегория
В математике трикатегория — это своего рода структура теории категорий, изучаемая в теории категорий более высокого измерения .
В то время как слабая 2-категория называется бикатегорией , [1] слабая 3-категория называется трикатегорией (Гордон, Пауэр и Стрит , 1995; Баез и Долан, 1996; Ленстер, 1998). [2] [3] [4]
Тетракатегории — это соответствующее понятие в четвертом измерении. Размеры, превышающие три, рассматриваются как все более значимые для взаимоотношений между теорией узлов и физикой . Джон Баэз , Р. Гордон, Эй Джей Пауэр и Росс Стрит проделали большую часть значительной работы с категориями, выходящими за рамки двухкатегорий.
См. также [ править ]
Ссылки [ править ]
- ^ Бенабу, Жан (1967). «Введение в бикатегории». Отчеты семинара по категории Среднего Запада . Конспект лекций по математике. Том. 47. Шпрингер Берлин Гейдельберг. стр. 1–77. дои : 10.1007/bfb0074299 . ISBN 978-3-540-03918-1 .
- ^ Гордон, Р.; Пауэр, Эй Джей; Стрит, Росс (1995). «Связность для трикатегорий» . Мемуары Американского математического общества . 117 (558). дои : 10.1090/memo/0558 . ISSN 0065-9266 .
- ^ Баэз, Джон С .; Долан, Джеймс (10 мая 1998 г.). «Большая алгебра III.n-категорий и алгебра опетопов» . Достижения в математике . 135 (2): 145–206. arXiv : q-alg/9702014 . дои : 10.1006/aima.1997.1695 . ISSN 0001-8708 .
- ^ Ленстер, Том (2002). «Обзор определений n -категории» . Теория и приложения категорий . 10 :1–70. arXiv : math/0107188 .