[[!redirects category]] [[!redirects categories]] < [[nlab:univalent category]]