A functor is called representable if it is of the form hX where hX(Y)=hom(X,Y) for some X, and is called pro-representable if it is of the form Y→lim hom(Xi,Y) for a filtered direct limit over i in some filtered ordered set.
En funktor säges vara representabel om den är av formen hX där hX(Y)=hom(X,Y) för något X, och säges vara prorepresentabel om den är av formen Y→lim hom(Xi,Y) för ett filtrerat direkt gränsvärde över i i någon filtrerad ordnad mängd.