我正在寻找关于范畴论的参考文献 <ul> <li>成熟（== 至少 5 岁）</li> <li>处于大学教育水平（不是博士

我对编写递归代码的高阶方式（递归方案）感兴趣，其中递归调用之间可能存在依赖关系。 作为一

众所周知，类型为 <code>Type -&gt; Type</code> 的类型构造函数（在 System F-omega 中）如果实现了函数 <code>Functo

<h2>tl;博士</h2> 鉴于 <code>ixmap</code> 的签名和 <code>contramap</code> 的签名之间的相似性，我想了解 <code>Array i

我看了 <a href="https://www.youtube.com/watch?v=EWDmWbJ4wRA&amp;list=PLrhzvIcii6GNjpARdnO4ueTUAVR9eMBpc&amp;index=21" rel="noreferrer"

我知道 Haskell 中的许多名称都受到范畴论术语的启发，我正试图准确理解类比的开始和结束位置。 <h3

考虑以下包装器： <pre><code>newtype F a = Wrap { unwrap :: Int } </code></pre> 我想反驳（作为围绕 <a href="https:

<a href="https://hackage.haskell.org/package/constrained-categories-0.2.0.0/docs/Control-Category-Constrained.html#t:Cartesian" rel="nofo

有没有一个列表，他们有一个没有广泛的类别理论知识的人可访问的例子？ Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire(PDF)也应该有帮助。符号会有点毛，但阅读几次，你应该能够打倒你的列表。 另外，看看递归计划(archived) blog post，博客计划在每个单独提出，所以请定期检查 – 我猜。

我的问题来自 Haskell的monad的第一定律：join. fmap join = join.加入. 在Haskell/Category_theory,该法律由以下图片证明： 我对这个例子使用类型的实例而不是类型的事实感到困惑.因为Hask类中的对象是类型,而不是它们的实例. 所以我尝试用类型重绘这个例子,这里我得到了： 在该图中,两个箭头(连接和fmap连接)都导致M(M(X)).这是同一个