1 citations · 2 across the 7 of their papers we have counts for
7 papers
Hippogriff: a semantic approach to uniting core and modules
Owen Lynch, Sam Staton
In this paper we introduce Hippogriff, a language with a module system that unifies syntax between the core level and the module level. Hippogriff's type theory is dependent, with…
Clock systems for stochastic and non-deterministic categorical systems theories
Owen Lynch, David Jaz Myers, Eigil Fjeldgren Rischel +1
One of the characteristic features of categorical systems theory is that the behavior of systems can be characterized by certain morphisms into them. In other words, behaviors form…
Directories: A Convenient and Well-Behaved Formalism for Hierarchical Organization in Categorical Systems Theory
Owen Lynch, Markus Lohmayer
This paper introduces an inherently strict presentation of categories with products, coproducts, or symmetric monoidal products that is inspired by file systems and directories. Ra…
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…
Relational Composition of Physical Systems: A Categorical Approach
Owen Lynch
In this master's thesis, we rigorously develop two frameworks of relational composition of systems using tools from category theory. The first framework addresses port-Hamiltonian…