Applied Category Theory for Engineering

This site is a place to make available 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 (applied category theory for robotics and the co-design of complex engineering systems), however we hope it may be useful to a broad range of people working on compositional methods in engineering, computer science, the natural sciences, and mathematics.