Implication details

Claim: If a category is self-dual and is ℵ₁-coaccessible, then it is ℵ₁-accessible.

Proof: This holds by self-duality.