Presheaf

A presheaf $A$ (of sets) on $X$ is a contravariant functor from the category of open subsets of $X$ and inclusions to the category of sets.

Flag

A presheaf $\mathcal{F}$ of sets on $X$ is a rule which assigns to each open $U \subset X$ a set $\mathcal{F}(U)$ and to each inclusion $V \subset U$ a map $\rho ^ U_ V : \mathcal{F}(U) \to \mathcal{F}(V)$ such that $\rho ^ U_ U = \text{id}_{\mathcal{F}(U)}$ and whenever $W \subset V \subset U$ we have $\rho ^ U_ W = \rho ^ V_ W \circ \rho ^ U_ V$.
A morphism $\varphi : \mathcal{F} \to \mathcal{G}$ of presheaves of sets on $X$ is a rule which assigns to each open $U \subset X$ a map of sets $\varphi : \mathcal{F}(U) \to \mathcal{G}(U)$ compatible with restriction maps, i.e., whenever $V \subset U \subset X$ are open the diagram commutes.

There is currently no relevant content for this entry

Manitori