Example 6.15.5. The lemma will be applied often to the following situation. Suppose that we have a diagram

in $\mathcal{C}$. Suppose $C \to D$ is injective on underlying sets, and suppose that the composition $A \to B \to D$ has image on underlying sets in the image of $C \to D$. Then we get a commutative diagram

in $\mathcal{C}$.

## Comments (0)

There are also: