This post is a wiki post, so anyone can edit it! The purpose is to gather resources to help learn applied category theory. I will start with some basic resources, but I hope that other people add to this.
General Category Theory
Formal Mathematical Introductions
- Paolo Aluffi, Algebra: Chapter 0 (via algebra)
- Tom Leinster, Basic Category Theory
- Saunders Mac Lane, Categories for the Working Mathematician (not free)
- Paolo Perrone, Notes on Category Theory
- Emily Riehl, Category Theory in Context
- Ralph Sarkis, My First Category Theory Textbook
Informal Mathematical Introductions
- Jencel Panic, Category Theory Illustrated
- Richard Southwell and Naman Gupta, Categories and Toposes: Visualized and Explained
Applied Introductions
- John Baez, Lectures on Applied Category Theory
- Tai-Danae Bradley, What is Applied Category Theory?
- Brendan Fong and David Spivak, Seven Sketches in Compositionality: An Invitation to Applied Category Theory
- David Spivak, Category Theory for the Sciences
- David Spivak, Category theory lectures at LambdaConf 2017
- D. E. Rydeheard and R. M. Burstall, Computational Category Theory
Systems Theory
- Brendan Fong, The Algebra of Open and Interconnected Systems
- David Jaz Myers, Categorical Systems Theory
- Jan Willems, The Behavioral Approach to Open and Interconnected Systems
Learn Category Theory through Software
- 1lab
- Bartosz Milewski, Category Theory for Programmers
- Kittenlab
Related subjects
Sheaf Theory
- Daniel Rosiak, Sheaf Theory Through Examples
Topology
- Robert Ghrist Elementary Applied Topology
Other resource lists
- Bruno Gavranović Category Theory Resources