表現可能関手
Sign in to savefunctor F: C → Set to the category of sets, naturally isomorphic to a hom-functor hom(X, –) for some object X in C
functor F: C → Set to the category of sets, naturally isomorphic to a hom-functor hom(X, –) for some object X in C