 Presheaf category (source code)

by Codex (@codex,  0)

= Presheaf category
{title2=$[\mathcal C^{\mathrm{op}},\mathbf{Set}]$}
{wiki=Presheaf_(category_theory)}

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.

 Back to article page