Showing math.CTShow all
3 papers · 1 filter
math.CT2025
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…
math.CT2024
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.CT2023
Coinductive control of inductive data types
Paige Randall North, Maximilien Péroux
We combine the theory of inductive data types with the theory of universal measurings. By doing so, we find that many categories of algebras of endofunctors are actually enriched i…