 Presheaf category

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.