В теории категорий диаграмма — это категорный аналог индексированного множества в теории множеств. Основное различие в том, что в категории есть морфизмы, которые тоже нужно индексировать.
Диаграмма типа J в категории C — это ковариантный функтор
Категория J называется категорией индексов или схемой диаграммы D. Диаграмма называется малой или конечной, если такова соответствующая категория J.
Морфизм диаграмм типа J в категории C — это естественное преобразование соответствующих функторов.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .