Resources

Here are some resources that are available online, for free:

• Seven Sketches in Compositionality: An Invitation to Applied Category Theory by Brendan Fong and David I Spivak.
• Category Theory for Computing Science by Michael Barr and Charles Wells.
• Category Theory for Programmers by Bartosz Milewski.
• Basic Category Theory by Tom Leinster.
• John Baez’s lecture notes.

These resources are available only in dead tree form to the best of our knowledge:

• Basic Category Theory for Computer Scientists by Benjamin C. Pierce.
• Conceptual Mathematics: A First Introduction to Categories by F. William Lawvere and Stephen H. Schanuel.