我正在尝试理解著名的短语“一个单子就是一个函子范畴中的幺半群”,并将一些范畴论概念映射到“cats”库中。在“cats”中有一个“MonoidK”类型类,它在“combineK”方法上是多态的。因此,如果我们用函子参数化它,那么这个类型类的一个实例看起来像是一个函子范畴中的幺半群。
如果我们假设只能通过函子对“MonoidK”进行参数化,那么从范畴论的角度来看,“MonoidK”和“Monad”之间的区别是什么?
如果我们假设只能通过函子对“MonoidK”进行参数化,那么从范畴论的角度来看,“MonoidK”和“Monad”之间的区别是什么?