CatDat

Implication Details

Assumptions: abelian

Conclusions: regular

Reason: In an abelian category, every epimorphism is regular, and epimorphisms are pullback-stable, see Mac Lane, Ch. VIII.