13 citations · 28 across the 14 of their papers we have counts for
3 papers · 1 filter
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…
From Semantics to Syntax: A Type Theory for Comprehension Categories
Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens +1
Recent models of intensional type theory have been constructed in algebraic weak factorization systems (AWFSs). AWFSs give rise to comprehension categories that feature non-trivial…
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…