You may want to take a look at Applied Compositional Thinking for Engineers (ACT4E), an ongoing graduate course at ETH Zürich:
In many domains of engineering it would be beneficial to think explicitly about abstraction and compositionality, to improve both the understanding of problems and the design of solutions.
A kind of mathematics particularly well-suited for thinking about compositionality is applied category theory. However, at present, this mathematics is relatively inaccessible to the average engineer. This is due in part to the inertia of the education system: outside of computer engineering, only little algebra is taught, in favor of analysis and related fields. This made sense some decades ago, but does not reflect today's real-world needs.
Recently, many good expositions of category theory for applications have appeared (see resources) yet to date, none are oriented explicitly toward engineering. This course will fill this gap. We will introduce the framework of monotone co-design as a means to teach basic concepts of category theory alongside principles of compositional engineering. Special care will be taken to illustrate the ideas with concrete examples (especially from autonomous robotics), and to indicate applications.
