Assumptions: self-dual, subobject-trivial
Conclusions: quotient-trivial
Proof: This holds by self-duality.