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