Applied Category Theory Course (2018)

6 hours ago

The course is based on the book 'Seven Sketches in Compositionality: An Invitation to Applied Category Theory' by Fong and Spivak.
It is taught by John Baez and features webpages by Simon Burton.
The curriculum is divided into four main chapters: Ordered Sets, Resource Theories, Databases, and Collaborative Design.
Each chapter contains multiple lectures covering fundamental and advanced topics in applied category theory, including preorders, Galois connections, logic, monoidal structures, functors, natural transformations, and enriched categories.

Hasty Briefsbeta