CatDat
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Implication Details
Assumptions:
self-dual
,
well-powered
Conclusions:
well-copowered
Reason:
This holds by self-duality.
Go back
Home
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing Data
Resources
Foundations