diagrams
Meanings
Функтор из индексной категории в другую категорию. Объекты и морфизмы индексной категории не должны иметь внутренней сущности, а лишь описывают структуру связей хотя бы некоторой части кодомена диаграммы. Если индексная категория J, а кодомен C, то диаграмма называется «типа J в C».
A functor from an index category to another category. The objects and morphisms of the index category need not have any internal substance, but rather merely outline the connective structure of at least some part of the diagram's codomain. If the index category is J and the codomain is C, then the diagram is said to be "of type J in C".