Schneiders, Jean-Pierre Cosheaves homology. (English) Zbl 0663.55004 Bull. Soc. Math. Belg., Sér. B 39, 1-31 (1987). The discussion below is for suitably small categories and objects. The aim of this paper is to present a homology theory for the category of cosheaves \(Cosh(X)=Sh^{op}(X,(\Pr o-Ab)^{op})=Sh^{op}(X,Ind- Ab^{op}),\) where Ab denotes the category of Abelian groups. For this purpose elementary categories (complete, cocomplete with a small generating family of projective objects) are shown to have enough injectives. Sheaf cohomology is defined in algebraic geometry [see A. Grothendieck, Tôhoku Math. J., II. Ser. 9, 119-221 (1957; Zbl 0118.261)] using the fact that one has enough injectives. Furthermore, for an abelian category A with enough projectives, Ind-A is seen to be elementary. A tensor product \(\otimes: Ab\times \Pr o-Ab\to \Pr o-Ab\) with a canonical right adjoint defined via hom-functors is determined. Using the above results it follows that \(Ind\)-Ab\({}^{op}\) has enough projectives. Most of the usual properties of abelian sheaves hold for cosheaves. Homology and hyperhomology for cosheaves can, as a consequence, be defined. A link between the homology of cosheaves and the cohomology of sheaves is obtained. Some results for the homology of cosheaves on taut spaces are found. Using the tensor product defined earlier, a “universal Kronecker product and universal cap-product” are introduced. Finally, for the constant cosheaf \({\mathbb{Z}}\) on an HLC space, the cosheaf homology is seen to coincide with the classical singular homology. Reviewer: P.Cherenack Cited in 5 Documents MSC: 55N30 Sheaf cohomology in algebraic topology 18E10 Abelian categories, Grothendieck categories 18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) 14F05 Sheaves, derived categories of sheaves, etc. (MSC2010) 55R20 Spectral sequences and homology of fiber spaces in algebraic topology 55N10 Singular homology and cohomology theory Keywords:elementary category; complete categories; cocomplete categories; homology theory for the category of cosheaves; generating family of projective objects; injectives; abelian category; tensor product; hom-functors; hyperhomology for cosheaves; homology of cosheaves; cohomology of sheaves; taut spaces; Kronecker product; cap-product; singular homology Citations:Zbl 0118.261 PDFBibTeX XMLCite \textit{J.-P. Schneiders}, Bull. Soc. Math. Belg., Sér. B 39, 1--31 (1987; Zbl 0663.55004)