Applied Category Theory is an exciting multidisciplinary field of research which harnesses the mathematical language of category theory for applications across a broad range of disciplines. This course is a gentle introduction to this mathematical theory, emphasizing applications in engineering and the “compositional approach” to systems analysis, co-design, and computation.

An introduction to Applied Category Theory at a more advanced level than Part I (this "Part II" is self-contained however). Category theory is increasingly used across a broad range of disciplines, from AI to physics, from linguistics to epidemiology. This course teaches the core mathematical concepts and highlights applications in applied sciences, with a special emphasis on engineering.