Definition:Morphism 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.

Let $\FF$ and $\GG$ be $\mathbf C$-valued presheaves on $X$.


Definition 1




Definition 2

A morphism of presheaves from $\FF$ to $\GG$ is a natural transformation $\FF \to \GG$.


Also see


Sources