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.

翻译：在这些演讲说明中,我们简要地介绍了分类理论的一些要素。主题的选择以功能性编程的应用为指导。首先,我们研究初步代数,这些代数提供了数据类型和对数据类型的循环函数的数学定性。其次,我们研究修道院,这些代数为功能性语言的效果提供了一个数学框架。这些代数包括许多问题和解决办法。