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