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.