\begin{definition}[Definition:Diagram (Category Theory)]
Let $\mathbf J$ and $\mathbf C$ be metacategories.
A '''diagram of type $\mathbf J$''' in $\mathbf C$ is a functor $D: \mathbf J \to \mathbf C$.
\end{definition}