arXiv:2106.07763cs.LO
String Diagrammatic Electrical Circuit Theory
Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.
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 idiomatic proofs of several textbook results, including the superposition theorem and Thevenin's theorem.
> it is not this or any of what we expect String diagrams of category theory potentially make working with invariants easier by embedding them in graphical transformations, so they "just maintain themselves". Eg, electric circuit laws.[2] Or here, ZX-calculus/diagrams for QM.[3]…
mncharityView on HNParent context