Oℕ
ну или не mu а что там epsilon
ну да, я это и имел в виду
там же есть 1 -> GF, поэтому имея F1 получем F GF, а потом GF -> 1, получем F1, что F
хм, ну F.nu тоже самое получается, да
Size: a a a
2018 February 23
к
Oℕ
типа F = F1 = F GF = FG F = 1F = F
не думаю, что правомерно равенства ставить
Oℕ
но стрелка туда-обратно обычно означает commutes, т.е. получив обратно F мы должны получить тот же самый F, чтобы это не значило в исходных категориях
NI
натуральные трансформации же
Всё же, по-русски, их принято называть "естественные".
Однако, "natural" числа таки принято "натуральные" ;-)
Однако, "natural" числа таки принято "натуральные" ;-)
ЗП
забыл подкинуть голема
AG
> distributive laws are monads in a category of monads
yo dawg
yo dawg
ЗП
NI
пожалуй запощу сюда)
https://www.youtube.com/channel/UCOSK7BOX_onFvQiyj6Z_WrQ/playlists
https://www.youtube.com/channel/UCOSK7BOX_onFvQiyj6Z_WrQ/playlists
Не то, чтоб это очень страшно, но не могли бы вы оттуда какие-то ссылки "про категории" вытащить?
ЗП
так теория групп и топология
ЗП
это же перекрестно
NI
Гыы. Ну ладно, пусть будет так.
ЗП
Гыы. Ну ладно, пусть будет так.
а про сопряжение для списка, это free и forgetful?
NI
Большинство сопряжений можно так характеризовать — Free/Forgetfull.
ЗП
ну для списка
Mon -> Set
Set -> Mon
Mon -> Set
Set -> Mon
ЗП
Free Monoid - список
NI
Я вроде ж уже пояснил, что надо посмотреть за категории Клейсли и Эйленберга-Муура.
Это два классических способа получить пары сопряжённых функторов.
Это два классических способа получить пары сопряжённых функторов.
ЗП
Я вроде ж уже пояснил, что надо посмотреть за категории Клейсли и Эйленберга-Муура.
Это два классических способа получить пары сопряжённых функторов.
Это два классических способа получить пары сопряжённых функторов.
с клейсли понятно а вот со вторым