A commutative diagram in a category C can be interpreted as a functor from an index category J to C; one calls the functor a diagram.
Un diagrama conmutativo nunha categoría C pode ser interpretado como un funtor dunha categoría indexada J en C; ese funtor chámase diagrama.