- #1
Euge
Gold Member
MHB
POTW Director
- 2,052
- 207
Let ##\mathscr{C}## be a category in which fibered products exist. If ##f : X \to Y## is a morphism in ##\mathscr{C}##, prove that ##f## is a monomorphism if and only if the diagonal morphism ##\Delta_f : X \to X\times_Y X## is an isomorphism.