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