CatDat

Implication Details

Assumptions: locally finitely presentable

Conclusions: locally ℵ₁-presentable

Reason: This is trivial.