Как объединить комонаду и монаду в комонаду? - PullRequest
Новая
       31

Как объединить комонаду и монаду в комонаду?

1 голос
/ 01 декабря 2019

Предположим, у меня есть

  • комонада D
  • монада T
  • дистрибутивный закон l : D T -> T D комонады D сверхмонада T.

Как определить комонаду D T?

...