类型论与Haskell笔记

该笔记可在此处获取：

• PDF
• EPUB（正在进行中，缺失图表和定理）

这份文档包含了在函数式编程背景下关于类别理论的笔记。最初这些笔记是为在荷兰数学与计算机科学国家研究中心Centrum Wiskunde & Informatica举办的研讨会准备的。编撰这些笔记的主要目的是提供一个途径，以增进对应用于函数式编程领域的广泛数学概念（包括类别理论和其他分支）的熟悉度。

尽管主要集中在数学上，但使用Haskell提供了示例来说明如何应用这些概念。在某些地方，也给出了其他语言（如Python和C++）的示例。讨论的主题包括：

• 类别
• 类型作为类别
• 产品类型
• 燥矢原理
• 封闭笛卡尔类别
• 对偶（adjunctions）
• 范畴单子
• F-代数与递归
• 共单子
• 镜头（Lenses）

生成文档

笔记以Markdown格式编写，并使用pandoc生成文档。在doc目录内运行make，假设已安装了pandoc、pandoc-citeproc以及LaTeX环境，应当能够生成（更新后的）PDF文件。

贡献参与

对于任何问题（错字、不准确之处等），都可以通过GitHub提交。同样非常欢迎提出修复错误或增加额外材料的拉取请求。