是否有一个monad的术语也是comonad？

Question

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

Answer 1

据我所知，没有术语来定义它，因为 monad-comonad 不会强制执行任何操作：您始终可以执行 areturn进入或 anextract退出。

由于类型是用来强制执行某些约束的，因此过于宽松的约束将没有任何用处。由于没有人会使用它（除了身份），因此可能没有人费心去命名它。