Definition:Category of Presheaves on Topological Space

From ProofWiki
Jump to navigation Jump to search

Definition

Let $X$ be a topological space.

Let $\mathbf C$ be a category.


The category of $\mathbf C$-valued presheaves on $X$ is the category with:

Objects:         $\mathbf C$-valued presheaves on $X$
Morphisms: morphisms of presheaves
Composition: composition of morphisms of presheaves
Identity morphisms: identity morphisms on presheaves


Also see


Sources