[[!redirects functor]] [[!redirects functors]] < [[nlab:functor]] category:redirected to nlab