Counterexample. $p$ no need to be identity when $p \gg f = f$ [math-000X]

The counterexample in the category of sets is

We have $f(p(x)) = f(x)$ for all $x : 2$, but $p$ is not identity. Where $1, 2$ represent the set with $1$ and $2$ elements, respectively.