CatDat

Implication Details

Assumptions: quotient-trivialself-dual

Conclusions: subobject-trivial

Proof: This holds by self-duality.