Researcher profile
Paweł Sobociński
2 papers in the PaperMetrix corpus
Publications
Papers by this author
-
Rewriting modulo symmetric monoidal structure
2016
String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal categories (SMCs). They find many applications in computer science and are becoming increasingly relevant in other fields such as physics and …
-
String Diagrammatic Electrical Circuit Theory
2022 · Electronic Proceedings in Theoretical Computer Science
We develop a comprehensive string diagrammatic treatment of electrical circuits. Building on previous, limited case studies, we introduce controlled sources and meters as elements, and the impedance calculus, a powerful toolbox for diagrammatic reasoning on …