Applied Category Theory Course John Baez This is a course based on Fong and Spivak's book Seven Sketches in Compositionality: An Invitation to Applied Category Theory , taught by John Baez and turned into nice webpages by Simon Burton. For more details, dive right in and check out Lecture 1. Chapter 1: Ordered Sets Lecture 1 - Introduction Lecture 2 - What is Applied Category Theory? Lecture 3 - Preorders Lecture 4 - Galois Connections Lecture 5 - Galois Connections Lecture 6 - Computing Adjoints Lecture 7 - Logic Lecture 8 - The Logic of Subsets Lecture 9 - Adjoints and the Logic of Subsets Lecture 10 - The Logic of Partitions Lecture 11 - The Poset of Partitions Lecture 12 - Generative Effects Lecture 13 - Pulling Back Partitions Lecture 14 - Adjoints, Joins and Meets Lecture 15 - Preserving Joins and Meets Lecture 16 - The Adjoint Functor Theorem for Posets Lecture 17 - The Grand Synthesis Chapter 2: Resource Theories Lecture 18 - Resource Theories Lecture 19 - Chemistry and Scheduling Lecture 20 -…