Mathematics > Category Theory
[Submitted on 21 May 2018]
Title:Circuits, Bond Graphs, and Signal-Flow Diagrams: A Categorical Perspective
View PDFAbstract:We use the framework of "props" to study electrical circuits, signal-flow diagrams, and bond graphs. A prop is a strict symmetric monoidal category where the objects are natural numbers, with the tensor product of objects given by addition. In this approach, electrical circuits make up the morphisms in a prop, as do signal-flow diagrams, and bond graphs. A network, such as an electrical circuit, with $m$ inputs and $n$ outputs is a morphism from $m$ to $n$, while putting networks together in series is composition, and setting them side by side is tensoring. Here we work out the details of this approach for various kinds of electrical circuits, then signal-flow diagrams, and then bond graphs. Each kind of network corresponds to a mathematically natural prop. We also describe the "behavior" of electrical circuits, bond graphs, and signal-flow diagrams using morphisms between props. To assign a behavior to a network we "black box" the network, which forgets its inner workings and records only the relation it imposes between inputs and outputs. The process of black-boxing a network then corresponds to a morphism between props. Interestingly, there are two different behaviors for any bond graph, related by a natural transformation. To achieve all of this we first prove some foundational results about props. These results let us describe any prop in terms of generators and equations, and also define morphisms of props by naming where the generators go and checking that relevant equations hold. Technically, the key tools are the Rosebrugh--Sabadini--Walters result relating circuits to special commutative Frobenius monoids, the monadic adjunction between props and signatures, and a result saying which symmetric monoidal categories are equivalent to props.
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.