一个单子仅仅是一个自函子范畴中的幺半群，有什么问题吗？
以下引用出自谁之口？ 单子只是一个函子合成范畴中的幺半群而已，问题在哪里？ 另外，不那么重要的一点，如果这是真的，你能否给出一个解释（希望可以被没有太多Haskell经验的人理解）？
什么是自由单子（Free Monads）？
我看到过一个术语Free Monad出现了一段时间，但每个人似乎都在使用/讨论它们而没有解释它们是什么。那么：什么是自由单子？（我会说我熟悉单子和Haskell基础知识，但对范畴论只有非常粗略的了解。）
在编程的上下文中，“coalgebra”是什么意思？
我在函数编程和PLT社区中多次听到“余代数”这个术语，特别是在讨论对象、余单子、透镜等方面时。搜索这个术语会得到一些页面，其中描述这些结构的数学描述对我来说几乎是无法理解的。请问有人可以解释一下在编程上余代数的意义是什么，它们与对象和余单子的关系是什么？
真实世界中的接合组织形态预编程的实际应用
是的，这些：{-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Co...
单子作为伴随。
我一直在阅读范畴论中关于单子的内容。其中一种定义使用了一对伴随函子。通过这些函子，可以定义一个单子的往返路径。显然，在范畴论中，伴随是非常重要的，但我没有看到任何使用伴随函子来解释Haskell单子的说明。有没有人考虑过这个问题？
除了IO之外，是否存在没有对应的monad transformer的monad？
到目前为止，我遇到的每个可以表示为数据类型的单子（Monad）都有一个相应的单子变换器（Monad Transformer），或者可以有一个。是否存在不能有单子变换器的单子？或者所有的单子都有对应的变换器呢？ 通过“对应于单子m的变换器t”，我的意思是“t Identity”同构于“m”。当...
什么是幺半群同态？
我阅读了来自 Monoid Morphisms, Products, and Coproducts 的单子同态的相关内容，但无法完全理解。 作者说（强调原文）： length 函数从 String 映射到 Int，同时保留了单子结构。这样一种从一个单子到另一个单子的映射方式称为 单子...
在范畴论的术语中，什么是函数式编程中的单子？
每次有人承诺“解释单子”时，我的兴趣就被激发了，但当所谓的“解释”是一长串示例列表，并以一些轻描淡写的话结束, 说这些“高深思想”背后的“数学理论”在“这个阶段太复杂了，无法解释”时，我的兴趣就变成了沮丧。 现在我要求相反的情况。我对范畴论有着扎实的掌握，并不害怕追逐图表、Yoneda引理或...
简单例子来说明范畴、幺半群和单子？
我对这三个概念感到非常困惑。 有没有简单的例子来说明类别、幺半群和单子之间的区别？ 如果有这些抽象概念的说明，那将非常有帮助。
一个非平凡的余单半群是什么样子？
“Comonoids”在编程语言Haskell的distributive库文档中被提到： 由于Haskell中缺乏非平凡的共余子代数，我们可以将自己限制为要求一个Functor，而不是一些Coapplicative类。 经过一番搜索，我找到了一个StackOverflow答案，其中解释...