Пределы и копределы: универсальные конструкции

Каждый раз, когда программист пишет JOIN в SQL, Left/Right в Haskell, или пересечение схем в алгебраической геометрии - это работа с пределами и копределами. Это не случайное совпадение: реляционная алгебра - категорная теория, а SQL-оптимизатор работает с изоморфизмами пределов. Понимание универсальных конструкций позволяет видеть единую структуру за разными математическими объектами.

• SQL JOIN = pullback в категории Relations; оптимизация запросов = изоморфизмы диаграмм
• Типы суммы (Either/union types) = копроизведения; типы произведения (tuples/records) = произведения
• Пересечение схем в алгебраической геометрии = fibred product (pullback)

Предварительные знания

• ∞-Categories: Morphisms Between Morphisms

Пределы: конус над диаграммой

Произведение 2 множеств, ядро гомоморфизма, обратный предел p-адических чисел Z_p = lim Z/pⁿZ - все 3 примера одной и той же конструкции. **Предел** диаграммы D: J → C - это «оптимальный» способ собрать все объекты диаграммы в один. Формально: **конус** над D с вершиной N - семейство морфизмов ψ_j: N → D(j), совместимых с морфизмами диаграммы. Предел = **терминальный конус**: из любого другого конуса существует единственный морфизм в предел.

**Пределы как решения уравнений:** Pullback A ×_C B - «фиброе произведение» - это решение системы уравнений f(a) = c, g(b) = c. В алгебраической геометрии pullback кодирует пересечение многообразий. В теории типов pullback - семантика зависимых типов. В программировании - inner join в базах данных.

Произведение, уравнитель, pullback

Три важнейших примера пределов: **произведение** (предел дискретной диаграммы), **уравнитель** (предел пары параллельных стрелок), **pullback** (предел диаграммы A → C ← B). Каждый - специализация общего определения. Из произведений и уравнителей можно построить любой предел.

**Пределы в теории баз данных:** Таблица в реляционной базе данных - объект категории Schema. JOIN - pullback. SELECT с WHERE - уравнитель. CROSS JOIN - произведение. Вся реляционная алгебра - это пределы в категории Relations. Это объясняет, почему SQL-запросы можно оптимизировать: эквивалентные запросы - изоморфные диаграммы.

Копределы: двойственность

**Копредел** - предел в двойственной категории C^op: ин и циальный ко-конус. Копроизведение A ⊔ B (сумма), кокоуравнитель, pushout - двойственны произведению, уравнителю, pullback. В Set: копроизведение = дизъюнктное объединение, кокоуравнитель = фактор-множество, pushout = склейка.

**Pushout в топологии и геометрии:** Pushout - алгебраическое описание склейки пространств. Формула Майера - Вьеториса в гомологиях - следствие того, что гомологии сохраняют pushout-ы (при выполнении условий Экссизии). В производной алгебраической геометрии pushout-ы определяют пересечения схем и стеков.

Ключевые идеи

• Предел = терминальный конус; копредел = инициальный коконус (двойственность)
• Произведение, уравнитель, pullback - три базовых вида пределов; любой конечный предел = их комбинация
• В Set: ×=пара, Eq=фильтр, pullback=inner join; +⊔=Either, Coeq=фактор, pushout=склейка
• RAPL/LAPC: правые сопряжённые сохраняют пределы, левые - копределы

Связанные темы

Пределы - фундаментальная конструкция, пронизывающая всю теорию категорий.

• Сопряжённые функторы — Правые сопряжённые сохраняют пределы (RAPL); левые - копределы (LAPC)
• Монады — Монадичные категории создаются уравнителями; теорема Бека использует расщепляемые копределы
• Теория категорий и типы — Пределы типов = типы-произведения; копределы = типы-суммы; pullback = зависимые типы

Вопросы для размышления

• Покажите, что pullback A ×_C B можно построить из произведения A×B и уравнителя. Что уравнивается?
• Почему LEFT JOIN в SQL не является пределом в том же смысле, что INNER JOIN? Какую категорную конструкцию он кодирует?
• Что такое «предел бесконечной диаграммы»? Приведите пример из анализа (например, пополнение метрического пространства) в терминах пределов в подходящей категории.

Связанные уроки

• ml-07
• aa-12-modules