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

Question

我只是想知道对于monad和comonad这两个问题是否有一个简洁的术语。我做了一些搜索，我知道these structures exist，但我没有为他们找到名字。

Answer 1

这种生物在某些条件下，有时被称为“Hopf monad”。或者＆＃34; Bimonad＆＃34; （http://ncatlab.org/nlab/show/Hopf+monad）。

然而，这也需要履行一些关于分配属性的公理，而且我还没有看到它以任何特定方式出现在编程环境中。

Answer 2

据我所知，没有任何术语来定义它，因为monad-comonad不执行任何操作：你总是可以return进入或extract离开。< / p>

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