1 paper · 1 filter
Kobe Wullaert, Niels van der Weide
The development of category theory in univalent foundations and the formalization thereof is an active field of research. Categories in that setting are often assumed to be univale…