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.
Claim: If a category is mono-regular and has a regular subobject classifier, then it has a subobject classifier.
Proof: This is obvious.