Конус (теория категорий)

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

  • Конус — это семейство морфизмов, удовлетворяющее определенным условиям. 
  • Конус от N до F — это морфизмы, коммутирующие с диаграммой F. 
  • Конус от F до N — это морфизмы, коммутирующие с диаграммой N. 

• Эквивалентные формулировки

  • Конусы могут быть определены как морфизмы в категории диаграмм или как естественные преобразования. 
  • Категория конусов — это категория с запятой, где морфизмы — это конусы. 
  • Универсальные конусы — это конусы, через которые проходят все остальные конусы. 

• Рекомендации и внешние ссылки

  • Статья содержит рекомендации по форматированию и ссылки на внешние ресурсы.