1 citations · 1 across the 4 of their papers we have counts for
5 papers · 1 filter
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…
Comparing semantic frameworks for dependently-sorted algebraic theories
Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North
Algebraic theories with dependency between sorts form the structural core of Martin-Löf type theory and similar systems. Their denotational semantics are typically studied using c…
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…
Categorical Diffusion of Weighted Lattices
Robert Ghrist, Miguel Lopez, Paige Randall North +1
We introduce a categorical formalization of diffusion processes for network-structured data, motivated by applications in data science and information dynamics. At the heart of our…
Algebraic Presentations of Type Dependency
Benedikt Ahrens, Jacopo Emmenegger, Paige Randall North +1
C-systems were defined by Cartmell as the algebraic structures that correspond exactly to generalised algebraic theories. B-systems were defined by Voevodsky in his quest to formul…