String Diagrammatic Electrical Circuit Theory

Estonia); Guillaume Boisseau (University of Oxford; Pawe{\l} Soboci\'nski (Tallinn University of Technology; UK)

String Diagrammatic Electrical Circuit Theory

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2106.07763 v2 pith:EP7PNXL5 submitted 2021-06-14 cs.LO

String Diagrammatic Electrical Circuit Theory

Guillaume Boisseau (University of Oxford , UK) , Pawe{\l} Soboci\'nski (Tallinn University of Technology , Estonia) This is my paper

classification cs.LO

keywords diagrammaticcircuitelectricalstringtheoremapproachbuildingcalculus

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

0 comments

Share X Bluesky LinkedIn Reddit HN

read the original 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.

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
cs.LO 2026-02 conditional novelty 6.0

Layered monoidal theories let different abstraction levels of a system live in one string diagram with formal translations between layers.