ein Funktor mit zusätzlicher Eigenschaft.

Sei \({\mathcal{A}}\) eine Kategorie und F : \({\mathcal{A}}\to {\mathcal{S}}\) ein ko-varianter Funktor mit Werten in der Kategorie der Mengen. Der Funktor F heißt darstellbarer Funktor, falls es ein Objekt R aus \({\mathcal{A}}\) gibt und eine natürliche Äquivalenz

\begin{eqnarray}\eta :{{\rm{Mor}}}_{{\mathcal{A}}}(R,-)\to F(-)\end{eqnarray}