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