# Definition:Representable Functor

 It has been suggested that this page or section be renamed: Covariant Representable Functor One may discuss this suggestion on the talk page.

## Definition

Let $\mathbf C$ be a locally small category.

Let $\mathbf{Set}$ be the category of sets.

Let $F : \mathbf C \to \mathbf{Set}$ be a covariant functor.

Then $F$ is representable if there exists an object $a\in \mathbf C$ such that $F$ is naturally isomorphic to the covariant hom functor $\operatorname{Hom}(a,-)$.