Источник / закреплённая редакция
Авторский контракт представления через vocab.finit
Источник пакета stacks.sheaf_cohomology · stacks.sheaf_cohomology/finit/0.1.0
- work
- urn:stacks:clir:sheaf-cohomology#FINIT_PRESENTATION_NOTE
- номер
- stacks.sheaf_cohomology/finit/0.1.0
- вид
- urn:stacks:clir:sheaf-cohomology#treatise
FINIT_PRESENTATION_RU
- edition
- urn:stacks:clir:sheaf-cohomology#FINIT_PRESENTATION_RU
- язык
- ru
- официальность
- unofficial
- материализация
- PINNED_UNOFFICIAL_COPY
- жизненный цикл
- —
Публикации
| URI | Тип | documentHash | Получено |
|---|---|---|---|
| urn:arxo:stacks.sheaf_cohomology:finit-presentation:0.1.0 | text/plain; charset=utf-8 | sha256:e93e85faae8367254be20dd9cd1325363d3db63f6ef5778dab232df96c8dffb0 | 2026-09-08T00:00:00Z |
Фрагменты — 1
contract · defn · на него ссылаются: 9
ru · unofficial · sha256:e93e85faae8367254be20dd9cd1325363d3db63f6ef5778dab232df96c8dffb0
Авторский контракт представления 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).
Идентификаторы исходных сущностей сохраняются. Никакая из этих проекций не утверждает полноту списков или таблиц. Из наличия конечного представления не следует конечность исходного пространства.
Ссылаются нормы: FinitCandidateSubset, FinitCoverMember, FinitCoverTarget, FinitEstablishedCoverTarget, FinitFunctionDomain, FinitFunctionValue, FinitMembership, FinitOpenSubset, FinitPoint
Хэш рядом с текстом — sha256 его точных байтов. Он и есть проверка того, что показанный текст совпадает с закреплённым в пакете: расхождение роняет статику оракула.