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