CatDat

Implication Details

Assumptions: multi-algebraic

Conclusions: locally finitely multi-presentable

Reason: This is because that every (finite product, coproduct)-sketch is clearly a (finite limit, coproduct)-sketch.