A diagram in a category $\mathsf{C}$ is a functor $F \colon \mathsf{J} \to \mathsf{C}$ whose domain is referred to as the indexing category of the diagram.