AG
третируете иваныча я смотрю
Size: a a a
2018 February 23
AG
вот он обидится и уйдет от вас!
NI
Да що ж ты такое гоовришь-то...
Моя проблема ровно в том, что я хочу помочь, но не понимаю, как именно я это могу сделать.
Моя проблема ровно в том, что я хочу помочь, но не понимаю, как именно я это могу сделать.
ЗП
С Клейсли понятно, откуда (и куда) там получаются сопряжённые функторы?
не особо
Oℕ
третируете иваныча я смотрю
в то время, как его следовало бы n-тировать
NI
не особо
Ну так давай "есть слона по частям", а именно, разбираться с каким-то из способов.
Например, с Клейсли. Ну илимож Эйленберга-Мура больше нравится.
Например, с Клейсли. Ну илимож Эйленберга-Мура больше нравится.
NI
Ну или отложить этот вопрос.
Который был про "как из монады получить пару сопряжённых функторов".
Который был про "как из монады получить пару сопряжённых функторов".
ЗП
Ну так давай "есть слона по частям", а именно, разбираться с каким-то из способов.
Например, с Клейсли. Ну илимож Эйленберга-Мура больше нравится.
Например, с Клейсли. Ну илимож Эйленберга-Мура больше нравится.
давай от К к ЭМ
NI
давай от К к ЭМ
Т.е., давай обсуждать категорию ЭМ и соответственно эти способы получения пары сопряжённых функторов?
ЗП
Т.е., давай обсуждать категорию ЭМ и соответственно эти способы получения пары сопряжённых функторов?
ок
NI
Нувот чотта щас осознал, что таки надо понять, что такое — алгебра для монады...
Но так-то, если понять это в такой общности, то это почти то же самое, что модуль в общем понимании ;-)
Но так-то, если понять это в такой общности, то это почти то же самое, что модуль в общем понимании ;-)
NI
Да-да, вот тот самый модуль над кольцом, это частный случай того же понятия, небольшим частным случаем (близко к общему) которого является "модуль для монады" или "алгебра для монады", так их называют.
NI
А понятие именно алгебры для монады очень богатое, очень.
Это прям квинтэссенция алгебраического взгляда "на жизнь".
Это прям квинтэссенция алгебраического взгляда "на жизнь".
NI
Ну то есть, например, алгебрами для монады можно выразить хаусдорфовы топологичесикие пространства.
ЗП
Ну то есть, например, алгебрами для монады можно выразить хаусдорфовы топологичесикие пространства.
аглебра для монады?
I -> T
T * T -> T
I -> T
T * T -> T
ЗП
2 естественных преобразования?
ЗП
второе тензорное произведение (Compose)
ЗП
А понятие именно алгебры для монады очень богатое, очень.
Это прям квинтэссенция алгебраического взгляда "на жизнь".
Это прям квинтэссенция алгебраического взгляда "на жизнь".
насколько?)
NI
Во-первых, алгебра для монады T, это обязательно T-алгебра.
Во-вторых, она должна удовлетворять определённым равенствам...
Во-вторых, она должна удовлетворять определённым равенствам...
