Implication Details

Assumptions: epi-regular, right cancellative

Conclusions: subobject-trivial

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