Source / pinned edition
Injectives
Source of package stacks.sheaf_cohomology · The Stacks Project, Chapter «Injectives» (tag 01D4)
- work
- urn:stacks:clir:sheaf-cohomology#STACKS_INJECTIVES
- number
- The Stacks Project, Chapter «Injectives» (tag 01D4)
- kind
- urn:stacks:clir:sheaf-cohomology#treatise
injectives.tex at commit a04446e (master, 2026-07-28)
- edition
- urn:stacks:clir:sheaf-cohomology#STACKS_INJECTIVES_MASTER
- language
- en
- officiality
- official
- materialisation
- PINNED_OFFICIAL_BYTES
- life cycle
- adopted: 2026-07-28
Publications
| URI | Type | documentHash | Retrieved |
|---|---|---|---|
| https://raw.githubusercontent.com/stacks/stacks-project/a04446e57ec1fbc252a871afcec7752fb2807b14/injectives.tex | application/x-tex; charset=utf-8 | sha256:b1367e48800c53d72c495d386eef2d4d6c400652f9d00e69f664f17418d26520 | 2026-09-06T00:00:00Z |
Fragments — 1
tag/01DG · lemma · referenced by: 1
en · official · sha256:e4b4f09acb0a39efab590f7a0a1974dde000a27f6205d5284eb9b41b91b7f6d6
\begin{lemma}
\label{lemma-abelian-sheaves-space}
Let $X$ be a topological space.
The category of abelian sheaves on $X$ has enough injectives.
In fact it has functorial injective embeddings.
\end{lemma}Referencing norms: AbXEnoughInjectives
The hash beside the text is the sha256 of its exact bytes. It is the check that the text shown matches the one pinned in the package: a divergence fails the oracle’s static analysis.