Оглавление
Эскиз (математика)
-
Основы теории категорий
- Эскиз в категории D – это категория с конусами и коконами.
- Модель эскиза в категории C – это функтор, преобразующий конусы и коконы в соответствующие предельные объекты.
- Морфизмы моделей – это естественные преобразования.
- Эскизы являются аналогом логических моделей в теории категорий.
-
Изобретение и определения
- Эскизы были изобретены Чарльзом Эресманом в 1968 году.
- Существуют различные определения эскизов в исследовательской литературе.
-
Рекомендации
- Статья содержит список ссылок и предложений по расширению.
-
Внешние ссылки
- Статья содержит ссылку на обновленную схему эскизов в 2009 году.
- Упомянута лаборатория nLab, связанная с теорией категорий.
- Статья является заглушкой и призывает к расширению.
Полный текст статьи: