Filtered colimits in the Effective Topos

Abstract

It is shown that the “constant sheaves” functor ∇ : Sets → "Eff" does not preserve ω1-filtered colimits, and that as a consequence of this, the full subcategory of "Eff" on the countable projective objects is not dense.