13 citations · 28 across the 14 of their papers we have counts for
3 papers · 2 filters
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 ca…
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…
Insights From Univalent Foundations: A Case Study Using Double Categories
Nima Rasekh, Niels van der Weide, Benedikt Ahrens +1
Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced area…