Implication Details
Assumptions: essentially countable, thin, ℵ₁-cofiltered
Conclusions: initial object
This implication has been dualized from this implication.
Assumptions: essentially countable, thin, ℵ₁-cofiltered
Conclusions: initial object
This implication has been dualized from this implication.