Diagram (category theory) (source code)

= Diagram
{disambiguate=category theory}
{title2=$D:\mathcal J\to\mathcal C$}
{wiki}

= Diagram in a category
{synonym}

= Diagrams in a category
{synonym}

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