dedekind::category::IsSurjective Concept Reference

Set-theoretic synonym for IsEpicArrow — an arrow is surjective iff every codomain element has a preimage (∀ b ∈ B ∃ a ∈ A. f(a) == b). More...

Concept definition

template<typename E>
concept dedekind::category::IsSurjective =  IsEpicArrow<E>

Detailed Description

Set-theoretic synonym for IsEpicArrow — an arrow is surjective iff every codomain element has a preimage (∀ b ∈ B ∃ a ∈ A. f(a) == b).

Categorically the same concept: an epimorphism in the category of sets. Opt-in via is_epic_arrow_v<E>.