Implication Details
Assumptions: locally strongly finitely presentable
Conclusions: regular
Reason: The regular epimorphisms are precisely the sort-wise surjective homomorphisms, which are clearly stable under pullbacks.
Assumptions: locally strongly finitely presentable
Conclusions: regular
Reason: The regular epimorphisms are precisely the sort-wise surjective homomorphisms, which are clearly stable under pullbacks.