Paper 4, Section II, E
(a) Let and be non-empty sets and let .
Prove that is an injection if and only if has a left inverse.
Prove that is a surjection if and only if has a right inverse.
(b) Let and be sets and let and be functions. Suppose that is a surjection. Prove that there is a function such that for every there exists with and .
Prove that is unique if and only if whenever .
Typos? Please submit corrections to this page on GitHub.