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 |
Lehrveranstaltungen
| Nummer | Titel | Umfang | Dozierende | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 151-9905-00 G | Applied Compositional Thinking for Engineers II | 3 Std. |
| A. Censi, J. Lorand |
Katalogdaten
| 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 (https://arxiv.org/pdf/1803.05316) Censi, Lorand, Zardini, Applied Compositional Thinking for Engineers (https://bit.ly/3qQNrdR) |
| 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). |
Leistungskontrolle
| Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird) | |
Leistungskontrolle als Semesterkurs | |
| ECTS Kreditpunkte | 4 KP |
| Prüfende | A. Censi, J. Lorand |
| Form | Sessionsprüfung |
| Prüfungssprache | Englisch |
| Repetition | Die Leistungskontrolle wird nur in der Session nach der Lerneinheit angeboten. Die Repetition ist nur nach erneuter Belegung möglich. |
| Prüfungsmodus | schriftlich 150 Minuten |
| Zusatzinformation zum Prüfungsmodus | Grade percentage: - 50%: a final written exam - 50%: compulsory continuous performance assessment The compulsory continuous performance assessment tasks need not be passed on its own; it is awarded a grade which counts proportionally towards the total course unit grade. If a student does not submit any of the work for the compulsory continuous performance assessment tasks, then for this part of the performance assessment they will receive the grade “1”. |
| Hilfsmittel schriftlich | Open book exam |
| Diese Angaben können noch zu Semesterbeginn aktualisiert werden; verbindlich sind die Angaben auf dem Prüfungsplan. | |
Lernmaterialien
| Hauptlink | Applied Compositional Thinking for Engineers |
| Es werden nur die öffentlichen Lernmaterialien aufgeführt. | |
Gruppen
| Keine Informationen zu Gruppen vorhanden. |
Einschränkungen
| Keine zusätzlichen Belegungseinschränkungen vorhanden. |
