Implication Details

Claim: If a category has disjoint finite products and is regular-subobject-trivial, then it is trivial.

Proof: This follows from the dual implication.