前言 & 介绍

Category Theory for Programmers, 顾名思义, 是一本关于范畴论的书, 但是偏向CS而非数学.

书的$\LaTeX$代码以GPL-3.0公布在GitHub, 有两个版本, 一个以C++作为辅助说明语言, 另一个是Scala.

作为一个蒟蒻OI党当然是选择C++版啦.

本文(如果不咕咕咕的话)会持续更新, 大概记录一些摘录或者感想或者我不知道的东西…