Set-theoretic synonym for IsBijectiveArrow — an arrow is bijective iff it is both injective and surjective, i.e. a set-theoretic isomorphism A ≅ B. More...

Concept definition

template<typename E>

concept dedekind::category::IsBijective = IsBijectiveArrow<E>

dedekind::category::IsBijectiveArrow

An arrow declared to be both a monomorphism (ι: A ↣ B) and an epimorphism (π: A ↠ B),...

Definition morphism.cppm:1283

dedekind::category::IsBijective

Set-theoretic synonym for IsBijectiveArrow — an arrow is bijective iff it is both injective and surje...

Definition morphism.cppm:1355

Detailed Description

Set-theoretic synonym for IsBijectiveArrow — an arrow is bijective iff it is both injective and surjective, i.e. a set-theoretic isomorphism A ≅ B.