Перейти к основному содержимому

Производные понятия

Статус​

[О] — определения, все выводятся из примитивов + аксиом.

Обзор​

Производные понятия — выводимые структуры из канонического примитива (⟪⟫, 𝖬, α_math, ⊏_•) + 13 аксиом. По П-0.2 (экономия аксиом) они не постулируются как отдельные примитивы.

Типология производных​

Производные делятся на три уровня по степени сложности:

  • Уровень 1 (базовые): ρ, α_𝖬 — прямые следствия Axi-4 и Axi-7.
  • Уровень 2 (итеративные): Fix(𝖬), Trace(𝖠), mindepth — через 𝖬-итерации.
  • Уровень 3 (предельные): A_init, A_fin, Z_i, 𝓜_Fnd — через трансфинитные пределы.

Каждый уровень опирается на предыдущие.

1. ρ — реализация​

ρ(α):=evαmath(α)=[αmath,α]∈End(⟦⋅⟧).\rho(\alpha) := \mathrm{ev}_{\alpha_{math}}(\alpha) = [\alpha_{math}, \alpha] \in \mathrm{End}(\llbracket\cdot\rrbracket).

По Axi-4. Эндо-операция, реализующая α через α_math-линзу.

По внутренней замкнутости: ρ(α) ∈ End(⟪⟫) ⊆ ⟪⟫.

1.1 Функториальность ρ​

Свойство 3.1.1: ρ — 2-функтор ⟪⟫ → End(⟪⟫).

  • На объектах: α ↦ ρ(α).
  • На 1-морфизмах: (f: α → β) ↦ (ρ(f): ρ(α) ⟹ ρ(β)) — естественное преобразование.
  • На 2-морфизмах: сохраняет 2-структуру.

1.2 Образ ρ​

Im(ρ) — подкатегория End(⟪⟫), состоящая из реализаций артикуляций.

  • По Axi-5, Im(ρ) содержит хотя бы два неэквивалентных элемента.
  • По Axi-8 (если выполняется), Im(ρ) не сводится к представимым функторам.

1.3 Интерпретация​

ρ(α) — это «конкретная форма» артикуляции α, видимая через линзу α_math.

  • В α_zfc: ρ(α) — способ смотреть на α как на функтор Set → Set.
  • В α_hott: ρ(α) — способ смотреть на α как на функтор Type → Type.
  • В α_uhm: ρ(α) — способ смотреть на α как на CPTP-канал D(ℂ⁷) → D(ℂ⁷).

2. α_𝖬 — представитель 𝖬​

αM:=ι(M)∈Ob(⟦⋅⟧).\alpha_{\mathsf{M}} := \iota(\mathsf{M}) \in \mathrm{Ob}(\llbracket\cdot\rrbracket).

По Axi-1 (внутренняя замкнутость). По Axi-7 (M-5w), ρ(α_𝖬) обслуживает самоартикулируемость.

2.1 Свойство α_𝖬 (из Axi-7)​

∀β ∈ Ob(⟪⟫): ρ(α_𝖬)[ρ(β)] ≃ ρ(𝖬(β)).

Это означает: применение ρ(α_𝖬) к ρ(β) даёт тот же результат, что ρ(𝖬(β)).

2.2 Важное различие​

  • 𝖬 — оператор (функтор) на ⟪⟫.
  • α_𝖬 — объект ⟪⟫ (представитель 𝖬 через ι).
  • ρ(α_𝖬) — эндо-операция на ⟪⟫, соответствующая α_𝖬.

Это — три разных уровня: оператор, объект, эндо-операция объекта. Axi-7 связывает их.

2.3 α_𝖬 и AFN-T​

По Axi-8 (в строгой форме), α_𝖬 не Ёнеда-представим. Но в Cat-модели α_𝖬 оказывается Ёнеда-представим (поскольку ι в Cat — стандартное вложение). Это — один из аспектов, обсуждаемых в AFN-T.

3. Fix(𝖬) — неподвижные точки​

Fix(M):={α∈Ob(⟦⋅⟧):M(α)≃α}.\mathrm{Fix}(\mathsf{M}) := \{\alpha \in \mathrm{Ob}(\llbracket\cdot\rrbracket): \mathsf{M}(\alpha) \simeq \alpha\}.

Класс артикуляций, неподвижных под метаизацией. По 10.T5 — непусто при accessibility 𝖬.

3.1 Теорема 10.T5 — существование Fix(𝖬)​

Формулировка: при accessibility 𝖬 (Axi-4), Fix(𝖬) ≠ ∅.

Контур доказательства: по теореме Адамек-Росицкий, accessible endofunctor на locally presentable category имеет инициальную алгебру, которая является неподвижной точкой 𝖬.

3.2 Структура Fix(𝖬)​

Fix(𝖬) — подкатегория ⟪⟫ с:

  • Объектами: неподвижные точки 𝖬.
  • Морфизмами: 1-морфизмы ⟪⟫ между ними, коммутирующие с изоморфизмом 𝖬(α) ≃ α.

Fix(𝖬) может быть малой или большой в зависимости от модели.

3.3 Примеры Fix(𝖬)​

  • В α_zfc с 𝖬 = power-set: Fix содержит некоторые кардиналы (например, ℶ-точки).
  • В α_uhm с 𝖬 = регенерационный канал: Fix содержит стационарные состояния.

4. Ω̄ — имя для Fix(𝖬)​

Ω̄ — обозначение для элементов Fix(𝖬) в контексте, где речь идёт о конкретной неподвижной точке. Не уникальный объект.

Примеры:

  • Ω̄_init — инициальная неподвижная точка.
  • Ω̄_term — терминальная.

4.1 Когда используется Ω̄​

  • При обсуждении конкретного примера (не общей теории Fix).
  • В сборках, где Ω̄ имеет конкретный смысл.
  • В теоремах о предельном поведении.

4.2 Различие от Fix(𝖬)​

  • Fix(𝖬) — класс.
  • Ω̄ — элемент этого класса (в конкретном контексте).

5. Trace(𝖠) — класс итераций​

Trace(A):=⋃κ∈Ord{Mκ(α0)}\mathrm{Trace}(\mathsf{A}) := \bigcup_{\kappa \in \mathrm{Ord}} \{\mathsf{M}^\kappa(\alpha_0)\}

для некоторой стартовой точки α_0 ∈ Ob(⟪⟫).

Класс всех артикуляций, достижимых трансфинитной 𝖬-башней.

Замечание: Trace(𝖠) — производный объект (по П-0.2 экономия); формально выводится из ⟪⟫, 𝖬 и выбора стартовой точки α_0.

5.1 Зависимость от α_0​

Разные α_0 дают разные Trace:

  • Trace(α_0=α_zfc) — артикуляции, достижимые из ZFC.
  • Trace(α_0=α_uhm) — артикуляции, достижимые из УГМ.

5.2 Свойства Trace​

  • Замкнутость под 𝖬: если α ∈ Trace, то 𝖬(α) ∈ Trace.
  • Содержит Fix(𝖬) (при достаточной accessibility).
  • Упорядочена по ⊏_•.

5.3 Пределы Trace​

  • При κ → ∞ (трансфинитно): α_κ стабилизируется (по accessibility).
  • Предельная точка — Ω̄ (неподвижная точка).

6. mindepth — минимальная глубина​

mindepth(α,β):=min⁡{κ∈Ord:α⊏κβ}.\mathrm{mindepth}(\alpha, \beta) := \min\{\kappa \in \mathrm{Ord}: \alpha \sqsubset_\kappa \beta\}.

Если минимума нет — не определено.

6.1 Свойства mindepth​

  • mindepth(α, α) = 0 (через id).
  • mindepth(α, β) ≤ mindepth(α, γ) + mindepth(γ, β) (квази-транзитивность).
  • Не симметрично: mindepth(α, β) ≠ mindepth(β, α) в общем.

6.2 Роль в иерархии​

mindepth формализует глубину связи между артикуляциями, заменяя скалярный «уровень» (запрещённый П-0.3).

7. A_init, A_fin — (ко)алгебраические концы​

  • A_init — начальная 𝖬-алгебра (по 12.T1 — существует при accessibility).
  • A_fin — финальная 𝖬-коалгебра (по 12.T2 — при ω-continuity).

7.1 Теорема 12.T1 — существование A_init​

По Адамек (1974): если 𝖬 accessible, то существует начальная 𝖬-алгебра A_init = colim_{κ<λ} 𝖬^κ(⊥), где λ — регулярный кардинал больший rank(𝖬), ⊥ — инициальный объект.

7.2 Теорема 12.T2 — существование A_fin​

Дуально: финальная коалгебра A_fin = lim_{κ<λ} 𝖬^κ(⊤), где ⊤ — терминальный объект.

7.3 Пары A_init и A_fin​

  • A_init — «минимальная» артикуляция, достижимая 𝖬-сверху.
  • A_fin — «максимальная», достижимая 𝖬-снизу.
  • Путь от A_init к A_fin — Z_1 (см. 8).

8. Z — нулевая граница (три характеризации)​

Z_1 (путь):​

Z1:={γ:Ainit→Afin∣γ=colimκγκ}.Z_1 := \{\gamma: A_{init} \to A_{fin} \mid \gamma = \mathrm{colim}_\kappa \gamma_\kappa\}.

Z_2 (побег):​

Z2:={(αD,κD):Im(ρ(MκD(αD)))⊈Im(ρ(αD))}.Z_2 := \{(\alpha_D, \kappa_D): \mathrm{Im}(\rho(\mathsf{M}^{\kappa_D}(\alpha_D))) \not\subseteq \mathrm{Im}(\rho(\alpha_D))\}.

Z_3 (граница представимости):​

Z3:={(α,κ):rep(α)=0,rep(Mκ(α))=1}.Z_3 := \{(\alpha, \kappa): \mathrm{rep}(\alpha) = 0, \mathrm{rep}(\mathsf{M}^\kappa(\alpha)) = 1\}.

Эквивалентность Z_1 ≃ Z_2 ≃ Z_3 — Теорема 16.T1.

8.1 Замечание о Z vs Z_i​

  • Z — общая «нулевая граница» как концепт ([И]).
  • Z_1, Z_2, Z_3 — конкретные формализации аспектов Z ([О]).
  • По 16.T1 — формализации эквивалентны.

Детальное обсуждение Z — /00-foundations/03-zero-boundary.

9. 𝓜_Fnd — классифицирующее пространство​

MFnd:=Trace(A)/gauge.\mathcal{M}_{Fnd} := \mathrm{Trace}(\mathsf{A})/\mathrm{gauge}.

Moduli-пространство оснований. По 43.T1.

9.1 Структура 𝓜_Fnd​

  • Точки: gauge-классы артикуляций.
  • Морфизмы: gauge-инвариантные морфизмы между классами.
  • Топология / 2-категорная структура: наследуется от Trace и gauge-группы G.

9.2 Концептуальная роль​

𝓜_Fnd — пространство всех возможных оснований, где каждая точка — одно «состояние математики».

  • [α_zfc] — точка, соответствующая ZFC.
  • [α_hott] — точка HoTT.
  • [α_uhm] — точка УГМ.
  • и так далее.

9.3 Применение​

  • Классификация оснований.
  • Анализ взаимосвязей между основаниями (морита-эквивалентность, переводы).
  • Прокладывание «пути» от одного основания к другому через 𝖬-итерации и gauge-преобразования.

10. Связи между производными​

⟪⟫ + 𝖬 + α_math + ⊏_•   (примитивы)
         ↓
    ρ, Fix(𝖬), α_𝖬      (базовые производные)
         ↓
   Trace(𝖠), mindepth     (итеративные)
         ↓
   A_init, A_fin, Z_i    (предельные)
         ↓
   𝓜_Fnd                  (классифицирующее пространство)

10.1 Формальные зависимости​

ПроизводноеТребует
ρAxi-1, Axi-3, Axi-4
α_𝖬Axi-1, Axi-2
Fix(𝖬)Axi-2, accessibility
Ω̄Fix(𝖬) + контекст
Trace(𝖠)Axi-2 + α_0
mindepthAxi-2, ⊏_•
A_init, A_finAxi-2, accessibility
Z_i𝖬-итерации + Axi-1
𝓜_FndTrace(𝖠) + gauge-group

10.2 Следствия для работы​

  • Не нужно постулировать Fix, Trace, Z_i, 𝓜_Fnd как отдельные объекты.
  • Все производные — выводимые.
  • Изменения в примитиве или аксиомах автоматически отражаются на производных.

11. Интерпретация​

Каждый производный объект — структурный аспект работы примитива:

  • ρ — реализация (видимость).
  • α_𝖬 — самопредставление.
  • Fix(𝖬) — устойчивость.
  • Ω̄ — конкретные устойчивые точки.
  • Trace(𝖠) — процесс развёртывания.
  • Z — предел развёртывания.
  • 𝓜_Fnd — классификация всех реализаций.

11.1 Феноменологическая интерпретация​

ФормальноеФеноменологическое
ρКак акт различения видим
α_𝖬Акт различает сам себя
Fix(𝖬)Устойчивые состояния сознания
Trace(𝖠)Развёртывание акта во времени
ZПредел всех развёртываний
𝓜_FndВсе возможные формы мышления

Это — мотивационные связи, не формальные выводы.

11.2 Физическая интерпретация (в α_uhm)​

ФормальноеФизическое (УГМ)
ρCPTP-канал реализации
α_𝖬Регенерационный оператор ℛ
Fix(𝖬)Термальное равновесие
Ω̄ρ* = φ(Γ) (T-96)
Trace(𝖠)Эволюция Lindblad ℒ_Ω
ZПредельное равновесие
𝓜_FndПространство физических теорий

12. Производные, специфичные для сборок​

В конкретных сборках (α_uhm, α_sm, α_cons) появляются дополнительные производные, специфичные для сборки:

12.1 В УГМ (α_uhm)​

  • Γ — 7D плотностная матрица (конкретный объект).
  • P, R, Φ — меры на Γ (производные).
  • σ_k — спектральные инварианты (производные).
  • V_hed — динамическая переменная (производная).

Все — производные от (α_uhm, ρ_uhm).

12.2 В α_sm​

  • Gauge-группы SU(3) × SU(2) × U(1).
  • Спинор-расслоения.
  • Хиггс-поле.

Все — производные специфической α_sm-конфигурации.

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

/02-canonical-primitive/04-core-theorems — центральные теоремы.