Presheaf category
= Presheaf category
{title2=$[\mathcal C^{\mathrm{op}},\mathbf{Set}]$}
The presheaf category on a <small category> $\mathcal C$ is the <functor category> $[\mathcal C^{\mathrm{op}},\mathbf{Set}]$. Its limits and colimits are computed pointwise.
Each object is a <presheaf on a category>, and its morphisms are <natural transformations>.