Структура — это смысл / Теория категорий

Когда две вещи одинаковы?

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

Заметьте, что этот ответ игнорирует: из чего сделаны объекты. Изоморфизм слеп к субстанции и чувствителен только к структуре. Две вещи, построенные из совершенно разных материалов, совершенно разными историями, одинаковы, если они относятся идентично. Одинаковость — факт о паттерне, никогда о материале.

Независимость от субстрата

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

Самый ясный случай — информация. Текст книги — структура: паттерн отношений между символами. Он полностью собой, напечатан ли чернилами, сохранён как магнитные домены, произнесён вслух или удержан в памяти. Ни один из этих субстратов — не «настоящая» книга; книга — паттерн, который все они разделяют, изоморфизм между ними. Чернила — не смысл. Смысл — структура, которую чернила случайно несут.

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

Эхо выстраиваются в линию

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

Вот почему одна интуиция могла переноситься через деньги, медицину и войну. Интуиция была структурой, и структуры безразличны к субстрату. Дело никогда не было в материале. Дело было в форме, а форма по природе переносима.

Ошеломляющее следствие

Если смысл структурен и независим от субстрата, то всё, что может быть захвачено как паттерн отношений, может быть перемещено, скопировано и ре-реализовано где-то ещё — без потерь, потому что никогда не было существенного «где-то ещё», к которому оно было привязано. Ум, в той мере, в какой он структура, в принципе паттерн, который мог бы работать на другом материале. Отличительный способ быть человека, в той мере, в какой он реляционен, в принципе представим, переносим, подделываем.

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