injectivity

• Algebra
• Category Theory
• Mathematics

Monomorphism in Category Theory

A monomorphism is a left-cancellable morphism in category theory. If f ∘ g = f ∘ h, then g =…