Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1710.00098

A Compositional Framework for Bond Graphs

Brandon Coya
View original source ↗Read source document ↗Export metadata ↓

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 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.

Explore related subjects

math.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Brandon Coya. 2017-09-29. A Compositional Framework for Bond Graphs. https://arxiv.org/abs/1710.00098

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Formal weakly enriched category theory

A formal category theory is constructed (in the form of a proarrow equipment), encoding weak coherent enrichment over a monoidal model category $\mV$. We describe how basic categorical concepts formulated via the equipment translate back to enriched categories. We characterize Dwyer-Kan equivalences of enriched categories as $2$-categorical equivalences. Specializing to either the Kan-Quillen model structure on simplicial sets, or the Quillen-Serre model structure on topological spaces, we prove that the resulting formal category theory is equivalent to the one associated with the $\infty$-cosmos of quasicategories, thereby extending the formal approach to $(\infty,1)$-categories in the sense of Riehl-Verity to encompass both simplicial and topological categories. A notion of classifying object, formulated internally to the equipment of $\mV$-categories, leads to enriched versions of Quillen's Theorem A.

math.CT↗
arXiv2026

Conservative functors to pointed categories

Many results in categorical algebra rely fundamentally on pointedness, yet numerous categories of mathematical interest are not pointed. Building on ideas from the theory of ideally exact categories, recently introduced by G. Janelidze, we investigate the extent to which constructions and results from pointed contexts can be extended to categories admitting suitable forgetful functors to pointed categories. We introduce the notion of a propointed category, described as a category admitting a conservative right-adjoint functor to a pointed lex category, and give an intrinsic characterisation of this notion. We then investigate and characterise the cases in which the target of the given functor is pointed protomodular, homological, or normal, and establish within these settings generalisations of classical results - including the short five lemma, the nine lemma, and Noether's isomorphism theorems - as well as a well-behaved notion of ideal of an object. We also prove that the 2-category of pointed lex categories is 2-reflective in the 2-category of lex categories with an initial object, the reflection being given by the slice over the initial object, which thus provides a universal 'pointification'.

math.CT↗
arXiv2026

A Categorical Generalization of Counterpoint

We extend Mazzola's counterpoint model using category theory, generalizing from the category $\mathbf{Set}$ to an arbitrary topos other than $\mathbf{Set}$. This generalization suggests that counterpoint's essential structure depends on specific categorical conditions rather than classical set-theoretic reasoning. A key contribution is identifying sufficient requirements for a well-behaved counterpoint theory in a topos: some version of Zorn's Lemma (GJZL), and two-valuedness and split supports (NS). Within a topos, we introduce (weak) quasidichotomies alongside the classical notion of dichotomy. These structures capture varying degrees of oppositional structure between consonance and dissonance, with weak quasidichotomies preserving the non-Boolean flexibility essential to musical practice while quasidichotomies represent maximal opposition short of complete partition. We prove a generalized counterpoint theorem giving sufficient conditions for the existence of admitted successors. When the ambient topos turns non-zero successor objects into points, admitted succession can be iterated to form counterpoint paths, which may terminate at consonances with no admitted successor. The framework naturally accommodates counterpoint with sets instead of pure pitches, relaxing the ``yes/no'' character of classical consonance definitions and emphasizing context-dependence. Mazzola's model allows a Kuratowski closure operator induced by a polarity, which defines an internal topology enabling algebraic-topological analysis of counterpoint structure. We conclude by showing this construction generalizes to involutive morphisms. This categorical approach provides foundations for understanding both the historical evolution of contrapuntal practice and cross-cultural divergences in interval organization.

math.CT↗