CatDat
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Implication Details
Assumptions:
connected
,
groupoid
Conclusions:
strongly connected
Proof:
This is trivial.
Show 8 categories using this implication
category of finite sets and injections
category of Jónsson-Tarski algebras
category of sets with finite-to-one maps
delooping of a non-trivial finite group
delooping of an infinite countable group
delooping of an infinite uncountable group
walking commutative square
walking fork
Go back
Make a suggestion
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing data
Resources
Foundations
Download