Precosheaves of pro-sets and abelian pro-groups are smooth

Andrei V. Prasolov

Let $\mathbb{D}$ be the category of pro-sets (or abelian pro-groups). It is proved that for any Grothendieck site $X$, there exists a reflector from the category of precosheaves on…