Pawel Sobocinski: "Electrical circuits with string diagrams"

Topos Institute Colloquium, 1st of December 2022. ——— One of the goals of applied category theory is to develop new mathematics for reasoning about open systems of various kinds. In this talk, I will introduce a string diagrammatic methodology for reasoning about and manipulating non-passive electrical circuits, which are a classical and well-known example of open system. This joint work with Guillaume Boisseau is, on the one hand, a rigorous, compositional, sound and complete equational calculus, while on the other hand, it retains elements of the intuitive, classical diagrammatic syntax for circuits. It is based on previous work on Affine Graphical Algebra, joint work with Bonchi, Piedeleu and Zanasi which I will first introduce.