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