?

Log in

No account? Create an account
Previous Entry Share Next Entry
Klesli + List 2
eye
voidex
В прошлой записи мне дали ценные подсказки. Во-первых, проблема в том, что sequence не удовлетворяет требованиям и потому монадический трансформер из списка так просто не получить. Во-вторых, был задан более общий вопрос: переносится ли эндофунктор над Set в эндофунктор над Клейсли-категорией.
Посоставляв диаграммы (которых я тут не приведу), я пришёл к выводу, что да, если коммутирует левая-верхняя диаграмма оттуда же (остальные мне не пригодились), что для списка наверняка не верно (хотя я не проверил).
Т.е. если можно получить монаду над ST, используя натуральное преобразование TS -> ST, то можно и эндофунктор T перенести на категорию Клейсли (с монадой S). Однако данные требования избыточны, так как мы не комбинируем монады, а переносим эндофунктор.
Есть для этого какое-то название и не налажал ли я, не знаю.


  • 1
TS → ST в смысле?

А будет ли T функтором в клейсли над S, вопрос хороший, но ведь лучше если автор сам проверит, а не читатели будут заморачиваться? :)

Да, опечатался, спасибо.

> А будет ли T функтором в клейсли над S, вопрос хороший, но ведь лучше если автор сам проверит, а не читатели будут заморачиваться? :)

Так вы знали, но молчали? :)

  • 1