Давайте поговорим про котиков и анонов. Вы же знаете что такое кошачьи кубиты ? Это специфический тип квантовых битов (вы же изучали мой гайд по языку квантового программирования Q# ? ), которые могут находиться в суперпозиции двух макроскопических состояний и обладают особо высокой надёжностью и устойчивостью к ошибкам.

Я с ними познакомился, когда делал гайды по гомотопической теории типов, и (не)случайно попутно встретился с K-теорией (это отдельная история). Разбирался как доказывать корректность алгоритмов на типизированных функциональных языках, и натолкнулся на cohesive Homotopy Type Theory -- расширение HoTT дополнительными операторами (flat , sharp , shape), которые позволяют формализовать понятия пространственного и временного контекста (надо будет кстати со временем и когезионщину в гайды добавить). Отсюда узнал, что топологические инварианты могут формализовать кубиты через абстрактные типы, описывающие пространственные взаимодействия.

И вот тут добрался до неабелевых анонов :)

Очень прикольно: non-Abelian anyons (энионы) -- это особый тип частиц, которые существуют в двумерных системах (в переплетениях мировых линий :) и имеют необычные свойства: в отличие от фермионов и бозонов, они не подчиняются простому правилу коммутации при перестановке местами -- их порядок имеет значение! (потому и неабелевы)
Последовательность, в которой частицы меняются местами, влияет на их общую фазу.

Короче говоря, эти аноны -- как топологические инварианты -- позволяют кодировать кубиты именно в топологических свойствах системы! И на базе HoTT вполне можно запилить инструменты для абстрактного моделирования таких систем (через многомерные типы и гомотопии), что существенно упростит проектирование особо устойчивых квантовых алгоритмов, а в перспективе даст возможность формальной верификации топологических квантовых программ, что особенно важно при работе именно с такими квантовыми сущностями, как кошачьи кубиты, которые требуют особых подходов.

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