String Diagrammatic Electrical Circuit Theory
Guillaume Boisseau, Paweł Sobociński · Electronic Proceedings in Theoretical Computer Science · 2022
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 circuit diagrams. We demonstrate the power of our approach by giving idiomatic proofs of several textbook results, including the superposition theorem and Thevenin's theorem.