Приятно, когда дело твоё живёт. https://fanfics.me/message421002
Не упоминается запутанность и гиперболическая структура на самом графе (СТО/ОТО).
Первое можно трактовать как то, что причинный граф - проекция более обширного графа.
Ну да, проекцию можно трактовать как интерпретацию. Напоминает всякие f-algebras (и свободные монады в частности: это как запараметризовать тип эффектов каким-нибудь IORandom'ом)
Гиперболичность метрики наверно можно трактовать как три варианта взаимоотношений: причина, следствие, независимость. По крайней мере на данный момент я так понимаю фразу из английской википедии, что гиперболичность - следствие каузальной структуры.
Ещё Матемаг не даёт ссылки на источник, который я приводил и объяснял своими словами и картинками. Перечитав, что я там в обсуждении про дополнение к причинности и случайности писал, с удивлением увидел, что про похожесть на continuations (а они, кстати, связаны с фри монадами) я наинтуичил правильно. Воодушевляет.

Напрягает желание Торговца натянуть волю на причинные петли, это слишком в духе Пенроуза, но этот путь хотя бы понятен - в природе принципиальная невычислимость (квантовой) машиной тьюринга больше нигде, вроде бы, на физическом уровне и не встречается. Быть свободе воле детерминированной но хотя бы невычислимой - уже хлеб. Хотя как сказать о такой свободе воли что-либо интересное я сходу не представляю. Тут очень в тему будет и интуиционистская логика с выбрасыванием исключённого третьего.
Другое дело, что это лишь один из возможных подходов, причём не всегда на практике удобный: как вам (доroгие читатели) такое свойство конструктивной математики как невозможность доказать, что все подмножества конечного множества конечны?.. Для заинтересовавшихся.
А куда приткнуть паранепротиворечивую логику - ума не приложу. (не все постулаты выкидывать одинаково полезно, видимо: выкинуть пятый из геометрии оказалось продуктивнее, чем выкинуть другие (но я и не дока в матлогике, особенно модальной, может чего просто не знаю))
Проблема разве что в том, что похоже, что причинные петли логически позволяют вообще что угодно, любое чудо (поэтому я сомневаюсь в разумности построения супердетерминистичных квантовых интерпретаций на основе контрпричинности: это из пушки по воробьям). Доказать я этого пока не могу, но есть такое ощущение по результатам многочисленных разговоров. С другой стороны, мне не известно готовой "причинно-петлевой" интерпретации КМ, только такие же смутные мысли. Но направление мысли есть, и соблазн увязать всё это вполне понятен, в конце-концов, Пенроуза, надеюсь, все читали?

//P.S. На этот раз все ссылки на английском. Страдайте.
//P.P.S. Сорян за непричёсанность стиля изложения.