Copresheaf

#category

A functor $P: \mathscr{C} \to \text{Set}$.