3 papers
cs.PL2026
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…
math.CT2026
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…
math.CT2025
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…