Lecture notes "Introduction to Category Theory and its Applications" (Computer Science Track)

Homeworks

• Homework 1

Further reading material

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
PDF	Category Theory for Programmers (Milewski)	1
PDF	(Recommended) Seven Sketches for Compositionality: An Invitation to Applied Category Theory (Fong-Spiwak)	2
PDF	Introduction to Categories and Categorical Logic (Abramsky-Tzevelekos)	2
PDF	(Recommended) Category Theory (Awodey)	3
PDF	Basic Category Theory (Leinster)	3
PDF	Categorical Logic (Pitts)	3
PDF	Categorical Logic and Type Theory (Jacobs)	4

Other books:

Link	Book Title & Author	Perceived Difficulty
PDF	Category Theory for the Sciences (Spiwak)	1
PDF	An Introduction to String Diagrams for Computer Scientists	3
	Category Theory for Computer Science (Barr-Wells)	3
	Categories and Computer Science (Walters)	3