*类别理论*是抽象数学的一个分支，涉及揭示和描述逻辑和数学系统的基础结构。事实证明，类别理论中的概念作为构建编程语言和程序本身语义的工具非常有效。各种类别的理论结构被用作编程抽象的工具，包括仿函数，monad和代数。
到目前为止，我遇到的每个monad（可以表示为数据类型）都有相应的monad变换器，或者可以有一个。有这样一个不能有一个单子吗？或者做所有......
我正在研究强大和封闭的运算符类：类Profunctor p其中dimap ::（a' - > a） - >（b - > b'） - > pab - > pa'b'类Profunctor p => Strong p哪里......
类别理论和抽象代数处理函数可以与其他函数组合的方式。复杂性理论处理函数的计算难度。我没有......我很奇怪
将“最佳”产品类型映射到“次优”产品类型的独特态射`m`真正独特吗？
我正在通过Bartosz Milewski关于类别理论的精彩博客。我坚持使用产品和副产品。巴托斯说，两个物体a和b的产物是对象c ...
试图扩展我对Haskell中符号的理解：（$）：Function Application运算符（允许你在函数上应用参数）（＆）：函数应用程序的翻转版本......
Monads不是“flatMap”而是“flatUnit”？ [关闭]
类别理论中的Monads由三元组T，单位，flat⟩定义。 class Monad t where map ::（a - > b） - >（t a - > t b） - functorial action unit :: a - > t a flat :: t（t a） - > t a ...
阅读了这本书，了解了一本非常好的Haskell，以及非常有用的维基书籍Haskell分类理论，它帮助我克服了混淆类别的常见类别错误......
我正在尝试扩展我对Haskell中符号的理解：$：Function Application操作符（允许您在函数上应用参数）＆：函数应用程序的翻转版本...
当我说1-arity | 2-arity | n-arity，我指的是grap理论中的树k-ary树：k-ary树是一棵有根的树，其中每个节点只有k个孩子我一直在使用Free ...
我知道Applicative类在类别理论中被描述为“松散的monoidal仿函数”，但我之前从未听过“lax”这个术语，而且lax functor上的nlab页面是一堆我不知道的东西......
从分类的角度来看，仿函数是一对两个映射（一个在对象之间，另一个在类别的箭头之间），遵循一些公理。我假设，每个Functor实例都是......
假设我在此类别中有一个类别$ C $和一个态射$ f：a \ rightarrow b $。假设诱导映射$ f ^ {\ ast}：Hom_ {C}（a，a）\ rightarrow Hom_ {C}（b，a）$诱导集合的双射。这是真的......
我试图在java中编写一些函子，monad和applicatives。我发现了一些，并选择了下面的一个。在类别理论方面，什么是get（）返回？单位（）似乎某种......
在许多情况下，我不清楚将两个monad与变压器组合而不是使用两个单独的monad可以获得什么。显然，使用两个单独的monad是麻烦，可以......
我有代码（实际上是在C＃中，但是这个问题与C＃没有任何关系，所以我会谈到我在Haskell中所说的所有类型），我在Either a b中工作。我然后绑定...
是否有类型构造函数F :: * - > * - > * - > *的任何标准名称，其中操作返回:: x - > F aax bind :: F abx - >（x - > F bcy） - > F acy这是一个 ...
我已经看到读者在野外多次被用于主要的好处。 （一个值得注意的例子是堆栈，围绕Reader的简单衍生物构建，可以告知用户...
我试图理解众所周知的短语A monad只是endofunctors类别中的monoid，并将一些类别理论概念映射到cat库。猫中有一个MonoidK类型类，它......