Cellular cosheaf homology are cosheaf homology
Algebraic Topology
2022-02-09 v1 Category Theory
Abstract
A cosheaf is the dual notion of a sheaf, but we cannot define its homology as the formal dual of sheaf cohomology, in general, because of the lack of the cosheafification. A cellular cosheaf is a contravariant functor from the face poset of a CW complex to the category of abelian groups. We show that given a cellular cosheaf , there is a natural way to associate a cosheaf , for which we can define homology as the formal dual of sheaf cohomology, such that the Borel-Moore homology of is isomorphic to the homology of whenever the underlying CW complex of is a simplicial complex.
Keywords
Cite
@article{arxiv.2202.03659,
title = {Cellular cosheaf homology are cosheaf homology},
author = {Daisuke Kishimoto and Yasutomo Yushima},
journal= {arXiv preprint arXiv:2202.03659},
year = {2022}
}
Comments
11 pages