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

Fibration-структура ⟪⟫

Статус​

[Т] — фибрационная структура через 11.T1-T2 + Гротендик construction (standard).

Обзор​

Fibration-структура ⟪⟫ — способ представить ⟪⟫ как базу расслоения, где над каждой артикуляцией α «висит» волокно — эндо-операции, относящиеся к α.

Это — стандартная техника Гротендик-фибраций, применённая к Diakrisis-контексту.

Зачем нужна fibration-структура​

  • Локализация: изучать свойства α через её волокно.
  • Функториальность: передвижение между волокнами через функтор fibration.
  • Gauge-действие: gauge-группа действует на волокнах (см. следующий документ).
  • Связь со стандартной категорной теорией: fibration — хорошо изученная конструкция.

Теорема​

Теорема 06.T1:

Существует 2-fibration:

p:Op(⟦⋅⟧)→⟦⋅⟧,p: \mathbf{Op}(\llbracket\cdot\rrbracket) \to \llbracket\cdot\rrbracket,

где Op(⟪⟫) — 2-категория пар (α, F) с α ∈ Ob(⟪⟫), F ∈ End(⟪⟫).

Детализация Op(⟪⟫)​

  • Объекты Op(⟪⟫): пары (α, F), где α ∈ Ob(⟪⟫), F ∈ End(⟪⟫).
  • 1-морфизмы (α, F) → (β, G): пары (f: α → β, η: F ⟹ G), где η — natural transformation.
  • 2-морфизмы: согласованные 2-морфизмы в обоих компонентах.
  • Композиция: покомпонентная.

Проекция p​

Функтор p: Op(⟪⟫) → ⟪⟫:

  • На объектах: (α, F) ↦ α.
  • На 1-морфизмах: (f, η) ↦ f.
  • На 2-морфизмах: (φ, χ) ↦ φ.

Волокна​

Для α ∈ Ob(⟪⟫), волокно над α: p−1(α)={(α,F):F∈End(⟦⋅⟧)}≅End(⟦⋅⟧).p^{-1}(\alpha) = \{(\alpha, F) : F \in \mathrm{End}(\llbracket\cdot\rrbracket)\} \cong \mathrm{End}(\llbracket\cdot\rrbracket).

Т.е. волокно — сама 2-категория End(⟪⟫). Это — тривиальное волокно, не зависящее от α.

Но: при переносе между волокнами (через функтор) возникают нетривиальные связи.

Свойства​

  • cloven — канонический лифтинг.
  • split — согласован с композицией.
  • По Гротендик: эквивалентен indexed 2-category I: ⟪⟫^op → 2-Cat.

Cloven fibration​

Cloven: для каждого f: α → β и F ∈ End(⟪⟫), есть канонический лифтинг f^*: (α, F) → (β, F'), где F' = transport of F along f.

Это — выбор «каноничного способа» переносить эндо-операции между волокнами.

Split fibration​

Split: cloven lifts согласованы с композицией — (g ∘ f)^* = f^* ∘ g^*.

Это — дополнительное условие совместимости. Не все fibrations split; у нас — да.

Indexed 2-category​

По Гротендик-Gabriel конструкции, cloven split fibration ⟺ indexed category: I: ⟪⟫^op → 2-Cat.

В нашем случае: I(α) = End(⟪⟫) (тривиально на объектах), I(f: α → β) = transport functor.

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

  • Каждая α ∈ ⟪⟫ имеет «волокно» — эндо-операции на α.
  • ρ — глобальное сечение этой fibration (06.C4).
  • В физ-терминах: fibration = расслоение gauge-bundle.

Детализация: ρ как глобальное сечение​

ρ: α ↦ ρ(α) ∈ End(⟪⟫) — может быть понят как:

  • Сечение: для каждого α ∈ ⟪⟫, выбор элемента волокна p^{-1}(α).
  • Глобальное: определено для всех α.
  • 2-функториально: сохраняет 1- и 2-морфизмы.

Это — ключевое свойство ρ: она когерентно выбирает элементы волокон.

Физическая аналогия​

В gauge-теории:

  • Base space — пространство-время.
  • Fiber bundle — расслоение, над каждой точкой — gauge-группа.
  • Section — gauge-конфигурация.
  • Horizontal lift — transport вдоль пути.

В Diakrisis:

  • Base — ⟪⟫.
  • Bundle — Op(⟪⟫).
  • Section ρ — реализация артикуляций.
  • Horizontal lift — cloven split structure.

Аналогия не случайна: наш gauge-действие (следующий документ) работает именно как gauge в физике.

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

  • Стандартная Гротендик-fibration (2-категорный вариант).
  • Принципиальное расслоение в gauge-теоретическом смысле.

Источники​

  • Гротендик (1960-1971): SGA 1, 4, 6 — теория фибраций.
  • Street (1980s): 2-fibrations — 2-категорный вариант.
  • Bénabou: conceptualization in bicategories.
  • Hermida-Джейкобс: fibrations for categorical logic.

Вся теория — стандартна. Применение к Diakrisis — специфическое.

Альтернативные формализации​

  • Street fibration (1980): слабое понятие, для бикатегорий.
  • 2-fibration (Hermida 1999): более сильное, cloven split.
  • Cartesian fibration (Люри HTT): (∞,1)-обобщение.

Мы используем 2-fibration (Hermida-style) — адекватно для 2-категорий и согласовано с cohesion.

Связь с gauge​

Gauge-группа 𝐆_gauge действует на волокнах fibration. См. /03-formal-architecture/04-gauge.

Предварительное описание​

  • gauge-группа G: 2-группа автоэквивалентностей ⟪⟫.
  • Действие на волокне: для g ∈ G, g действует на End(⟪⟫) через сопряжение.
  • Совместимость: cloven split fibration совместима с gauge-действием.

Детали — в следующем документе.

Связь с другими элементами Diakrisis​

С когезией​

Fibration и когезия (прошлый документ) — взаимодополнительные:

  • Когезия: классификация артикуляций по режиму (дискретный/непрерывный).
  • Fibration: классификация эндо-операций по их базе (артикуляции).

Вместе они дают полную картину структуры ⟪⟫.

С ι-вложением​

ι: End(⟪⟫) → ⟪⟫ — компонент самого волокна, отражающий структуру.

  • Для каждой эндо-операции F ∈ End(⟪⟫) есть α_F = ι(F) ∈ ⟪⟫.
  • В fibration: над α_F есть волокно, содержащее саму F (как элемент End(⟪⟫)).

Это — самореферентное свойство: объект базы (α_F) связан с элементом волокна над ним.

С 𝖬​

𝖬 ∈ End(⟪⟫) имеет представителя α_𝖬 = ι(𝖬). В fibration:

  • Над α_𝖬 есть волокно End(⟪⟫), содержащее саму 𝖬.
  • Horizontal lift 𝖬 вдоль пути в базе — переносит 𝖬 между артикуляциями.
  • Это — основа для анализа 𝖬-итераций.

Технические аспекты​

Проверка 2-fibration условий​

  • Cartesian lifts существуют: для f: α → β и F ∈ End(⟪⟫) над β, cartesian lift — (α, F ∘ f^*) → (β, F).
  • Unique up to iso: cartesian lifts единственны с точностью до 2-изоморфизма.
  • Composition of cartesian = cartesian: стандартное свойство.

Monoidal структура​

Op(⟪⟫) наследует monoidal структуру от End(⟪⟫):

  • (α, F) ⊗ (α, G) := (α, F ∘ G).
  • Обычно cartesian при подходящих условиях.

Это — дополнительная структура, используемая в некоторых теоремах (например, для интерпретации композиции).

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

/03-formal-architecture/04-gauge.