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

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

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

Определение[править | править исходный текст]

Диаграмма типа J в категории C  — это ковариантный функтор

D : JC.

Категория J называется категорией индексов или схемой диаграммы D. Диаграмма называется малой или конечной, если такова соответствующая категория J.

Морфизм диаграмм типа J в категории C — это естественное преобразование соответствующих функторов.

Литература[править | править исходный текст]