Owen Lynch

a picture of me in front of a blackboard

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

Software