%0 Journal Article
%T Precoshieves of pro-sets and abelian pro-groups are smooth
%A Andrei V. Prasolov
%J Mathematics
%D 2011
%I arXiv
%X 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 $X$ with values in $\mathbb{D}$ to the full subcategory of cosheaves. In the case of precosheaves on topological spaces, it is proved that any precosheaf is smooth, i.e. is locally isomorphic to a cosheaf. Locally constant cosheaves are constructed, and there are established connections with shape theory.
%U http://arxiv.org/abs/1105.3167v1