[[!redirects univalence]] [[!redirects univalent]] [[!redirects univalent universe]] [[!redirects univalent universes]] [[!redirects univalence axiom]] < [[nlab:univalence axiom]] category: redirected to nlab