Implication Details
Claim: If a category is connected and is essentially discrete, then it is trivial.
Proof: This is trivial.
Show 11 categories using this implication
- category of abelian groups
- category of cochain complexes of abelian groups
- category of M-sets
- category of left modules over a non-semisimple ring
- category of sequences of abelian groups
- category of sets
- category of abelian sheaves
- category of torsion abelian groups
- category of graded abelian groups
- category of simplicial sets
- walking morphism