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…