Definition:Étalé Space of Presheaf

Definition
Let $X$ be a topological space.

Let $\mathbf C$ be a category.

Let $\mathcal F$ be a $\mathbf C$-valued presheaf on $X$.

The étalé space of $\mathcal F$ is the pair $\left({\operatorname{\acute Et} \left({\mathcal F}\right), \pi}\right)$ where:
 * $\operatorname{\acute Et} \left({\mathcal F}\right)$ is the disjoint union $\displaystyle \bigsqcup_{x \mathop \in X} \mathcal F_x$ of stalks of $\mathcal F$
 * $\pi: \operatorname{\acute Et} \left({\mathcal F}\right) \to X$ is the canonical projection.

Also denoted as
The étalé space of $\mathcal F$ is also denoted $\operatorname {Sp\acute e} \left({\mathcal F}\right)$.

Also see

 * Definition:Section of Étalé Space
 * Definition:Sheafification