牛津大学御用的 txfont 实在是太丑了，怎么会有人用这种字体啊？怎么干出来的事？我 tm 火速下载源码，注释掉那该死的
\usepackage{txfont}然后编译，终于舒服了！我的 Computer Modern 又回来了！！
目录中的 BasicCategoryTheory.pdf 是已经编译好的文件，可以直接下载。
Tom Leinster 所著 *Basic Category Theory*，对字体、版式作了改动。
牛津大学御用的 txfont 实在是太丑了，怎么会有人用这种字体啊？怎么干出来的事？我 tm 火速下载源码，注释掉那该死的
\usepackage{txfont}然后编译，终于舒服了！我的 Computer Modern 又回来了！！
目录中的 BasicCategoryTheory.pdf 是已经编译好的文件，可以直接下载。
Tom Leinster 所著 *Basic Category Theory*，对字体、版式作了改动。