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

- Emily Riehl, Category Theory in Context
- Tom Leinster, Basic Category Theory
- Saunders Mac Lane, Categories for the Working Mathematician (not free)
- Paolo Perrone, Notes on Category Theory
- 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

- David Spivak, Category Theory for the Sciences
- Brendan Fong and David Spivak, Seven Sketches in Compositionality: An Invitation to Applied Category Theory
- John Baez, Lectures on Applied Category Theory
- David Spivak, Category theory lectures at LambdaConf 2017
- Tai-Danae Bradley, What is Applied Category Theory?

# Systems Theory

- Jan Willems, The Behavioral Approach to Open and Interconnected Systems
- Brendan Fong, The Algebra of Open and Interconnected Systems
- David Jaz Myers, Categorical Systems Theory

# Learn Category Theory through Software

- Bartosz Milewski, Category Theory for Programmers
- Kittenlab
- 1lab

# Related subjects

## Sheaf Theory

- Daniel Rosiak, Sheaf Theory Through Examples

## Topology

- Robert Ghrist Elementary Applied Topology

# Other resource lists

- Bruno GavranoviÄ‡ Category Theory Resources