If there exists a surjection $f:A\to B$, can you construct an injection $f:B\to P(A)$?
Why does a proof of $\exists f: X\to Y$ injection $\iff \exists g: Y \to X$ surjection requires the axiom of choice?