I keep forgetting that external diagrams lose some info to elevate the level of abstraction. The lost info is partially (?) recovered by the introduction of the concepts of injective, surjective, bijective, etc.

-- figure from Lawvere and Rosenbrugh, 2003.