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