Category:Sheafifications

From ProofWiki
Jump to navigation Jump to search

This category contains results about Sheafifications.
Definitions specific to this category can be found in Definitions/Sheafifications.

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$.

This category currently contains no pages or media.