Упрощенно обогащенная категория

• Определение упрощенно обогащенной категории

  • Упрощенно обогащенная категория — это категория, обогащенная по сравнению с симплициальными множествами. 
  • Иногда их называют симплициальными категориями, но это также относится к объектам в Cat. 
  • Упрощенно обогащенные категории могут быть идентифицированы с симплициальными объектами с постоянными картами граней и вырождениями. 

• Моделирование (∞, 1)-категорий

  • Упрощенно обогащенные категории могут моделировать (∞, 1)-категории, но с некоторыми отличиями в словаре. 

• Рекомендации по цитированию

  • Приведены рекомендации по цитированию и форматированию библиографических описаний в HTML. 

• Внешние ссылки

  • Упомянута ссылка на упрощенно обогащенную категорию в nLab.