我只是想知道是否有一个简洁的术语,既有monad又有comonad.我做了一些搜索,我知道这些结构存在,但我还没有找到它们的名字.
ocaml haskell category-theory
category-theory ×1
haskell ×1
ocaml ×1