1 Definition and basic idea
A presheaf is a rule for assigning data to the open sets of a topological space, or more generally to the objects of a category, together with maps that compare the data on larger regions with the data on smaller ones. The guiding idea is local organization: one keeps track of information on each piece of a space and specifies how that information changes when the piece is restricted.
In topology, presheaves are often used to encode functions, sections, or algebraic structures defined over open sets. In category theory, they appear as a standard way to reverse arrows, making them a basic example of contravariant behavior. Presheaves are the precursor to sheaves, which impose an additional condition ensuring that compatible local data can be assembled into global data.
1.1 Presheaves on a topological space
Let \(X\) be a topological space. A presheaf on \(X\) assigns to each open set \(U \subseteq X\) an object, often a set, group, ring, or vector space, denoted \(F(U)\). If \(V \subseteq U\) are open sets, there is a restriction map \(F(U) \to F(V)\) describing how data on \(U\) is viewed on the smaller region \(V\).
This assignment captures the idea that information available on a large open set can be restricted to any smaller open subset. The data need not be uniquely determined by local pieces, and no gluing requirement is imposed at this stage.
1.2 Presheaves on a category
More generally, a presheaf can be defined on any category \(\mathcal{C}\). In this setting, it is a rule that assigns an object of another category to each object of \(\mathcal{C}\), and a morphism in the opposite direction to each morphism of \(\mathcal{C}\). This means that structural information is transported contravariantly along arrows.
Such a definition abstracts the topology-based picture and shows that presheaves are not tied to spaces alone. They arise naturally whenever one wants to record data associated to objects while allowing that data to be pulled back along maps.
1.3 Contravariant functor formulation
The most common modern formulation is that a presheaf on a category \(\mathcal{C}\) is a contravariant functor from \(\mathcal{C}\) to a target category such as \(\mathbf{Set}\), \(\mathbf{Ab}\), or \(\mathbf{Ring}\). If \(F\) is such a functor, then each morphism \(f : U \to V\) in \(\mathcal{C}\) gives a map \(F(f) : F(V) \to F(U)\).
This reversal of direction is essential. In the topological case, an inclusion \(V \subseteq U\) is regarded as a morphism \(V \to U\), and the associated map goes from \(F(U)\) to \(F(V)\), which is why it is called a restriction map.
1.4 Notation and terminology
Presheaves are commonly denoted by letters such as \(F\), \(G\), or \(\mathcal{F}\). The value of a presheaf on an open set \(U\) is often written \(F(U)\), and the restriction from \(U\) to \(V\) may be written \(F(U \to V)\), \(res_{U,V}\), or simply by context.
Terminology varies slightly across subjects. In topology and geometry, one often speaks of sections of a presheaf over an open set. In category theory, the same object may be called a functor of type \(\mathcal{C}^{op} \to \mathbf{Set}\) or another target category.
2 Examples
Presheaves appear in many familiar mathematical settings. The examples below illustrate how the same formal pattern can describe functions, geometric objects, and algebraic structures.
2.1 Presheaf of continuous functions
For a topological space \(X\), one may assign to each open set \(U\) the set \(C(U)\) of continuous real-valued or complex-valued functions on \(U\). If \(V \subseteq U\), the restriction map sends a function on \(U\) to its restriction on \(V\).
This is one of the simplest and most intuitive examples. It records local analytic information and shows how a global object can be studied through its behavior on open subsets.
2.2 Presheaf of sections of a bundle
If \(E \to X\) is a fiber bundle or similar geometric object, then each open set \(U\) may be assigned the set of continuous sections of the bundle over \(U\). A section over \(U\) chooses a point in each fiber above \(U\) in a way that varies continuously.
Restricting a section from \(U\) to \(V \subseteq U\) simply means forgetting its values outside \(V\). This presheaf is central in geometry because it packages local geometric choices into a coherent formalism.
2.3 Constant presheaf
Given a set \(A\), one can define a presheaf that assigns \(A\) to every open set \(U\), with every restriction map equal to the identity on \(A\). More generally, one may use the same construction for groups, rings, or other objects.
The constant presheaf is simple but useful. It reflects the underlying object everywhere on the space without introducing any dependence on the geometry of open sets.
2.4 Presheaf of abelian groups, rings, and modules
Presheaves often take values in algebraic categories. For instance, one may assign to each open set \(U\) an abelian group \(F(U)\), with restriction homomorphisms for inclusions of open sets. Similar constructions work for rings, modules, and other algebraic structures.
These examples are important because algebraic operations are preserved under restriction. As a result, one can study local algebraic data on spaces in a systematic and functorial way.
3 Restriction maps
Restriction maps are the structural feature that distinguishes a presheaf from an arbitrary assignment of data. They express how information changes when one passes from a larger domain to a smaller one.
3.1 Functoriality of restriction
Restriction maps must fit together compatibly. If \(W \subseteq V \subseteq U\), then restricting from \(U\) to \(V\) and then from \(V\) to \(W\) should agree with restricting directly from \(U\) to \(W\).
This requirement is a functorial law. It ensures that the presheaf respects the composition of inclusions or, in the categorical formulation, the composition of morphisms.
3.2 Composition of restrictions
For any chain of inclusions \(W \subseteq V \subseteq U\), the composite restriction map \[ F(U) \to F(V) \to F(W) \] must equal the direct restriction map \(F(U) \to F(W)\). This condition prevents ambiguity in how data is transported across nested open sets.
Composition rules make presheaves consistent across multiple scales. Without them, the data on different regions could conflict even when those regions are related by simple containment.
3.3 Identity restrictions
If one restricts from an open set \(U\) to itself, the map must be the identity on \(F(U)\). This expresses the idea that no change occurs when no actual restriction is made.
Identity restrictions are the simplest compatibility condition, but they are essential. Together with composition, they ensure that a presheaf behaves like a genuine contravariant functor.
4 Morphisms of presheaves
Presheaves themselves can be compared by maps that respect both the assigned data and the restriction structure. This leads to a category of presheaves.
4.1 Natural transformations
A morphism of presheaves \(F \to G\) is typically a natural transformation. For each open set \(U\), it provides a map \(F(U) \to G(U)\), and these maps must commute with all restriction maps.
Naturality means that applying the morphism before or after restriction gives the same result. This compatibility is what makes the morphism respect the full presheaf structure rather than only the individual values.
4.2 Isomorphisms of presheaves
An isomorphism of presheaves is a morphism that has an inverse morphism. When two presheaves are isomorphic, they carry essentially the same information, though perhaps in different language or notation.
Isomorphism is stronger than pointwise similarity: the correspondence must work uniformly across all open sets and be compatible with every restriction map. In practice, this identifies presheaves that differ only by a change of presentation.
4.3 Category of presheaves
Presheaves on a fixed category or topological space form a category. The objects are presheaves, and the morphisms are natural transformations. This category is often denoted by a functor category, such as \(\mathbf{Set}^{\mathcal{C}^{op}}\) in the set-valued case.
The category of presheaves is central in modern mathematics because it has many good formal properties. It supports constructions such as limits, colimits, and adjunctions in a natural and flexible way.
5 Stalks and local behavior
Presheaves are designed to record local data, and stalks provide a precise way to isolate what a presheaf looks like near a single point. They are a key tool for analyzing local equivalence.
5.1 Germs of sections
A germ of a section at a point \(x\) is the equivalence class of sections that agree on some neighborhood of \(x\). Two sections are considered the same germ if they coincide on an open set containing the point.
Germs represent the local behavior of data near a point while ignoring irrelevant information farther away. They are especially useful when studying local properties that cannot be detected from a single open set alone.
5.2 Stalk construction
The stalk of a presheaf \(F\) at a point \(x\) is formed by collecting all sections over open neighborhoods of \(x\) and identifying those that agree on a smaller neighborhood. Informally, it is the direct limit of the values \(F(U)\) over all neighborhoods \(U\) of \(x\).
Stalks distill the information of a presheaf into a pointwise object. They provide a refined way to compare presheaves by examining their behavior at each point of the space.
5.3 Local equivalence of sections
Two sections may be distinct globally but indistinguishable near a chosen point. Presheaves record this distinction, while stalks capture the local equivalence relation that identifies sections with the same germ.
This notion is important in geometry and analysis because many properties are local in nature. A section may be studied through its nearby behavior even when its global form is complicated.
6 Sheafification and the sheaf condition
Presheaves become sheaves when compatible local data can be uniquely glued together. Sheafification is the process of turning a presheaf into a sheaf while preserving its local content as much as possible.
6.1 Comparison with sheaves
A sheaf is a presheaf satisfying two additional requirements: local data must be uniquely determined by its restrictions, and compatible local pieces must glue to a global section. Thus every sheaf is a presheaf, but not every presheaf is a sheaf.
The distinction is fundamental. Presheaves allow more freedom, while sheaves encode the principle that local consistency should produce global existence and uniqueness.
6.2 Separated presheaves
A presheaf is separated if two sections that agree on every member of an open covering must already be equal. This condition says that a section is determined by its local restrictions, although it does not guarantee that compatible local sections glue to a global one.
Separatedness is weaker than the full sheaf condition, but it captures the uniqueness aspect of gluing. It is often the first step in understanding how a presheaf approaches sheaf-like behavior.
6.3 Sheafification process
Sheafification is a construction that associates to a presheaf a sheaf built from the same local information. The result preserves the original data in a controlled way while enforcing the gluing properties that the presheaf may lack.
There are several equivalent descriptions of sheafification, including constructions via germs and via universal completion. In each case, the aim is to produce the closest sheaf approximation to the original presheaf.
6.4 Universal property of sheafification
The sheafification of a presheaf \(F\) is characterized by a universal property: any map from \(F\) to a sheaf factors uniquely through the sheafification. This makes sheafification a canonical and highly natural construction.
Universal properties are important because they define objects by how they interact with all others rather than by an explicit formula alone. In this sense, sheafification is not merely a transformation but a principled best approximation.
7 Presheaves in category theory
From the viewpoint of category theory, presheaves are one of the most fundamental examples of functor categories. They provide a bridge between abstract structure and concrete data assignment.
7.1 Presheaf categories
For a category \(\mathcal{C}\), the category of presheaves on \(\mathcal{C}\) is the functor category \(\mathbf{Set}^{\mathcal{C}^{op}}\). Objects are contravariant set-valued functors, and morphisms are natural transformations.
Presheaf categories are well behaved and serve as a standard testing ground for categorical ideas. Many constructions can be carried out objectwise, making them accessible and highly structured.
7.2 Representable presheaves
A representable presheaf is one naturally isomorphic to a hom-functor of the form \(\mathrm{Hom}_{\mathcal{C}}(-,X)\) for some object \(X\) in \(\mathcal{C}\). Such presheaves encode how all objects map into a fixed target.
Representable presheaves are fundamental because they connect objects of a category with the presheaves built from them. They often behave like abstract coordinate systems for the category.
7.3 Yoneda lemma
The Yoneda lemma states, in one form, that natural transformations from a representable presheaf to any presheaf correspond exactly to elements of the presheaf evaluated at the representing object. This result is one of the deepest and most useful facts about presheaves.
It shows that an object can be studied through the maps into it, and that a presheaf is determined by how it responds to representables. The lemma is a cornerstone of categorical reasoning and explains why presheaves are so powerful.
7.4 Limits and colimits of presheaves
Presheaf categories admit limits and colimits that are often computed pointwise. That is, one forms the limit or colimit at each object of the underlying category and then assembles the result into a new presheaf.
This property makes presheaf categories especially convenient for algebraic and geometric constructions. It allows one to build complex presheaves from simpler ones while retaining control over their local behavior.
8 Applications
Presheaves are used wherever local data must be organized coherently across a space or category. Their flexibility makes them valuable in several major branches of mathematics.
8.1 Topology
In topology, presheaves help encode local invariants and continuous data on open sets. They organize functions, cohomological information, and local geometric structures in a way that reflects the topology of the underlying space.
They also provide the starting point for sheaf theory, which has become a central language in modern topology. Many topological constructions are easier to understand when expressed in terms of presheaves and their stalks.
8.2 Algebraic geometry
Algebraic geometry makes extensive use of presheaves to study functions and algebraic objects on varieties and schemes. Local rings, regular functions, and geometric sections are often packaged in presheaf form before being refined into sheaves.
This framework is well suited to algebraic geometry because the subject frequently analyzes objects locally and then reconstructs global structure from those local pieces. Presheaves supply the initial language for that process.
8.3 Differential geometry
In differential geometry, presheaves can describe smooth functions, differential forms, vector fields, and sections of bundles over open subsets of manifolds. They make it possible to organize local differential data in a consistent way.
Although many geometric objects are naturally sheaves rather than mere presheaves, the presheaf viewpoint is still useful for definitions and constructions. It clarifies how local differential information behaves under restriction.
8.4 Homological algebra
Homological algebra uses presheaves to formulate derived and cohomological methods in a local setting. Presheaves of abelian groups or modules often serve as the input for cohomology theories and exactness considerations.
This application is especially important because many homological constructions are best understood objectwise before sheafification or further refinement. Presheaves provide the natural starting point for these layered algebraic processes.