Implication Details

Assumptions: right cancellative

Conclusions: regular-subobject-trivial

Proof: This is because any regular monomorphism is also an epimorphism, and therefore an isomorphism.

Show 7 categories using this implication