Claim: If a category is self-dual and is ℵ₁-cofiltered, then it is ℵ₁-filtered.
Proof: This holds by self-duality.