Some aspects of cosheaves on diffeological spaces

We define a notion of cosheaves on diffeological spaces by cosheaves on the site of plots. This provides a framework to describe diffeological objects such as internal tangent bundles, the Poincaré groupoids, and furthermore, homology theories such as cubic homology in diffeology by the language of cosheaves. We show that every cosheaf on a diffeological space induces a cosheaf in terms of the D-topological structure. We also study quasicosheaves, defined by pre-cosheaves which respect the colimit over covering generating families, and prove that cosheaves are quasi-cosheaves. Finally, a so-called quasi-Čech homology with values in pre-cosheaves is established for diffeological spaces.