CatDat

Implication Details

Assumptions: left exact

Conclusions: monomorphism-preserving

Reason: This is because $f : X \to Y$ is a monomorphism if and only the square displaying $\mathrm{id}_Y \circ f = \mathrm{id}_Y \circ f$ is a pullback square.