A copresheaf on 𝒞 𝒞 \mathcal{C} is a Functor 𝒞 → Sets . → 𝒞 Sets \mathcal{C}\to\mathrm{Sets}{.} to the Category of Sets.