Let $C$ be a category. A morphism $f\in \text{Hom}_C(A,B)$ is a monomorphism if for all objects $Z$ of $C$ and all morphisms $\alpha,\beta\in \text{Hom}_C(Z,A)$, \(f\circ \alpha = f\circ \beta\implies \alpha = \beta.\)
Wikidata ID: Q1945067