Definition:Sheafification

From ProofWiki
Jump to navigation Jump to search

Definition

Let $X$ be a topological space.

Let $\mathbf C$ be a category.

Let $\FF$ be a $\mathbf C$-valued presheaf on $X$.


Definition 1




Definition 2

Let $\FF$ be a presheaf of sets.

The sheafification of $\FF$ is the sheaf of continuous sections of its étalé space $\map {\operatorname {\acute Et} } \FF$.


Also see

  • Results about sheafifications can be found here.