1 citations · 2 across the 7 of their papers we have counts for
3 papers · 1 filter
Organizing Physics with Open Energy-Driven Systems
Matteo Capucci, Owen Lynch, David I. Spivak
Organizing physics has been a long-standing preoccupation of applied category theory, going back at least to Lawvere. We contribute to this research thread by noticing that Hamilto…
GATlab: Modeling and Programming with Generalized Algebraic Theories
Owen Lynch, Kris Brown, James Fairbanks +1
Categories and categorical structures are increasingly recognized as useful abstractions for modeling in science and engineering. To uniformly implement category-theoretic mathemat…
Exergetic Port-Hamiltonian Systems Modeling Language
Markus Lohmayer, Owen Lynch, Sigrid Leyendecker
Mathematical modeling of real-world physical systems requires the consistent combination of a multitude of physical laws and phenomenological models. This challenging task can be g…