Диагональный функтор
- Диаграммы в теории категорий используются для описания отношений между объектами и морфизмами.
- Диагональные функторы позволяют определить пределы диаграмм и связаны с категорией запятой.
- Колимитация функтора является начальным объектом в категории с запятой и является универсальным стрелком.
- Предельный функтор является правосоединенным к диагональному функтору, а функтор colimit — левосопряженным диагональным функтором.
Полный текст статьи: