[[!redirects dagger category]] [[!redirects dagger categories]] < [[nlab:univalent dagger category]] category:redirected to nlab