A comprehensive course on Applied Category Theory, based on the book "Seven Sketches in Compositionality," is now available online. Taught by John Baez and presented via webpages developed by Simon Burton, this educational resource delves into the practical applications of category theory across various domains. The course structure covers fundamental concepts and extends to advanced topics relevant to modern computational and scientific fields.

Lecture topics span ordered sets, preorders, Galois connections, and adjoints, offering a rigorous exploration of mathematical structures. Subsequent modules tackle resource theories, detailing applications in chemistry, scheduling, and manufacturing. The curriculum also addresses database theory, exploring categories, functors, and natural transformations, showing how abstract concepts map to data management principles.

Further chapters investigate collaborative design, enriched profunctors, and feedback mechanisms, demonstrating category theory's utility in complex system design. The course material emphasizes the interconnectedness of mathematical structures and their real-world implications. This Applied Category Theory Course provides a deep dive for developers and researchers interested in formalizing complex systems.

This 2018 offering provides a structured path from foundational concepts to advanced applications, making it a substantial resource for those seeking to understand the mathematical underpinnings of computation and design.