Namespaces
Variants
Actions

Pre-sheaf

From Encyclopedia of Mathematics
Revision as of 16:46, 24 November 2013 by Ulf Rehmann (talk | contribs) (tex, MSC)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

2020 Mathematics Subject Classification: Primary: 14-XX [MSN][ZBL]

A pre-sheaf on a topological space $X$ with values in a category $\def\cK{ {\mathcal K}}\cK$ (e.g., the category of sets, groups, modules, rings, etc.) is a contravariant functor $F$ from the category of open sets of $X$ and their natural inclusion mappings into $\cK$. Depending on $\cK$, the functor $F$ is called a pre-sheaf of sets, groups, modules, rings, etc. The morphisms $F(U)\to F(V)$ corresponding to the inclusions $V\subseteq U$ are called restriction homomorphisms.

Every pre-sheaf generates a sheaf on $X$ (cf. Sheaf theory).


Comment

More generally, if $\def\cC{ {\mathcal C}}\cC$ is any small category, the term "pre-sheaf on $\cC$" is used to denote a contravariant (usually set-valued) functor defined on $\cC$ (cf. Site).

How to Cite This Entry:
Pre-sheaf. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Pre-sheaf&oldid=30766
This article was adapted from an original article by E.G. Sklyarenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article