The Stacks project

Lemma 6.13.1. Let $\mathcal{C}$ be a category. Let $F : \mathcal{C} \to \textit{Sets}$ be a functor. Assume that

1. $F$ is faithful, and

2. directed colimits exist in $\mathcal{C}$ and $F$ commutes with them.

Let $X$ be a topological space. Let $x \in X$. Let $\mathcal{F}$ be a presheaf with values in $\mathcal{C}$. Then

exists in $\mathcal{C}$. Its underlying set is equal to the stalk of the underlying presheaf of sets of $\mathcal{F}$. Furthermore, the construction $\mathcal{F} \mapsto \mathcal{F}_ x$ is a functor from the category of presheaves with values in $\mathcal{C}$ to $\mathcal{C}$.