13 citations · 28 across the 14 of their papers we have counts for
Showing 2023 · math.CTShow all
2 papers · 2 filters
math.CT2023
Univalent Double Categories
Niels van der Weide, Nima Rasekh, Benedikt Ahrens +1
Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only inc…
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…