Когезивная структура ⟪⟫

Статус

[Т] — когезивная структура Π ⊣ ♭ ⊣ ♯ ⊣ ι через Шрайбер 2013 + 91.T для α_cohesion.

Когезия Шрайбера в контексте Diakrisis

Когезивный ∞-topos Шрайбера (DCCT) — топос с цепочкой модальностей Π ⊣ ♭ ⊣ ♯ ⊣ ι.

Теорема 16.T5 из каркас: Diakrisis-структура ⟪⟫ обладает когезивной структурой.

Что такое «когезия»

Когезия — структура, позволяющая различать дискретные и непрерывные объекты в одной категории. У Шрайбер (DCCT, 2013) — инструмент для унифицированного анализа дифференциальной геометрии, физики, высокоуровневой математики.

В Diakrisis когезия — способ разделить:

• Классическую часть артикуляции (пассивные / Ёнеда-представимые эндо-функторы).
• Квантовую часть (активные / не-Ёнеда-представимые).
• Различные плотностные режимы Trace(𝖠).

Общая схема Шрайбера

Cohesive topos — это topos H с чёткой цепочкой 4-адъюнктивных функторов:

$\Pi \dashv \flat \dashv \sharp \dashv \iota: \mathrm{Disc} \rightleftarrows \mathbf{H}$

где Disc — подтопос «дискретных» объектов.

Идея:

• Π — «приводит к компонентам».
• ♭ — «забывает структуру, оставляя носитель».
• ♯ — «заполняет плотно».
• ι — «вкладывает дискретное в непрерывное».

Четыре модальности

Π — функтор компонент

Для α ∈ ⟪⟫, Π(α) — «компоненты связности» α (через 𝖬-орбиты):

$\Pi(\alpha) := \bigsqcup_{\text{орбиты } \mathsf{M} \text{ под } \alpha} [\alpha']_{orbit}.$

Детализация Π

• Орбита под 𝖬: класс {𝖬^κ(α') : κ ∈ Ord} для некоторого α'.
• Связность: α и β в одной компоненте ⟺ существует κ с 𝖬^κ(α) ≃ β или 𝖬^κ(β) ≃ α.
• Π(α) — класс связной компоненты α в Trace-графе.

Функториальность: Π — 2-функтор ⟪⟫ → Disc, где Disc — дискретная подкатегория компонент.

♭ — дискретизация

Оставляет «пассивную» (Ёнеда-представимую) часть α.

Детализация ♭

• Пассивная часть: объединение представимых эндо-функторов, составляющих α.
• ♭(α) — дискретная артикуляция, получаемая удалением всей активной части.
• В Cat-модели: ♭(α) — стандартная категория без «модальной» структуры.

Применение: ♭ позволяет извлечь «классическое ядро» любой артикуляции. Это — предел, в котором нет квантовой/активной специфики.

♯ — ко-дискретизация

Плотно заполняет α всеми точками Trace(𝖠).

Детализация ♯

• Заполнение: ♯(α) содержит все артикуляции, эквивалентные α с точностью до Trace-связи.
• Плотность: ♯(α) максимально «плотен» в Trace(𝖠).
• Свойство: ♯ — правый adjoint ♭, соответствует «максимальному заполнению».

Применение: ♯ используется для извлечения «квантового скелета» — полной структуры, доступной через 𝖬-итерации.

ι — вложение точек

ι из Axi-1 (уже обсуждался).

ι в когезивной цепочке

В рамках когезии ι — правый adjoint ♯. Это соответствует:

• ι: Disc → ⟪⟫ — вложение дискретных объектов.
• Композиция ι ∘ ♭: любой α ↦ дискретный образ.
• Композиция ♯ ∘ ι: identity на дискретных.

Формально: ι в Axi-1 совместим с когезивной структурой.

Цепочка сопряжений

Π ⊣ ♭: 16.T1. ♭ ⊣ ♯: 16.T2. ♯ ⊣ ι: 16.T3.

Детализация adjoints

Π ⊣ ♭:

• Π — левый adjoint от ♭.
• Для α ∈ ⟪⟫ и δ ∈ Disc: Hom_Disc(Π(α), δ) ≃ Hom_⟪⟫(α, ♭(δ)).

♭ ⊣ ♯:

• ♭ — левый adjoint от ♯.
• Hom_⟪⟫(♭(α), β) ≃ Hom_⟪⟫(α, ♯(β)).

♯ ⊣ ι:

• ♯ — левый adjoint от ι.
• Hom_⟪⟫(♯(α), ι(δ)) ≃ Hom_Disc(Π(α), δ) (через цепочку).

Унитарные и коунитарные преобразования

Для каждой adjunction — естественные преобразования:

• unit: η: id ⟹ R ∘ L.
• counit: ε: L ∘ R ⟹ id.

Эти удовлетворяют стандартным треугольным тождествам.

Когерентности Шрайбера

• ♭ ∘ ♯ = id на дискретных.
• ♯ ∘ ♭ = id на недискретных.
• Π ∘ ι = id на точках.

Теорема 16.T4: АПЕЙРОН-функторы §§3.1-3.4 удовлетворяют когерентностям.

Дополнительные когерентности

• Π ⊣ ♭ ⊣ ♯: три-адъюнкция автоматически даёт ♭ ∘ Π = Π ∘ ♭ (в пределах дискретных).
• ♭ ⊣ ♯ ⊣ ι: ♯ сохраняет финиты и бесконечные копределы.
• Π(♯(α)) ≃ Π(α): Π «не видит» плотностное заполнение.

Почему именно такая цепочка

Выбор Π ⊣ ♭ ⊣ ♯ ⊣ ι — не случаен. Это минимальная структура, обеспечивающая:

• Распознавание дискретного (♭) и непрерывного (♯).
• Существование «компонент» (Π).
• Вложение дискретных в общую структуру (ι).

Без одного из звеньев — теряется соответствующий аспект.

Признанные редукции

• Когезивная структура — редукция к Шрайбер DCCT (с адаптацией для 2-категорного случая).
• Отличие: DCCT работает в ∞-топосе; у нас — в 2-категории с ι.

Детализация редукций

Наш элемент	Редукция	Источник
Π	Fundamental ∞-group.	Шрайбер DCCT §3
♭	Underlying point set	Шрайбер §3.2
♯	Codiscrete object	Шрайбер §3.3
ι	Discrete inclusion	Шрайбер §3.4
Цепочка 4-adjoints	Cohesive ∞-topos structure	Шрайбер DCCT Def 3.1

В Diakrisis — всё то же самое, но в 2-категорном контексте (не ∞-топос).

Что не редуцируется

• Взаимодействие с 𝖬: в нашей структуре 𝖬 связана с когезией через ι(𝖬) = α_𝖬. У Шрайбер — нет такой операции.
• Gauge-совместимость: ⟪⟫ имеет gauge-группу G, действующую на всех четырёх модальностях.
• Применение к основаниям: Шрайбер — физика; мы — логико-категорные основания.

Применение к УГМ

α_uhm имеет полную когезивную структуру:

• Π(α_uhm) — компоненты УГМ-орбиты.
• ♭(α_uhm) — «классическая часть» (до декогеренции).
• ♯(α_uhm) — квантовые суперпозиции.
• ι(α_uhm) — вложение операций.

Детальная интерпретация для УГМ

Π(α_uhm):

• Компоненты регенерационной орбиты ℛ^κ(Γ).
• Отражают «типы» поведения α_uhm.
• Физически: классы эквивалентности состояний по динамике.

♭(α_uhm):

• «Классическая тень» УГМ — без суперпозиций.
• Редуцируется к обычной плотностной матрице (без учёта φ).
• Физически: термальное равновесие без самомодели.

♯(α_uhm):

• «Максимальная» квантовая структура УГМ.
• Включает все возможные суперпозиции.
• Физически: полное гильбертово пространство.

ι(α_uhm):

• Вложение операций (CPTP-каналов) в объекты.
• Связь между динамикой и состояниями.
• Физически: дуальность Shrödinger/Heisenberg.

Роль в формализации УГМ

Когезивная структура — инструмент для:

• Разделения классической и квантовой частей теории.
• Анализа сходимости к равновесию (через Π).
• Перехода от абстрактных операций к конкретным состояниям (через ι).

Теоретические следствия

Cohesion + modality

Через когезию + 𝖬 как модальность (см. /03-formal-architecture/05-modal-interpretation):

• Π интерпретируется как «модальность возможности» (по всем орбитам).
• ♭ — как «актуальность» (текущее состояние).
• ♯ — как «потенциальность» (все доступные).
• ι — как «необходимость» (инвариантное ядро).

Когезия + gauge

gauge-группа G действует совместимо с когезивной структурой:

• g(Π(α)) ≃ Π(g(α)).
• g(♭(α)) ≃ ♭(g(α)).
• g(♯(α)) ≃ ♯(g(α)).
• g(ι(δ)) ≃ ι(g_disc(δ)), где g_disc — ограничение g на Disc.

Это означает: когезивная структура gauge-инвариантна.

Следующий документ

/03-formal-architecture/03-fibration — fibration-структура.