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