Implication Details

Assumptions: self-dual, ℵ₁-filtered

Conclusions: ℵ₁-cofiltered

Proof: This holds by self-duality.

Show 6 categories using this implication