CatDat
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Implication Details
Assumptions:
strongly connected
,
thin
Conclusions:
trivial
Reason:
This is obvious.
Go back
Make a suggestion
Home
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing data
Resources
Foundations