Implication Details
Assumptions: locally multi-presentable
Conclusions: accessible, connected limits
This is an equivalence.
Reason: This follows from one of equivalent formulations of locally multi-presentable categories.
Assumptions: locally multi-presentable
Conclusions: accessible, connected limits
This is an equivalence.
Reason: This follows from one of equivalent formulations of locally multi-presentable categories.