# 151-9905-00L Applied Compositional Thinking for Engineers II

Semester | Herbstsemester 2022 |

Dozierende | A. Censi, J. Lorand |

Periodizität | jährlich wiederkehrende Veranstaltung |

Lehrsprache | Englisch |

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

Lernziel | 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. |

Inhalt | 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 |

Skript | Slides and notes will be provided. |

Literatur | B. Fong, D.I. Spivak, Seven Sketches in Compositionality: An Invitation to Applied Category Theory (Link) Censi, Lorand, Zardini, Applied Compositional Thinking for Engineers (Link) |

Voraussetzungen / Besonderes | The course is self-contained and can be taken, in principle, without ACT4E I. We assume this knowledge: 1) Basics of logic & mathematical thinking, ability to write simple mathematical proofs. 2) Basic algebra (sets, posets, relations, semigroups, groups). Students who took 151-9904-00L Applied Compositional Thinking for Engineers I in the Spring Semester are sufficiently proficient in (1) and (2). |