学习category-theory－开发者之家

问题描述我试图说服自己，ListMonad(具有平面列表、列表连接和映射元素的Monad)不是自由Monad(准确地说，是与某个函数器T关联的自由Monad)。据我所知，我应该能够在年实现这一目标。首先在单体列表中查找常用运算符FMAP、Join等之间的关系然后证明了这种关系不存

问题描述我在函数式编程和PLT圈子中多次听说过代数"这个词，尤其是在讨论对象、共子、透镜等时.谷歌搜索这个术语给出了对这些结构进行数学描述的页面，这对我来说几乎是不可理解的.谁能解释一下余代数在编程上下文中的含义，它们的意义是什么，以及它们与对象和共子的关系?Ihaveheard

问题描述对于不确定性传播近似类型，我想通过Monad获得Functor的实例.然而，这不起作用，因为我需要包含类型的向量空间结构，所以它实际上必须是类的受限版本.因为似乎仍然没有这些标准库(或者有吗?请指点我.有rmonad，但它使用*而不是Constraint作为上下文类型，这

问题描述如这个问题/答案所述，Functor实例是唯一确定的(如果它们存在).Asdescribedthisquestion/answers,Functorinstancesareuniquelydetermined,iftheyexists.对于列表，有两个众所周知的Appli

问题描述我能够通过以下方式将Functor的定义从范畴论映射到Haskell的定义:由于Hask的对象是类型，因此函子FIwasabletomapFunctor'sdefinitionfromcategorytheorytoHaskell'sdefinitioninthefoll

问题描述从分类的角度来看，函子是一对两个映射(一个在对象之间，另一个在类别的箭头之间)，遵循一些公理.Fromcategoricalpointofview,functorispairoftwomaps(onebetweenobjectsandanotherbetweenarrow

问题描述我一直在阅读关于范畴论中的单子.单子的一个定义使用一对伴随函子.monad由使用这些函子的往返定义.显然附属在范畴论中非常重要，但我还没有看到任何关于伴随函子的Haskellmonad的解释.有人考虑过吗?I'vebeenreadingaboutmonadsincateg

问题描述到目前为止，我遇到的每个monad(可以表示为数据类型)都有一个相应的monad转换器，或者可以有一个.有没有这样的monad不能有一个?或者是否所有的monad都有相应的转换器?通过一个transformert对应于monadm我的意思是tIdentity与同构米.当然

问题描述我看到FreeMonad这个词弹出每个现在和然后有一段时间，但每个人似乎只是使用/讨论它们而没有解释它们是什么.那么:什么是自由monad?(我想说我熟悉monad和Haskell基础知识，但对范畴论只有非常粗略的了解.)I'veseenthetermFreeMonadp

问题描述在我读过的许多文章中，monad>>=运算符是一种表示函数组合的方式.但对我来说更接近于某种高级功能的应用InmanyarticlesIhavereadthatmonad>>=operatorisawaytorepresentfunctioncomposition.But