Implication Details
Assumptions: finitely complete, right cancellative
Conclusions: regular subobject classifier
Reason: In a right cancellative category, every regular monomorphism is an isomorphism, so that a terminal object is a regular subobject classifier.