Из Википедии, бесплатной энциклопедии
  (Перенаправлен из N-категории )
Перейти к навигации Перейти к поиску

В математике , выше теории категорий являются частью категории теории при более высоком порядке , что означает , что некоторые Равенства заменены явными стрелки для того , чтобы иметь возможность явно изучить структуру за эти равенствами. Теория высшей категории часто применяется в алгебраической топологии (особенно в теории гомотопий ), где изучается алгебраические инварианты из пространств , такие как их фундаментальный слабая ∞-группоид .

Строгие высшие категории [ править ]

В обычной категории есть объекты и морфизмы , которые в контексте теории высших категорий называются 1-морфизмами. 2-категория обобщает это, в том числе и 2-морфизмы между 1-морфизмов. Продолжение этого до n -морфизмов между ( n  - 1) -морфизмами дает n -категорию.

Так же, как категория, известная как Cat , которая представляет собой категорию малых категорий и функторов, на самом деле является 2-категорией с естественными преобразованиями в качестве 2-морфизмов, категория n - Cat (малых) n -категорий на самом деле является ( n  + 1) -категория.

П -category определяется индукцией по п по:

  • 0-категория - это набор ,
  • ( N  + 1) -категория - это категория, обогащенная над категорией n - Cat .

Таким образом, 1-категория - это просто категория ( локально небольшая ).

Моноидальная структура Набор является одним задается декартовым произведением в качестве тензора и одноточечного в качестве единицы. Фактически любой категории с конечными продуктами можно придать моноидальную структуру. Рекурсивная конструкция n - Cat отлично работает, потому что, если категория C имеет конечные продукты, категория категорий, обогащенных C, также имеет конечные продукты.

Хотя это понятие является слишком строгим для некоторых целей, например, в теории гомотопий , где «слабые» структуры возникают в форме высших категорий [1], строгие кубические высшие гомотопические группоиды также возникли как новые основы алгебраической топологии на граница между гомологией и теорией гомотопии ; см. статью Неабелева алгебраическая топология , ссылка на которую приведена в книге ниже.

Слабые высшие категории [ править ]

Основная статья: Слабая n-категория

В слабых n -категориях условия ассоциативности и тождества перестают быть строгими (т. Е. Не задаются равенствами), а удовлетворяются с точностью до изоморфизма следующего уровня. Примером в топологии является композиция путей , где условия идентичности и ассоциации выполняются только до повторной параметризации и, следовательно, до гомотопии , которая является 2-изоморфизмом для этой 2-категории . Эти n -изоморфизмы должны хорошо вести себя между hom-множествами, и выразить это - трудность при определении слабых n -категорий . Слабый2-категории , также называемые бикатегориями , были первыми, которые были определены явно. Их особенность состоит в том, что бикатегория с одним объектом является в точности моноидальной категорией , так что бикатегории можно назвать «моноидальными категориями со многими объектами». Слабые 3-категории , также называемые трикатегориями , и обобщения более высокого уровня становится все труднее определить явно. Было дано несколько определений, и сообщение о том, когда они эквивалентны и в каком смысле, стало новым объектом исследования в теории категорий.

Квазикатегории [ править ]

Основная статья: Квазикатегория

Слабые комплексы Кана или квазикатегории - это симплициальные множества, удовлетворяющие слабой версии условия Кана. Андре Жоял показал, что они являются хорошей основой для теории высших категорий. Недавно, в 2009 году, теория была дополнительно систематизирована Якобом Лурье, который просто назвал их категориями бесконечности, хотя последний термин также является общим термином для всех моделей (бесконечности, k ) категорий для любого k .

Симплициально обогащенные категории [ править ]

Основная статья: Симплициально обогащенная категория

Симплициально обогащенные категории или симплициальные категории - это категории, обогащенные над симплициальными множествами. Однако, когда мы рассматриваем их как модель для (бесконечности, 1) -категорий , то многие категориальные понятия (например, пределы ) не согласуются с соответствующими понятиями в смысле расширенных категорий. То же самое и для других расширенных моделей, таких как топологически обогащенные категории.

Топологически обогащенные категории [ править ]

Основная статья: Топологическая категория

Топологически обогащенные категории (иногда называемые просто топологическими категориями) - это категории, обогащенные некоторой удобной категорией топологических пространств, например категорией компактно порожденных хаусдорфовых пространств .

Категории сегалов [ править ]

Основная статья: Категория Segal

Это модели более высоких категорий, введенные Хиршовицем и Симпсоном в 1998 году [2], частично вдохновленные результатами Грэма Сигала в 1974 году.

См. Также [ править ]

  • Многомерная алгебра
  • Общая абстрактная чушь
  • Категоризация
  • Когерентность (теория гомотопии)

Примечания [ править ]

  1. Перейти ↑ Baez & Dolan 1998 , p. 6
  2. ^ Hirschowitz, Андре; Симпсон, Карлос (2001). «Descente pour les n-champs (Спуск для n стеков)». arXiv : math / 9807049 .

Ссылки [ править ]

  • Баэз, Джон К .; Долан, Джеймс (1998). «Категоризация». arXiv : math / 9802029 .CS1 maint: ref = harv ( ссылка )
  • Ленстер, Том (2004). Высшие операды, высшие категории . Издательство Кембриджского университета. arXiv : math.CT / 0305049 . ISBN 0-521-53215-9.
  • Симпсон, Карлос (2010). «Гомотопическая теория высших категорий». arXiv : 1001.4071 [ math.CT ].Черновик книги. Альтернативный PDF с гиперссылками )
  • Лурье, Джейкоб (2009). Теория высших топосов . Издательство Принстонского университета. arXiv : math.CT / 0608040 . ISBN 978-0-691-14048-3.В формате PDF .
  • nLab , коллективный и открытый проект вики-блокнотов по теории высших категорий и приложениям в физике, математике и философии
  • Joyal's Catlab , вики, посвященная отточенному изложению категориальной и высшей категориальной математики с доказательствами
  • Браун, Рональд ; Хиггинс, Филип Дж .; Сивера, Рафаэль (2011). Неабелева алгебраическая топология: фильтрованные пространства, скрещенные комплексы, кубические гомотопические группоиды . Трактаты по математике. 15 . Европейское математическое общество. ISBN 978-3-03719-083-8.

Внешние ссылки [ править ]

  • Баэз, Джон (24 февраля 1996 г.). «Неделя 73: Сказка о n- категориях» .
  • The n-Category Cafe - групповой блог, посвященный теории высших категорий.
  • Ленстер, Том (8 марта 2010 г.). «Взгляд на теорию высших категорий» .