- First session (deadline: August, 26th)
- Second session (deadline: September, 9th)
- Third session (deadline: September, 23rd)
- Fourth session (deadline: October, 7th)
The LaTeX package tikz-cd is helpful for drawing diagrams.
Category Theory (second edition) by Awodey. Errata available. Main book.
Categories for the Working Mathematician by Mac Lane. Often mentioned (it even has an own Wikipedia page), but probably not at an appropriate level for this group (most are not "working mathematicians").
Basic Category Theory for Computer Scientists by Pierce.
Conceptual mathematics by Lawvere and Schanuel. "Conceptual Mathematics is a good starting place; lots of pictures. A fairly strong emphasis on sets too, rather than the topos/group examples that abound in Awodey." -- Wiegley
Categories and Haskell by Jan-Willem Buurlage. "An introduction to the mathematics behind modern functional programming"
Smith is concerned about Awodey's book being too advanced for many readers, and instead suggests Sets for Mathematics or Topoi: The Categorial Analysis of Logic (see the blog comment section). See also his page with a long list of resources, where he links his "relatively accessible" introduction (and reading guidelines "for philosophers").
Other courses:
- Category Theory for Programmers by Milewski
- Oregon Programming Languages Summer School video lectures by Awodey
- Cambridge course Category Theory, Type Theory and Logic, cs-oriented course with lecture notes available (at least for previous iterations)
Additional resources:
- SEP article on category theory
- Practical Foundations of Mathematics by Paul Taylor
- A MO thread about topos theory book recommendations
- An Infinitely Large Napkin by Evan Chen
Fun links: