1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
Daniel Gratzer, Håkon Gylterud, Anders Mörtberg +1
When working in Homotopy Type Theory and Univalent Foundations, the traditional role of the category of sets, Set, is replaced by the category hSet of homotopy sets (h-sets); types…