Owen Lynch
I am a PhD student in Sam Staton’s group at Oxford University and a research software engineer at Topos Research UK. My current aim in research is to build domain specific languages for categorical systems theory.
Publications
- (with Markus Lohmayer) Directories: A Convenient and Well-Behaved Formalism for Hierarchical Organization in Categorical Systems Theory. Preprint available on arXiv
- (with Matteo Capucci and David Spivak) Organizing Physics with Open Energy-Driven Systems. Applied Category Theory 2024, available on arXiv
- (with Brandon Shapiro and David Spivak) All Concepts are Cat#. Applied Category Theory 2023, available on arXiv
- (Master’s thesis) Relational Composition of Physical Systems: A Categorical Approach. Available on arXiv
- (with John Baez and Joe Moeller) Compositional Thermostatics. Journal of Mathematical Physics. Available on arXiv
- (with Evan Patterson and James Fairbanks) Categorical Data Structures for Technical Computing. Compositionality, Volume 4
Talks
- Clock systems for stochastic and non-deterministic categorical systems theories. Applied Category Theory 2025. slides
- Theory and Applications of Type-Theoretic Universes. PUDDLE Seminar, May 22, 2025. slides
- Element Model Type Theory. Oxford Seminar, Topos Institute. video
- Markov Semigroups. Oxford Seminar, Topos Institute. video
- Stateful Lenses: A Recipe for Expressive Systems-Theoretic Cartesian Double Categories. Berkeley Seminar, Topos Institute, video
- Gatlab: Computer Algebra and Standard ML modules combined. Juliacon 2024
- GATlab: Modeling and Programming with Generalized Algebraic Theories. Applied Category Theory 2024
- Structured Data: A Principled Approach. Berkeley Seminar, Topos Institute, video
- Nested wiring diagrams in Semagrams. Applied Category Theory 2023
- Gatlab.jl: Symbolic computing with categories using generalized algebraic theories. Applied Category Theory 2023
- Algebraic Theories and Computer Algebra. Berkeley Seminar, Topos Institute, video
- Composition of Port-Hamiltonian Systems. Berkeley Seminar, Topos Institute, video
- Compile-time programming with CompTime.jl. JuliaCon 2022. video
- Compositional Thermostatics. Applied Category Theory 2022. slides, video
- Operadic composition of thermodynamic systems. Symposium on the Categorical Semantics of Entropy.
- Graphical Semantics Modeling with Semagrams.jl. Applied Category Theory 2021
- Shaped Data with Acsets. JuliaCon 2021. video
- Energy and Entropy. SEMF. slides