axiomatisation 1complete lattices 1continuous algebras 1hypotheses 1kleene algebra 1regular tree languages 1
From the 1 of 3 linked papers with an AI index.
3 papers
cs.LO2026
Continuous Algebras with Hypotheses
Lukas Mulder, Damien Pous, Jana Wagemaker
The paper introduces a unified framework for many Kleene algebra variants by using continuous algebras ordered by complete lattices, gives a canonical model of closed languages, an…
math.CT2026
Measuring data types
Lukas Mulder, Paige Randall North, Maximilien Péroux
In this article, we combine Sweedler's classic theory of measuring coalgebras -- by which -algebras are enriched in -coalgebras for a field -- with the theory of W-types…
math.CT2026
Functoriality of Enriched Data Types
Lukas Mulder, Paige Randall North, Maximilien Péroux
In previous work, categories of algebras of endofunctors were shown to be enriched in categories of coalgebras of the same endofunctor, and the extra structure of that enrichment w…