-
Circuits, Bond Graphs, and Signal-Flow Diagrams: A Categorical Perspective
Authors:
Brandon Coya
Abstract:
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, w…
▽ More
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.
△ Less
Submitted 21 May, 2018;
originally announced May 2018.
-
A Compositional Framework for Bond Graphs
Authors:
Brandon Coya
Abstract:
Electrical circuits made only of perfectly conductive wires can be seen as partitions between finite sets. These are also known as "corelations" and are the morphisms in the category $\mathrm{FinCorel}$. The two-element set has two different Frobenius monoid structures in $\mathrm{FinCorel}$. These two Frobenius monoids are related to "series" and "parallel" junctions, which are used to connect pa…
▽ More
Electrical circuits made only of perfectly conductive wires can be seen as partitions between finite sets. These are also known as "corelations" and are the morphisms in the category $\mathrm{FinCorel}$. The two-element set has two different Frobenius monoid structures in $\mathrm{FinCorel}$. These two Frobenius monoids are related to "series" and "parallel" junctions, which are used to connect pairs of wires. We show that these Frobenius monoids interact to form a "weak bimonoid" as defined by Pastro and Street. We conjecture a presentation for the subcategory of $\mathrm{FinCorel}$ generated by the morphisms associated to these two Frobenius monoids, which we call $\mathrm{FinCorel}^{\circ}$. We are interested in "bond graphs," which are built from series and parallel junctions. Although the morphisms of $\mathrm{FinCorel}^{\circ}$ resemble bond graphs, there is not a perfect correspondence. Since bond graphs and circuits determine Lagrangian relations between symplectic vector spaces, we then consider the category of Lagrangian relations, $\mathrm{LagRel}_k$. Bond graphs pick out a subcategory $\mathrm{LagRel}_k^{\circ}$ with generating morphisms corresponding to those of $\mathrm{FinCorel}^{\circ}$. Thus we define a category $\mathrm{BondGraph}$ with generators and equations that are found in both $\mathrm{FinCorel}^{\circ}$ and $\mathrm{LagRel}_k^{\circ}$. We study the functorial semantics of $\mathrm{BondGraph}$ by giving two different functors from it to the category $\mathrm{LagRel}_k$ and a natural transformation between them. Given a bond graph, the first functor picks out a Lagrangian relation in terms of "effort" and "flow," while the second picks one out in terms of "potential" and "current." The natural transformation arises from the way that effort and flow relate to potential and current.
△ Less
Submitted 29 September, 2017;
originally announced October 2017.
-
Props in Network Theory
Authors:
John C. Baez,
Brandon Coya,
Franciscus Rebro
Abstract:
Long before the invention of Feynman diagrams, engineers were using similar diagrams to reason about electrical circuits and more general networks containing mechanical, hydraulic, thermodynamic and chemical components. We can formalize this reasoning using props: that is, strict symmetric monoidal categories where the objects are natural numbers, with the tensor product of objects given by additi…
▽ More
Long before the invention of Feynman diagrams, engineers were using similar diagrams to reason about electrical circuits and more general networks containing mechanical, hydraulic, thermodynamic and chemical components. We can formalize this reasoning using props: that is, strict symmetric monoidal categories where the objects are natural numbers, with the tensor product of objects given by addition. In this approach, each kind of network corresponds to a prop, and each network of this kind is a morphism in that prop. A network with $m$ inputs and $n$ outputs is a morphism from $m$ to $n$, 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, starting with circuits made solely of ideal perfectly conductive wires, then circuits with passive linear components, and then circuits that also have voltage and current sources. Each kind of circuit corresponds to a mathematically natural prop. We describe the "behavior" of these circuits using morphisms between props. In particular, we give a new proof of the black-boxing theorem proved by Fong and the first author; unlike the original proof, this new one easily generalizes to circuits with nonlinear components. We also use a morphism of props to clarify the relation between circuit diagrams and the signal-flow diagrams in control theory. 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.
△ Less
Submitted 1 June, 2018; v1 submitted 26 July, 2017;
originally announced July 2017.
-
Corelations are the prop for extraspecial commutative Frobenius monoids
Authors:
Brandon Coya,
Brendan Fong
Abstract:
Just as binary relations between sets may be understood as jointly monic spans, so too may equivalence relations on the disjoint union of sets be understood as jointly epic cospans. With the ensuing notion of composition inherited from the pushout of cospans, we call these equivalence relations \emph{corelations}. We define the category of corelations between finite sets and prove that it is equiv…
▽ More
Just as binary relations between sets may be understood as jointly monic spans, so too may equivalence relations on the disjoint union of sets be understood as jointly epic cospans. With the ensuing notion of composition inherited from the pushout of cospans, we call these equivalence relations \emph{corelations}. We define the category of corelations between finite sets and prove that it is equivalent to the prop for extraspecial commutative Frobenius monoids. Dually, we show that the category of relations is equivalent to the prop for special commutative bimonoids. Throughout, we emphasise how corelations model interconnection.
△ Less
Submitted 29 January, 2016; v1 submitted 10 January, 2016;
originally announced January 2016.
