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