CatDat

Implication Details

Assumptions: locally multi-presentable

Conclusions: accessibleconnected limits

This is an equivalence.

Reason: This follows from one of equivalent formulations of locally multi-presentable categories.