dedekind::category::IsInjective Concept Reference

Set-theoretic synonym for IsMonicArrow — an arrow is injective iff distinct inputs yield distinct outputs (f(x) == f(y) → x == y). More...

Concept definition

template<typename E>
concept dedekind::category::IsInjective =  IsMonicArrow<E>

Detailed Description

Set-theoretic synonym for IsMonicArrow — an arrow is injective iff distinct inputs yield distinct outputs (f(x) == f(y) → x == y).

Categorically the same concept: a monomorphism in the category of sets. Opt-in via is_monic_arrow_v<E>.