diagrams
Meanings
Un functor de una categoría índice a otra categoría. Los objetos y morfismos de la categoría índice no necesitan tener ninguna sustancia interna, sino que simplemente delinean la estructura conectiva de al menos una parte del codominio del diagrama. Si la categoría índice es J y el codominio es C, entonces el diagrama se dice que es "de tipo J en 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".
