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.
This implication has a dual.
Claim: If a category is right cancellative, then it is regular-subobject-trivial.
This implication has a dual.