[[!redirects compact closed dagger category]] [[!redirects compact closed dagger categories]] < [[nlab:compact closed dagger category]]