Representability through the category of elements
= Representability through the category of elements
For $F:\mathcal C\to\mathbf{Set}$, the comma category $(1\downarrow F)$ is the category of elements: an object is $(A,a)$ with $a\in F(A)$. Its initial objects are exactly the <representation of a functor>[representations] of $F$.