CatDat

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.