VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.
Applied Category Theory for Engineering I
Last Updated: 2026-02-05 16:29:58
Abstract
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 the theory, emphasizing applications in engineering and the “compositional approach” to systems analysis, co-design, and computation.
Objective
1) Learn basic concepts from algebra and category theory, together with ways to make use of these concepts for engineering applications. 2) Become familiar with case studies of applied category theory, for instance involving dynamical systems, databases, and complex system co-design (e.g. in the context of autonomous vehicles). 3) Be able to recognize compositional structures in concrete scenarios at different levels of abstraction. 4) Understand the “compositional way of thinking” as an approach to systems analysis, co-design, and computation.
Content
Review of basic algebraic structures [sets, relations, (semi)groups, monoids, actions, order theory] Gentle introduction to category theory [series and parallel composition, feedback, actions, functors, universal properties] Many simple applied examples illustrating concepts along the way. Extended examples from dynamical systems, databases, and systems co-design in engineering. Homework will consist of weekly homework exercises to check one’s understanding of core mathematical concepts and practice working with the theory (writing mathematical computations and proofs). Homework will constitute 100% of the grade (no exam).
Resources
Lecture Notes
Slides and a (work-in-progress) textbook for the course will be provided (A. Censi, J. Lorand, G. Zardini, "Applied Compositional Thinking for Engineers").
Literature
Censi, Lorand, Zardini, "Applied Compositional Thinking for Engineers" ( https://tinyurl.com/579kw5bh ). See also https://applied-compositional-thinking.engineering for many further resources.
General Information
- Language
- English
- Levels
- DR , MSC
- Frequency
- Yearly recurring
Examination
- Type
- graded semester performance
Course Components
| Type | Title | Time & Place | Hours |
|---|---|---|---|
| lecture with exercise | Applied Category Theory for Engineering I |
|
3 h weekly |
Offered In
-
-
-
Doctorate Mechanical and Process Engineering (More Information at: )