In topology, a branch of mathematics, a cosheaf with values in an ∞-category C that admits colimits is a functor F from the category of open subsets of a topological space X (more precisely its nerve) to C such that
The basic example is where on the right is the singular chain complex of U with coefficients in an abelian group A.
Example:[1] If f is a continuous map, then is a cosheaf.