Implication Details
Claim: If a category is right cancellative, then it is regular-subobject-trivial.
Proof: This is because any regular monomorphism is also an epimorphism, and therefore an isomorphism.
Claim: If a category is right cancellative, then it is regular-subobject-trivial.
Proof: This is because any regular monomorphism is also an epimorphism, and therefore an isomorphism.