Applied Category Theory for Engineering

This site is a place for publishing some resources on compositionality and engineering, and it is maintained by the Frazzoli group at ETH Zurich and by the Zardini group at Massachusetts Institute of Technology. It is skewed towards our particular knowledge and interests (e.g. robotics, co-design, applied category theory), however we hope it may be useful to a broad range of people working on compositional methods in engineering, computer science, and mathematics. At the moment, this site mainly serves to archive materials from two different versions of a course we taught on applied category theory for engineering — one taught online for an international audience, and one taught at ETH Zurich in the spring of 2021.

What is category theory?

Learn about the basic ideas. A selection of primers and gentle introductions.

Learn category theory

A selection of links to books, notes, videos, and courses.

ACT4E materials

Our own research and teaching in applied category theory for engineering.

ACT in research and industry

Learn about the breadth of ACT activities and keep up to date with latest developments.