CatDat

Implication Details

Assumptions: epi-regular, right cancellative

Conclusions: subobject-trivial

Proof: This is because a monomorphism which is also a regular epimorphism is an isomorphism.