AK
Тогда дайте подумать, откуда вообще начать.
Size: a a a
2017 November 21
NK
Мы тут наоборот страдаем от того что все пишут либо херь, либо понятное :)
AK
Вот я когда-то писал пост про группы и алгебры хопфа в ЖЖ: https://akuklev.livejournal.com/1202463.html
TN
т.е. уровень входа Хопф, ну ок.
AK
Стартовая точка именно такова. Есть классические алгебраические структуры, они исходят из того, что объекты, которыми там манипулируют, свободно подлежат клонированию.
AK
У этих структур есть клёвые обобщения на случай, когда сопроизведение dup : T -> T^2 нетривиальная операция.
AK
Переход от групп к алгебрам Хопфа тут самый красивый пример.
AK
Потому что мы берём аксиомы группы, к каждой из них пишем двойственную, и получаем структурку невероятной красоты и полезности.
AK
Структурку, которая тут же вырождается в исходную, если её интерпретировать в моноидальной категории, где в качестве произведения выбрано произведение с диагональю (dup : T -> T^2, которое коассоциативно и кокоммутативно), т.к. обычное декартово произведение.
TN
И тут про Конна. Точно, линейная логика — это квантовые системы, SMC.
AK
Угу. А что такое SMC?
TN
симм. моноидальные категории
AK
А. Угу.
TN
Этим Ниваныч увлекался, я помню от него.
AK
Только на _самом_ деле не моноидальные категории, а высшие их аналоги.
TN
инфинити-категории
AK
Угу.
AK
Так, вы меня подождёте минут 20? Надо дочь спать уложить.
TN
Меня самого заставляют спать, так как завтра ответственный момент, фотосессия "с животом".
TN
Думаю ты можешь писать, мы с наслаждением прочитаем каждую строчку, оставляю с тобой Фарида, он направит тебя в нужное русло :-)