Definition 59.71.1. Let $X$ be a scheme.
A sheaf of sets on $X_{\acute{e}tale}$ is constructible if for every affine open $U \subset X$ there exists a finite decomposition of $U$ into constructible locally closed subschemes $U = \coprod _ i U_ i$ such that $\mathcal{F}|_{U_ i}$ is finite locally constant for all $i$.
A sheaf of abelian groups on $X_{\acute{e}tale}$ is constructible if for every affine open $U \subset X$ there exists a finite decomposition of $U$ into constructible locally closed subschemes $U = \coprod _ i U_ i$ such that $\mathcal{F}|_{U_ i}$ is finite locally constant for all $i$.
Let $\Lambda $ be a Noetherian ring. A sheaf of $\Lambda $-modules on $X_{\acute{e}tale}$ is constructible if for every affine open $U \subset X$ there exists a finite decomposition of $U$ into constructible locally closed subschemes $U = \coprod _ i U_ i$ such that $\mathcal{F}|_{U_ i}$ is of finite type and locally constant for all $i$.
Comments (4)
Comment #73 by Keenan Kidwell on
Comment #80 by Johan on
Comment #5405 by Jackson on
Comment #5635 by Johan on
There are also: