6 citations · 15 across the 9 of their papers we have counts for
1 paper · 2 filters
Tom de Jong, Martín Hötzel Escardó
It is known that, in univalent mathematics, type universes, the type of n-types in a universe, reflective subuniverses, and the underlying type of any algebra of the lifting mona…