Функтор как перевод / Теория категорий

Отображение между мирами

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

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

Аналогия, сделанная точной

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

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

Каждая модель — функтор. Она отображает messy домен на tractable и достойна доверия только постольку, поскольку сохраняет отношения, которые имеют значение. Модель, которая сохраняет объекты, но роняет стрелки, — список, а не понимание.

Чем было это исследование

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

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

Перевод к настоящему

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

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