где G_{\mu\nu} — тензор прав, T_{\mu\nu} — тензор человеческих действий. --- 116. Права как монадические bind-операторы в computational trinitarianism Computational trinitarianism — единство логики, теории типов и категорий. Права — монады: · Maybe Right — право может быть реализовано или нет. · List Right — право может быть реализовано многократно. · State Right — право зависит от состояния системы. 3L BFI — монадический трансформер, который поднимает Maybe в State. --- 117. Права как фазовые переходы Лифшица в металле истории Переход Лифшица — изменение топологии поверхности Ферми. История — металл, права — поверхность Ферми, критические точки — революции...