程序员的范畴论 直接链接: (最新版本:v1.3.0,2019年8月。有关其他格式和语言的信息,请参阅。) 发布日期:2019年8月12日。基于发行标签 。 自发行以来的更改和修复,请参见 。 发布日期:2019年8月12日。基于发行标签 。 自印刷以来,请参见进行更改和修复。 这是Bartosz Milewski撰写的“程序员类别理论”的非官方PDF版本,从他的改编而来(未经许可!) 建造 本书的最佳方法是使用软件包管理器。 安装Nix之后,在项目的根目录中键入nix-shell 。 这将下载所有必要的依赖项和工具来构建本书(TeXLive,所需的字体和包,语法高亮的Pygme