representable functor
functor F: C → Set to the category of sets, naturally isomorphic to a hom-functor hom(X, –) for some object X in C
group scheme
group object in the category of schemes
functor F: C → Set to the category of sets, naturally isomorphic to a hom-functor hom(X, –) for some object X in C