En la teoría de categorías , un diagrama es una colección de objetos y morfismos indexados por una categoría determinada.