Applied Category Theory Course – Chapter 1

My applied category theory course based on Fong and Spivak’s book Seven Sketches is going well. Over 250 people have registered for the course, which allows them to ask question and discuss things. But even if you don’t register you can read my “lectures”.

Here are the lectures on Chapter 1, which is about adjoint functors between preorders, and how they interact with meets and joins:

• Lecture 1 – Introduction
• Lecture 2 – What is Applied Category Theory?
• Lecture 3 – Chapter 1: Preorders
...