Cosheaf¶

In topology, a branch of mathematics, a cosheaf is a dual notion to that of a sheaf that is useful in studying Borel-Moore homology.

Version: v1 · 2026-09-28 · History
Domain-specific #: 8742
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Category Theory, Sheaf Theory → Mathematics

Core Idea¶

Cosheaf is treated here as the recurring category theory identity summarized by this source-grounded definition: In topology, a branch of mathematics, a cosheaf is a dual notion to that of a sheaf that is useful in studying Borel-Moore homology. In topology, a branch of mathematics, a cosheaf is a dual notion to that of a sheaf that is useful in studying Borel-Moore homology. Then a precosheaf (with values in \mathcal{C} ) is a covariant functor F : \operatorname{Op}X \to \mathcal{C} , i.e., F consists of.

How would you explain it like I'm…

No faithful explanation at this level. All three generators agree a five-year-old picture reduces a cosheaf to 'the whole is the pieces added up', equally a sheaf picture, losing the covariant direction reversal, colimit gluing and overlap-matching exactness that define it.

Mirror of Gluing Pieces

In a part of math that studies spaces, you can attach a collection of things to every open region of a space. In a cosheaf, anything that belongs to a small region can be pushed forward into any bigger region containing it. The special rule is that everything in a big region can be built as a finite sum of things from smaller regions that cover it, and if you build the same thing two different ways, the difference is accounted for by things living on the overlaps. It's the mirror image of a better-known idea called a sheaf, where information goes the other way, from big regions down to small ones.

Covariant Dual of a Sheaf

A cosheaf is the dual of a sheaf. A sheaf attaches data to each open set of a space and lets you restrict data from bigger sets to smaller ones, with a rule for gluing local pieces into global ones. A cosheaf reverses the arrows: data on a smaller open set can be extended to any larger open set containing it. The cosheaf condition says that for an open set covered by smaller opens, every element over the big set is a finite sum of elements over the smaller ones, and two such representations of the same element differ by something coming from the overlaps. Cosheaves are useful in topology, in particular for studying Borel–Moore homology.

For a topological space X, let Op(X) be the category whose objects are open sets and with a unique morphism U → V whenever U ⊂ V. A precosheaf with values in a category C is a covariant functor F : Op(X) → C, so it comes with extension maps F(U) → F(V) for U ⊂ V — the reverse of a presheaf's restriction maps. When C is an abelian category with small colimits, F is a cosheaf if for every open cover {U_α} of an open U the sequence ⊕ F(U_α ∩ U_β) → ⊕ F(U_α) → F(U) → 0 is exact; this is dual to the sheaf condition. Exactness at F(U) means every element over U is a finite sum of elements from the U_α, and exactness at ⊕ F(U_α) means two such representations differ by a finite combination of elements over the intersections. In particular, F(U ∪ V) is the pushout of F(U ∩ V) → F(U) and F(U ∩ V) → F(V). Cosheaves are a natural setting for Borel–Moore homology.

Scope of Application¶

Definition. We associate to a topological space X its category of open sets \operatorname{Op}(X) , whose objects are the open sets of X , with a (unique) morphism from U to V.
Definition. Then a precosheaf (with values in \mathcal{C} ) is a covariant functor F : \operatorname{Op}X \to \mathcal{C} , i.e., F consists of.
Definition. for each open set U of X , an object F(U) in \mathcal{C} , and.
Definition. for each inclusion of open sets U \subset V , a morphism \iota{U,V} : F(U) \to F(V) in \mathcal{C} such that.
Definition. \iota{U,U} = \mathrm{id}{F(U)} for all U and.

Clarity¶

A clear use of Cosheaf names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In topology, a branch of mathematics, a cosheaf is a dual notion to that of a sheaf that is useful in studying Borel-Moore homology.

Manages Complexity¶

Cosheaf compresses multiple category theory details into a stable diagnostic relation. The source shows both the central mechanism—(Notice that this is dual to the sheaf condition.) Approximately, exactness at F(U) means that every element over U can be represented as a finite sum of elements that live over the smaller opens U\alpha , while exactness at \bigoplus\alpha F(U\alpha) means that, when we compare two such.

Abstract Reasoning¶

Type the carrier. Identify the category theory entities to which the claim applies.
State the relation. Use the source-grounded identity: In topology, a branch of mathematics, a cosheaf is a dual notion to that of a sheaf that is useful in studying Borel-Moore homology.
Check operation and conditions. We associate to a topological space X its category of open sets \operatorname{Op}(X) , whose objects are the open sets of X , with a (unique) morphism from U to V whenever U \subset V . 4.

Knowledge Transfer¶

Within the home domain. Knowledge about Cosheaf transfers literally when a new case preserves the same carrier type, relation, and recognition test. We associate to a topological space X its category of open sets \operatorname{Op}(X) , whose objects are the open sets of X , with a (unique) morphism from U to V whenever U \subset V . Then a precosheaf (with values in \mathcal{C} ) is a covariant functor F : \operatorname{Op}X \to \mathcal{C} , i.e., F consists of. Beyond the home domain. No canonical parent is asserted for Cosheaf.

Neighborhood in Abstraction Space¶

Cosheaf sits in a sparse region of the domain-specific corpus (63^rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Algebraic Structures, Groups & Operators (42 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08