加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本