EGAVE

representable functor

Meaning

  1. noun A functor from some category to the category of sets (Set) which is naturally isomorphic to a hom functor.

Similar words

functor full functor yoneda functor morphism set yoneda lemma identity functor functor category faithful functor hom-set group functor

Save “representable functor” to learn later