Implication Details
Claim: If a category has effective congruences and is regular, then it has quotients of congruences.
Proof: We assume that every congruence is effective, and the regularity condition implies that every effective congruence has a quotient.
Show 11 categories using this implication
- category of Banach spaces with linear contractions
- category of compact Hausdorff spaces
- category of finite groups
- category of finite sets of cardinality a power of 3
- category of countable groups
- category of Jónsson-Tarski algebras
- category of M-sets
- category of sets
- category of countable sets
- category of Z-functors
- walking isomorphism