Structure
categories
categories
functors
morphisms
symmetric monoidal categories
Categories
Properties
Implications
Compare
Search
Implication details
Claim:
If a category is
sifted
, then it is
connected
.
Proof:
Sifted categories are inhabited, and any two objects in a sifted category are joined by a cospan.
This implication has a
dual
.
Show 8 categories using this implication
empty category
discrete category on two objects
category of finite sets and bijections
category of finite sets and surjections
category of fields
category of sets and bijections
discrete category of sets
category of large families of sets and bijections
Make a suggestion
Structure
categories
categories
functors
morphisms
symmetric monoidal categories
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing data
Resources
Foundations
Download