在函数式编程和PLT领域，我已经多次听到“共代数”这个术语，特别是在讨论对象、共数、透镜等的时候。在谷歌上搜索这个术语，就会得到一些关于这些结构的数学描述，这对我来说是很难理解的。谁能解释一下在编程环

我偶尔会看到Free Monad这个词出现，但每个人似乎都在使用/讨论它们，却没有解释它们是什么。那么:什么是免费的单子?(我想说我熟悉单子和Haskell的基础知识，但只有一个非常粗略的范畴理论知识

谁先说了下面的话？monad只是内函子的范畴问题另一个不太重要的问题是，这是真的吗？如果是的话，你能给出一个解释吗？