Диаграмма (теория категорий)

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Диаграмма в теории категорий — категорный аналог индексированного множества в теории множеств, основное различие в том, что в категории есть морфизмы, которые тоже нужно индексировать.

Диаграмма типа в категории  определяется как ковариантный функтор ; категория называется также категорией индексов или схемой диаграммы . Диаграмма называется малой или конечной, если категория является соответственно малой или конечной. Морфизм диаграмм типа в категории в категории  — это естественное преобразование соответствующих функторов.

Коммутативная диаграмма может быть рассмотрена как визуализация диаграммы типа частичного порядка.

Литература[править | править код]