Implication Details
Assumptions: locally ℵ₁-presentable
Conclusions: cocomplete, ℵ₁-accessible
This is an equivalence.
Reason: This follows from one of equivalent formulations of locally ℵ₁-presentable categories.
Assumptions: locally ℵ₁-presentable
Conclusions: cocomplete, ℵ₁-accessible
This is an equivalence.
Reason: This follows from one of equivalent formulations of locally ℵ₁-presentable categories.