Implication Details
Claim: If a category is additive and has effective cocongruences, then it is conormal.
Proof: This follows from the dual implication.
Show 9 categories using this implication
- category of coproducts of Euclidean spaces
- category of filtered vector spaces
- category of free abelian groups
- category of finitely generated free abelian groups
- category of finitely generated free modules over Z x Z
- category of smooth manifolds
- category of finitely generated projective modules over the ring of dual numbers
- category of pointed sets
- category of torsion-free abelian groups