CatDat
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Implication Details
Assumptions:
infinitary extensive
Conclusions:
coproducts
Reason:
This holds by definition.
Go back
Home
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing Data
Resources
Foundations