Here is a non-exhaustive list of introductory books to Category Theory which encourage the perspective taken in this course. The list is given in increasing order of perceived difficulty for students.
| Link | Book Title & Author | Perceived Difficulty |
|---|---|---|
| Category Theory for Programmers (Milewski) | 1 | |
| (Recommended) Seven Sketches for Compositionality: An Invitation to Applied Category Theory (Fong-Spiwak) | 2 | |
| Introduction to Categories and Categorical Logic (Abramsky-Tzevelekos) | 2 | |
| (Recommended) An Introduction to String Diagrams for Computer Scientists | 3 | |
| (Recommended) Category Theory (Awodey) | 3 | |
| Basic Category Theory (Leinster) | 3 | |
| Categorical Logic (Pitts) | 3 | |
| Categorical Logic and Type Theory (Jacobs) | 4 |
| Link | Book Title & Author | Perceived Difficulty |
|---|---|---|
| Category Theory for the Sciences (Spiwak) | 1 | |
| Category Theory for Computer Science (Barr-Wells) | 3 | |
| Categories and Computer Science (Walters) | 3 |