Definition 0.1
A morphism f : A → B is a monomorphism, if for any two morphisms g,h : C → A the equality f ∘ g = f ∘ h implies h = g.