scala - MonoidK 和 Monad 关系

Question

我正在尝试理解众所周知的短语 A monad is just a monoid in the category of endofunctors并将一些范畴论概念映射到 cats图书馆。

有一个MonoidK cats 中的类型类它在 combineK 上是多态的方法。因此，如果我们使用仿函数对其进行参数化，则该类型类的一个实例看起来像内仿函数类别中的幺半群。
MonoidK有什么区别和 Monad在范畴论方面，如果我们假设我们可以参数化 MonoidK仅由仿函数？

Answer 1

幺半群有两个概念:monoid在代数和 monoid在范畴论中。后者是前者更抽象的版本。前者可以被认为是后者的非常具体的部分情况。我们称它们为幺半群(1)和幺半群(2)。
MonoidK为更高级的幺半群 (1) F[_] .你知道如何“相乘”两个 F[A] 类型的元素和类型为 F[A] 的“单位” .
Monad是仿函数的幺半群 (2)。你知道如何“压扁”F[F[A]]进入 F[A]以及如何“打包”A进入 F[A] .