Proposition 2.12. Assuming that:

$C$ is small
$F : C \to S e t$

Then there exists a pointwise epimorphism

P ↠ F

where

P

is pointwise projective.