CatDat
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Implication Details
Assumptions:
connected
,
essentially discrete
Conclusions:
trivial
Proof:
This is trivial.
Show 11 categories using this implication
category of abelian groups
category of abelian sheaves
category of left modules over a ring
category of M-sets
category of sets
category of simplicial sets
category of torsion abelian groups
delooping of a non-trivial finite group
walking commutative square
walking composable pair
walking morphism
Go back
Make a suggestion
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing data
Resources
Foundations
Download