VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

151-9904-00L 4 Credits DR , MSC D-ITET , D-BAUG , D-MAVT , D-ARCH , D-INFK , D-PHYS , D-ERDW
You're viewing possible stale or outdated data. Please check the latest semester for more up-to-date information.

Applied Category Theory for Engineering II

Does not take place this semester. Note: The previous course title until FS23 "Applied Compositional Thinking for Engineers I"
VVZ CR 3.6

Last Updated: 2026-06-01 11:33:00

Abstract

This course is an introduction to advanced topics in Applied Category Theory focused on concepts beyond basic category theory and on the needs of applications. The course favors a computational, constructive, and compositional approach targeted to applications in engineering.

Objective

In many domains of engineering and applied sciences, it would be beneficial to think explicitly about abstraction and compositionality, to improve both the understanding of problems and the design of solutions. Applied Category Theory is a field of mathematics that can help in thinking about precisely such topics. A problem, however, is that this type of mathematics is not traditionally taught -- to date, there exists no easy path for engineers to learn category theory that is approachable and emphasizes engineering applications. This course will fill this gap, extending the efforts proposed in the first part of the class (ACT4E I). This course's goal is not to teach category theory for the sake of it, but to teach the "compositional way of thinking". Category theory will just be the means towards this end. This implies that the presentation of materials sometimes diverges from the usual way to teach category theory, and some common concepts might be de-emphasized in favor of more obscure concepts that are more useful for applications. The applications shown in the class will be mainly in the domains of autonomous robotics and mobility.

Content

Categories Functors Co-design problems Natural transformations Adjunctions Traced monoidal categories Computation: - From mathematical models to algorithms - Solving finite co-design problems - Monads - Modeling uncertainty Enriched category theory: - Profunctors - Enriched categories - Negative category theory Operads Linear logic and resources

Resources

Lecture Notes

Slides and notes will be provided.

Literature

Censi, Lorand, Zardini, "Applied Compositional Thinking for Engineers" (Link: https://bit.ly/3qQNrdR ) B. Fong, D.I. Spivak, Seven Sketches in Compositionality: An Invitation to Applied Category Theory ( https://arxiv.org/pdf/1803.05316 ) Censi, Lorand, Zardini, Applied Compositional Thinking for Engineers ( https://bit.ly/3qQNrdR )

Learning Materials (Links)

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 II
Does not take place this semester. This course will be offered again in Spring Semester 2026.
No time listed 3 h weekly

Offered In