Объекты и стрелки / Теория категорий

Основополагающее ограничение

Большинство способов понять вещь начинают с того, что её раскрывают: из чего она сделана, что внутри? Теория категорий начинает с запрета этого вопроса. Она говорит: вы не можете заглядывать внутрь объекта. Вы можете видеть только стрелки — сохраняющие структуру способы, которыми один объект отображается на другой. Что бы вы ни хотели узнать, вы должны реконструировать это только из паттерна стрелок.

Это звучит как калечащий недостаток. Оказывается, это суперсила. Отказываясь заглядывать внутрь, теория категорий захватывает именно то, что общее у радикально разных вещей — потому что внутренности — это то, что различается, а стрелки — то, что они разделяют.

Что такое категория

Механика почти оскорбительно проста. Категория — это просто два вида вещей и одно правило:

Объекты — точки, чью внутреннюю природу мы соглашаемся игнорировать.
Стрелки (или морфизмы) — связи от одного объекта к другому, отношения, которые уважают какую бы структуру ни была в игре.
Композиция — правило, по которому стрелки сцепляются: если есть стрелка от A к B и от B к C, есть составная стрелка прямо от A к C.

Добавьте два хозяйственных условия — у каждого объекта есть стрелка идентичности к самому себе, и композиция не заботится, как вы её группируете, — и это всё определение. Всё остальное в этом обширном предмете построено из точек, стрелок и факта, что стрелки компонуются.

Почему композиция — сердце

Тихая звезда здесь — композиция. Это формальное утверждение, что отношения сцепляются — что связи комбинируются в дальнейшие связи предсказуемо. Маршрут от дома до станции и от станции до работы компонуются в маршрут от дома до работы. Функция, питающая другую функцию, компонуется в единую функцию. Причина, ведущая к эффекту, ведущему к эффекту, компонуется в причина-к-конечному-эффекту.

Композиция — то, что делает коллекцию стрелок структурой, а не кучей несвязанных звеньев. Это правило, позволяющее локальным отношениям строиться в глобальные, и причина, по которой категория может описывать всё, что имеет части, соединённые способами, которые комбинируются.

Категория — минимальная математика «вещей, соединённых отношениями, которые сцепляются». Почти всё есть это, поэтому теория категорий — почти обо всём.

Точка, определённая своими стрелками

Самое странное и важное следствие основополагающего ограничения — что происходит с объектами. Запрещённые заглядывать внутрь, вы приходите к тому, чтобы знать каждую точку целиком по её стрелкам — что отображается в неё, на что она отображается, как они компонуются. Объект перестаёт быть вещью с содержимым и становится позицией в сети отношений.

Это не потеря информации. Это открытие, что для всего, что имеет структурное значение, сеть отношений и была информацией. «Внутренность», в которую вам запретили заглядывать, оказывается не относящейся ни к одному структурному вопросу — и ставка теории категорий в том, что структурные вопросы — глубокие.

Почему начинать тему здесь

Мы пришли сюда не произвольно. Предыдущая тема закончилась замечанием, что переносимая часть принятия решений была структурой — отношениями между опциями, лишёнными объектов. Теория категорий — то, что вы получаете, когда берёте это замечание и делаете его основанием всего: математику, чьё примитивное понятие — стрелка, отношение, а объекты — просто конечные точки.

Это самый абстрактный предмет математики именно потому, что он отбросил больше всего: он сохранил только отношение и композицию и отбросил всё остальное. Следующие эссе следуют за тем, что раскрывает эта радикальная вычитка — прежде всего, что объект действительно есть не что иное, как его отношения, утверждение с последствиями далеко за пределами математики.