(Leroy Lemme 1) The following arguments are equivalent:
\(f^*\) is surjective
\(f_*\) is injective
\(f^{*}f_* = 1_{O(X)})\)
This follows from the triangular identities.
An embedding is a morphism that satisfies the conditions of 3