CatDat
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Implication Details
Assumptions:
generalized variety
Conclusions:
ℵ₁-accessible
Reason:
See
[AR01, Remark 4.8(2)]
.
Go back
Make a suggestion
Home
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing data
Resources
Foundations