72 citations · 159 across the 26 of their papers we have counts for
1 paper · 1 filter
Benedikt Ahrens, Chris Kapulkin, Michael Shulman
We develop category theory within Univalent Foundations, which is a foundational system for mathematics based on a homotopical interpretation of dependent type theory. In this syst…