Source / pinned edition
Авторский контракт представления через vocab.finit
Source of package stacks.sheaf_cohomology · stacks.sheaf_cohomology/finit/0.1.0
- work
- urn:stacks:clir:sheaf-cohomology#FINIT_PRESENTATION_NOTE
- number
- stacks.sheaf_cohomology/finit/0.1.0
- kind
- urn:stacks:clir:sheaf-cohomology#treatise
FINIT_PRESENTATION_RU
- edition
- urn:stacks:clir:sheaf-cohomology#FINIT_PRESENTATION_RU
- language
- ru
- officiality
- unofficial
- materialisation
- PINNED_UNOFFICIAL_COPY
- life cycle
- —
Publications
| URI | Type | documentHash | Retrieved |
|---|---|---|---|
| urn:arxo:stacks.sheaf_cohomology:finit-presentation:0.1.0 | text/plain; charset=utf-8 | sha256:e93e85faae8367254be20dd9cd1325363d3db63f6ef5778dab232df96c8dffb0 | 2026-09-08T00:00:00Z |
Fragments — 1
contract · defn · referenced by: 9
ru · unofficial · sha256:e93e85faae8367254be20dd9cd1325363d3db63f6ef5778dab232df96c8dffb0RU
Авторский контракт представления Stacks через vocab.finit, версия 0.1.0.
Этот контракт принят в репозитории Arxo; он не является утверждением The Stacks Project.
point_of(p,x) передаёт element_of(p,x). candidate_subset(u,x) и open_of(u,x) передают subset_carrier(u,x); это не обратное доказательство открытости.
contains(u,p) передаёт общий contains(u,p). target(c,u) и covers(c,u) передают family_target(c,u). member(c,u) передаёт family_member(c,u); это не обратное доказательство покрытия.
section_function(s,m) явно связывает кандидата в сечения с отдельным целочисленным представлением. При этой связи defined_on(s,u) передаёт map_domain(m,u), а value_at(s,p,v) передаёт integer_value(m,p,v).
Идентификаторы исходных сущностей сохраняются. Никакая из этих проекций не утверждает полноту списков или таблиц. Из наличия конечного представления не следует конечность исходного пространства.
Referencing norms: FinitCandidateSubset, FinitCoverMember, FinitCoverTarget, FinitEstablishedCoverTarget, FinitFunctionDomain, FinitFunctionValue, FinitMembership, FinitOpenSubset, FinitPoint
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.