Implication Details
Claim: If a category is connected and is a groupoid, then it is strongly connected.
Proof: This is trivial.
Show 11 categories using this implication
- category of F(I)-sets
- category of finite sets and injections
- category of finite sets of even cardinality
- category of Jónsson-Tarski algebras
- category of partially ordered sets without isolated points
- category of sets and bijections
- category of large families of sets and bijections
- category of sets with finite-to-one maps
- category of finite Z-sets
- category of Z-sets
- walking fork