9 citations · 26 across the 9 of their papers we have counts for
1 paper · 1 filter
Kobe Wullaert, Ralph Matthes, Benedikt Ahrens
Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories an…