Lemma 17.19.4. Let $X$ be a spectral topological space. Let $\mathcal{B}$ be the set of quasi-compact open subsets of $X$. Let $\mathcal{F}$ be a sheaf of sets as in Equation (17.19.2.1). Then there exist finitely many constructible closed subsets $Z_1, \ldots , Z_ n \subset X$ and finite sets $S_ i$ such that $\mathcal{F}$ is isomorphic to a subsheaf of $\prod (Z_ i \to X)_*\underline{S_ i}$.

Proof. By Lemma 17.19.3 we reduce to the case of a finite sober topological space and a sheaf with finite stalks. In this case $\mathcal{F} \subset \prod _{x \in X} i_{x, *}\mathcal{F}_ x$ where $i_ x : \{ x\} \to X$ is the embedding. We omit the proof that $i_{x, *}\mathcal{F}_ x$ is a constant sheaf on $\overline{\{ x\} }$. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
{"ft_lang_label":"__label__en","ft_lang_prob":0.7352458,"math_prob":0.99971765,"size":1102,"snap":"2021-43-2021-49","text_gpt3_token_len":331,"char_repetition_ratio":0.112021856,"word_repetition_ratio":0.0,"special_character_ratio":0.30490017,"punctuation_ratio":0.11111111,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999999,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-12-03T17:12:53Z\",\"WARC-Record-ID\":\"<urn:uuid:354d31fb-3470-4d0c-b1cb-4759a87625d4>\",\"Content-Length\":\"14360\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:082a8149-617f-4290-b000-e9edf08b2658>\",\"WARC-Concurrent-To\":\"<urn:uuid:e2056917-623a-431e-97cf-a631082c91b6>\",\"WARC-IP-Address\":\"128.59.222.85\",\"WARC-Target-URI\":\"https://stacks.math.columbia.edu/tag/0CAL\",\"WARC-Payload-Digest\":\"sha1:4JYLZIV4L36KDQIWP2MTJU2VLVBOPHMS\",\"WARC-Block-Digest\":\"sha1:4KNMEG573HLBTFL5TRN3LGGEXOES5AEJ\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-49/CC-MAIN-2021-49_segments_1637964362891.54_warc_CC-MAIN-20211203151849-20211203181849-00581.warc.gz\"}"}