Published package / CLIR
stacks.sheaf_cohomology
v0.1.0Cohomology of Sheaves
Authored metadata / not derived
Label
- Issuer
- The Stacks Project Authors (ed. Aise Johan de Jong), github.com/stacks/stacks-project, commit a04446e
- Jurisdiction
- no sovereign — the norm was not issued by an authority
- Kind of instrument
- treatise
- Status
- doctrine, not an act of authority
- What is pinned
- official bytes pinned
verified The text of the package was checked against the pinned source by hand.
State of preservation
- official bytes5 editions
The bytes of the official publication are pinned.
- unofficial copy1 edition
A copy from an available source is pinned: the bytes are fixed by a hash, but they are not an official publication.
Depth of formalisation
- EXECUTABLE 26
- a deriving node refers to the fragment — something is derived from it
- ANCHORED 1
- addressable by a semantic node, but nothing is derived
- SOURCE_ONLY 0
- the text is pinned and addressable, no references
The levels are computed from CLIR; authored markup for them does not exist: hand markup would mean that an author’s mistake silently changes the completeness report. This is not a share of the act: the share of the document covered by fragments is measured against the bytes of the pinned publication and is not computed here.
Sources
- Авторский контракт представления через vocab.finit · stacks.sheaf_cohomology/finit/0.1.0 · editions: 1
- Cohomology of Sheaves · The Stacks Project, Chapter «Cohomology of Sheaves» (tag 01DW) · editions: 1
- Injectives · The Stacks Project, Chapter «Injectives» (tag 01D4) · editions: 1
- Sheaves of Modules · The Stacks Project, Chapter «Sheaves of Modules» (tag 01AC) · editions: 1
- Sheaves on Spaces · The Stacks Project, Chapter «Sheaves on Spaces» (tag 006A) · editions: 1
- Topology · The Stacks Project, Chapter «Topology» (tag 004C) · editions: 1
Try it
This package is not embedded in the workbench, and it has no “try it” button: the button would open emptiness. The embedded ones were chosen for the mechanics they show, not by the importance of the act — any other package can be executed by opening its directory in the workbench from disk.
faraid.shares— Фараид — наследственный расчёт исламского праваintl.turkic.nakhchivan_2009— Закон Республики Казахстан от 23 мая 2025 года № 191-VIII «О ратификации Протокола о внесении изменений в Нахичеванское соглашение о создании Совета сотрудничества тюркоязычных государств»kz.corpus.capital_status— Конституционный закон Республики Казахстан «О статусе столицы Республики Казахстан»kz.corpus.pinningexample— Положение о порядке учёта обращенийkz.corpus.socialassistance— Адресная социальная помощь (учебный срез)kz.corpus.tuystyq— Туыстық жүйе — казахская система родства
Cite
The address of a norm is immutable: contentHash is computed over the canonical bytes, and any edit of the package yields a different hash. The link below points not at “the latest version” but at specific bytes — what citation requires and a version number does not give.
Cohomology of Sheaves · FINIT_PRESENTATION_NOTE · stacks.sheaf_cohomology@0.1.0 · sha256:679d052026d18960cbcd23985e87bd0b4b3176e38c887a847ade12ac3c73aa50