diagrams
Meanings
Un foncteur d'une catégorie d'index vers une autre catégorie. Les objets et les morphismes de la catégorie d'index n'ont pas besoin d'avoir de substance interne, mais se contentent de décrire la structure connective d'au moins une partie du codomaine du diagramme. Si la catégorie d'index est J et le codomaine est C, alors le diagramme est dit "de type J dans 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".