CatDat
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Implication Details
Assumptions:
finite
Conclusions:
essentially finite
,
small
Reason:
This is trivial.
Go back
Home
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing Data
Resources
Foundations