Implication Details

Claim: If a category is mono-regular and has a regular subobject classifier, then it has a subobject classifier.

Proof: This is obvious.

This implication has a dual.