Freyd is Kleisli, for Arrows
Freyd is Kleisli, for Arrows
复制标题
弗雷德 (Freyd) 饰 克莱斯利 (Kleisli)，代表《绿箭侠》
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
I. Hasuo
中科院分区：
文献类型：
--
作者：
B. Jacobs;I. Hasuo
箭头已在功能编程中引入，作为单子的概括。他们还概括了comonads。与（CO）Monads相关的基本结构是（Eilenberg-Moore）代数的Kleisli类别和类别。因此，询问箭头是否有类似的结构是有道理的。在此简短的说明中，我们将朝这个方向迈出第一步，并确定通常与箭头类别相关联的弗雷德类别。
Arrows have been introduced in functional programming as generalisations of monads. They also generalise comonads. Fundamental structures associated with (co)monads are Kleisli categories and categories of (Eilenberg-Moore) algebras. Hence it makes sense to ask if there are analogous structures for Arrows. In this short note we shall take first steps in this direction, and identify for instance the Freyd category that is commonly associated with an Arrow as a Kleisli category.