Injection has Surjective Left Inverse Mapping

Theorem
Let $f: S \to T$ be a injection.

Then there is a surjection $g: T \to S$ such that $g \circ f = I_S$.