4 citations · 12 across the 8 of their papers we have counts for
3 papers · 1 filter
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…
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…
Bicategories in Univalent Foundations
Benedikt Ahrens, Dan Frumin, Marco Maggesi +2
We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)categories studied by Ahrens, Kapulkin, and Shulman, we define and study univalent…