Implication Details
Claim: If a category has coproducts and has a generating collection and is strongly connected, then it has a generator.
Proof: We get this as a corollary of this result.
This implication has a dual.
Show 12 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 sequences of sets
- category of set functions and commutative squares
- category of sheaves
- category of torsion abelian groups
- category of torsion-free abelian groups
- category of large families of vector spaces which are mostly zero
- category of graded abelian groups
- category of graded modules over a graded ring