Implication Details
Claim: If a category has coproducts and has a generating set and is strongly connected, then it has a generator.
Proof: We get this as a corollary of this result.
Show 10 categories using this implication
- category of cochain complexes of abelian groups
- category of finite abelian groups
- category of finite groups
- category of sequences of abelian groups
- category of set functions and commutative squares
- category of sheaves
- category of torsion abelian groups
- category of torsion-free abelian groups
- category of graded abelian groups
- category of graded modules over a graded ring