Let $\mathscr{A}$ be a category and $\mathbf{I}$ a small category. A functor $\mathbf{I} \to \mathscr{A}$ is called a diagram in $\mathscr{A}$ of shape $\mathbf{I}$.