Симплициально обогащенная категория - Simplicially enriched category

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

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

  • Гёрсс, Пол; Джардин, Джон (2009), Симплициальная теория гомотопий, Успехи в математике, 174, Birkhäuser Basel, ISBN  978-3-7643-6064-1, МИСТЕР  1711612
  • Лурье, Джейкоб (2009), Теория высших топосов, Анналы математических исследований, 170, Princeton University Press, arXiv:math.CT / 0608040, ISBN  978-0-691-14049-0, МИСТЕР  2522659

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