String Diagrammatic Electrical Circuit Theory

Abstract

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 comprehensive proofs of several textbook results, including the superposition theorem and Th´evenin’s theorem.