Basic Category theory

牛津大学御用的 txfont 实在是太丑了，怎么会有人用这种字体啊？怎么干出来的事？我 tm 火速下载源码，注释掉那该死的

\usepackage{txfont}

然后编译，终于舒服了！我的 Computer Modern 又回来了！！

如果你也觉得 `txfont` 丑，但是不知道怎么修改……

目录中的 BasicCategoryTheory.pdf 是已经编译好的文件，可以直接下载。

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
BasicCategoryTheory.pdf		BasicCategoryTheory.pdf
BasicCategoryTheory.tex		BasicCategoryTheory.tex
README.md		README.md
adj.tex		adj.tex
arl.tex		arl.tex
arxivpreface.tex		arxivpreface.tex
cambridge7A.cls		cambridge7A.cls
cfnt.tex		cfnt.tex
composable.pdf		composable.pdf
composed.pdf		composed.pdf
creation.pdf		creation.pdf
curry.pdf		curry.pdf
embedding.pdf		embedding.pdf
front.tex		front.tex
function.pdf		function.pdf
gaft.tex		gaft.tex
intro.tex		intro.tex
lims.tex		lims.tex
macros.tex		macros.tex
notation.tex		notation.tex
preface.tex		preface.tex
reading.tex		reading.tex
rep.tex		rep.tex
see.tex		see.tex
set.pdf		set.pdf
sets.tex		sets.tex
sphere_colim.pdf		sphere_colim.pdf
sphere_lim.pdf		sphere_lim.pdf
sumL.pdf		sumL.pdf
sumR.pdf		sumR.pdf
sumtot.pdf		sumtot.pdf
theoremenvts.tex		theoremenvts.tex
titlepages.tex		titlepages.tex
view.pdf		view.pdf