- The Curry Howard isomorphism. The idea that logic and programming are just two sides of the same coin: types are propositions and programs are proofs.
- Category Theory nLab
- Applied Category Theory – Online Course
- Functional Programming and Category Theory [Part 1] - Categories and Functors
- Seven Sketches in Compositionality: An Invitation to Applied Category Theory
- Category Theory for Programmers PDF
- Category Theory for Programmers: The Preface