Структура метакатегории ⟪⟫

Статус

[О] — подробная характеризация структуры ⟪⟫.

Обзор раздела

Раздел 03-formal-architecture посвящён структурным свойствам канонического примитива. Эти свойства следуют из аксиом Axi-0..Axi-9 + T-α + T-2f*, но раскрывают специфическую архитектуру ⟪⟫.

Девять документов раздела соответствуют девяти структурным «уровням»:

1. Метакатегорная структура (этот документ).
2. ι-вложение: как End(⟪⟫) встраивается в ⟪⟫.
3. Когезия: Π ⊣ ♭ ⊣ ♯ ⊣ ι.
4. Фибрация: стандартная Гротендик-фибрация.
5. Gauge: автоэквивалентности.
6. Модальная интерпретация: 𝖬 как S4.
7. Двойственности: структурные симметрии.
8. Модельная теория: реализации в Cat и других.
9. Кардинальный анализ: размерные аспекты.

⟪⟫ как 2-категория

⟪⟫ — локально-малая 2-категория. Это означает:

• Ob(⟪⟫) — класс объектов (артикуляции).
• Для α, β: Hom(α, β) — малая категория.
• Объекты Hom(α, β) — 1-морфизмы; морфизмы между ними — 2-морфизмы.
• Горизонтальная + вертикальная композиции удовлетворяют когерентности.

Стандартная 2-категорная структура Bénabou / Келли / Power.

Формальные данные 2-категории

2-категория ⟪⟫ определяется:

• Ob(⟪⟫) — класс объектов.
• Для α, β ∈ Ob(⟪⟫) — категория Hom_⟪⟫(α, β) (малая).
• Идентитет: для каждого α — объект id_α ∈ Hom_⟪⟫(α, α).
• Композиция: функтор ∘: Hom(β, γ) × Hom(α, β) → Hom(α, γ).
• Когерентности: ассоциативность и единичность — до естественных 2-изоморфизмов.

Вертикальная и горизонтальная композиции

Вертикальная (в Hom(α, β)): композиция 2-морфизмов φ: f ⟹ g и ψ: g ⟹ h даёт ψ ∘ φ: f ⟹ h.

Горизонтальная (между Hom-категориями): композиция 2-морфизмов φ: f ⟹ f' в Hom(α, β) и ψ: g ⟹ g' в Hom(β, γ) даёт ψ * φ: g∘f ⟹ g'∘f'.

Закон обмена: вертикальная и горизонтальная композиции совместимы (interchange law).

Строгие vs нестрогие 2-категории

• Строгая 2-категория: ассоциативность и единичность — равенства (не изоморфизмы).
• Бикатегория: ассоциативность и единичность — когерентные 2-изоморфизмы.

⟪⟫ формально — бикатегория, но часто работаем как со строгой (через стрификацию). Разница в каноне — не принципиальна.

Внутренняя замкнутость

По Axi-1, ⟪⟫ имеет 2-полностью-верное вложение ι: End(⟪⟫) ↪ ⟪⟫.

Это означает: каждый эндо-2-функтор F: ⟪⟫ → ⟪⟫ имеет представителя ι(F) ∈ Ob(⟪⟫). Отождествления:

• 2-морфизмы End (естественные преобразования F ⟹ G) ↔ 2-морфизмы в ⟪⟫ между ι(F) и ι(G).
• Композиция End ↔ композиция в ⟪⟫.

Формальные требования

Вложение ι: End(⟪⟫) ↪ ⟪⟫ должно быть:

• 2-функтором: сохраняет 1- и 2-морфизмы.
• Полным: Hom_End(F, G) ↣ Hom_⟪⟫(ι(F), ι(G)) — сюръекция.
• Верным: это же отображение — инъекция.
• Эссенциально инъективным: различные F, G (не-изоморфные) имеют различных представителей.

Что не требуется

• Эквивалентность End(⟪⟫) ≃ ⟪⟫: мы не требуем сюръективности на объектах. Объекты ⟪⟫ включают больше, чем просто представители эндо-функторов.
• Adjoints: вложение ι не обязано иметь левого/правого adjoint (что было бы у эквивалентности).

Эти ослабления критичны: полная эквивалентность привела бы к парадоксам (по Ловер FP).

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

• Эндо-операции на ⟪⟫ доступны как объекты ⟪⟫.
• Можно говорить о «свойствах операций» как о свойствах их представителей.
• Но: не все объекты ⟪⟫ — представители операций; структура ⟪⟫ богаче.

Сравнение со стандартными 2-категориями

Структура	Аксиома	Отличие
Bicategory (Bénabou)	ассоциативность до изо	стандарт
Strict 2-category	строгая ассоциативность	частный случай
2-topos (Шульман)	subobject классификатор + exponentials	более сильная
⟪⟫ (Diakrisis)	ι-вложение End → ⟪⟫	специфическая форма замкнутости

Расширенное сравнение

Свойство	Cat	2-топос Шульмана	∞-топос Люри	⟪⟫ Diakrisis
Объекты	категории	категории + логика	∞-группоиды	артикуляции
1-морфизмы	функторы	функторы	∞-функторы	артикуляционные переходы
2-морфизмы	нат. преобр.	нат. преобр.	2-cells	2-морфизмы
Внутренний хом	есть	есть	есть	есть (через ι)
Subobject классификатор	—	✓	✓	—
Exponentials	~	✓	✓	через ι
Самовложение End	—	—	—	✓ (Axi-1)
Gauge-симметрия	—	—	—	✓
Cohesion	—	есть в cohesive toposes	—	✓

⟪⟫ — не специальный случай ни одного из этих; это специфическая конфигурация.

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

• ⟪⟫ — стандартная 2-категория (Bénabou).
• ⟪⟫ с внутренней замкнутостью — близка к 2-топосу Шульмана, но не эквивалентна.
• Различие с 2-топосом: нет требования subobject классификатор или exponentials.

Дополнительные редукции

• Cat-enrichment: ⟪⟫ обогащена над Cat (Hom-множества — малые категории) — стандартно.
• Locally presentable: в Cat-модели ⟪⟫ — locally presentable; это условие Адамек-Росицкий.
• Accessibility 𝖬: стандартный accessibility condition (Axi-4).

Ни одна отдельная редукция не исчерпывает ⟪⟫; комбинация специфических требований (Axi-1 + Axi-4 + T-2f* + cohesion) — специфичная для Diakrisis.

Размерные вопросы

По /03-formal-architecture/08-cardinal-analysis:

• Ob(⟪⟫) может быть собственный класс (размер NBG).
• Для Trace(𝖠) с α_0 и ω-many итерациями — счётный подкласс.
• Для полного Trace(𝖠) через все ординалы — собственный класс.

Уточнение размеров

Объект	Размер
Ob(⟪⟫)	собственный класс (NBG)
Hom_⟪⟫(α, β)	малая категория
End(⟪⟫)	собственный класс (но см. ι)
ι(End(⟪⟫))	подкласс Ob(⟪⟫)
Trace(𝖠) (ω-шагов)	счётный
Trace(𝖠) (трансфинитно)	собственный класс
Fix(𝖬)	в общем случае — подкласс
𝓜_Fnd	собственный класс (но см. gauge)

Консистентность размеров

Требуется дополнительная аксиома (два инаксессибальных кардинала) в метатеории для строгой консистентности. Это — стандартная цена за работу с классифицирующими пространствами.

Локальные структурные свойства

Локальная малость

∀α, β ∈ Ob(⟪⟫): Hom(α, β) — малая категория. Это — Axi-1 в части локальной малости.

Значение: позволяет применять стандартную теорию категорий к каждому Hom-множеству.

2-функториальность операций

Все операции на ⟪⟫ — 2-функторы (сохраняют и 1-, и 2-морфизмы). Это включает:

• 𝖬: ⟪⟫ → ⟪⟫.
• ι: End(⟪⟫) → ⟪⟫.
• ρ: ⟪⟫ → End(⟪⟫).
• автоэквивалентности (gauge G).

Когерентность

Все диаграммы, возникающие при композициях, — коммутируют до когерентных 2-изоморфизмов (стандартные условия MacLane когерентность).

Глобальные структурные свойства

Когезия Π ⊣ ♭ ⊣ ♯ ⊣ ι

Детальное обсуждение — /03-formal-architecture/02-cohesion. Краткая идея:

• Π: «фундаментальная группа» — дискретизация артикуляций.
• ♭: «плоский» функтор — дискретные артикуляции.
• ♯: «острый» функтор — codiscrete артикуляции.
• ι: включение дискретных в ⟪⟫.

Четыре-адъюнкция — структура Шрайбера.

Фибрация

⟪⟫ естественно проецируется на базу (вторая категория) с фибрациями. Детально — /03-formal-architecture/03-fibration.

Gauge-действие

Автоэквивалентности ⟪⟫ образуют 2-группу G. Действие G на Trace(𝖠) даёт классифицирующее пространство 𝓜_Fnd.

Особенности ⟪⟫ в сравнении с традиционными структурами

Самореферентность

Через ι, ⟪⟫ «содержит» свои эндо-операции. Это — уникальная черта среди 2-категорий; ни в одной из стандартных структур (Bicategory, 2-топос, ∞-топос) нет канонического 2-fully-faithful вложения End в базу.

Когерентность с 𝖬

𝖬 ∈ End(⟪⟫), значит ι(𝖬) = α_𝖬 ∈ ⟪⟫. Это делает ⟪⟫ самоописывающей: операция метаизации имеет представителя в самой категории.

Ограничение через T-2f*

Самовложение ι не приводит к парадоксам (по 10.T2, 18.T), благодаря T-2f* — стратификации по глубине.

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

/03-formal-architecture/01-iota-embedding — строгая конструкция ι.