Implication details
Claim: If a category is self-dual and has a subobject classifier, then it has a quotient object classifier.
Proof: This holds by self-duality.
Claim: If a category is self-dual and has a subobject classifier, then it has a quotient object classifier.