论文标题
编程类别理论
Category Theory for Programming
论文作者
论文摘要
在这些讲义中，我们简要介绍了类别理论的某些要素。主题的选择取决于功能编程的应用。首先，我们研究了初始代数，该代数为数据类型和递归功能提供了数学表征。其次，我们研究单子，该单元为功能语言的效果提供了数学框架。注释包括许多问题和解决方案。
In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we study initial algebras, which provide a mathematical characterization of datatypes and recursive functions on them. Secondly, we study monads, which give a mathematical framework for effects in functional languages. The notes include many problems and solutions.
