[[!redirects functor precategory]] [[!redirects natural isomorphism]] < [[nlab:functor category]]