category-theory/main.pdf