[[!redirects extensional category]] [[!redirects extensional categories]] < [[nlab:concrete category]] category:redirected to nlab