Diagram in a category (source code)

= Diagram in a category
{title2=$D:\mathcal J\to\mathcal C$}
{wiki=Diagram_(category_theory)}

A diagram of shape $\mathcal J$ in $\mathcal C$ is a functor $D:\mathcal J\to\mathcal C$.