Эскиз (математика)

• Основы теории категорий

  • Эскиз в категории D — это категория с конусами и коконами. 
  • Модель эскиза в категории C — это функтор, преобразующий конусы и коконы в соответствующие предельные объекты. 
  • Морфизмы моделей — это естественные преобразования. 
  • Эскизы являются аналогом логических моделей в теории категорий. 

• Изобретение и определения

  • Эскизы были изобретены Чарльзом Эресманом в 1968 году. 
  • Существуют различные определения эскизов в исследовательской литературе. 

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

  • Статья содержит список ссылок и предложений по расширению. 

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

  • Статья содержит ссылку на обновленную схему эскизов в 2009 году. 
  • Упомянута лаборатория nLab, связанная с теорией категорий. 
  • Статья является заглушкой и призывает к расширению.