![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Jan. 3rd, 2017
увяз в монадической силе
Jan. 3rd, 2017 04:00 pmТеперь вот жду, когда выдадут
благо у меня доступ есть.
Короче, довольно слабые условия имеются для существования канонической монадической силы. Кок вывел, еще в 72-м году.
Так что все непросто, блин.
| Arch. Math.: Strong functors and monoidal monads | Anders Kock |
Короче, довольно слабые условия имеются для существования канонической монадической силы. Кок вывел, еще в 72-м году.
Так что все непросто, блин.