可表函子

設D有小態射集。則函子K:D→Set的表示為對<r,φ>，其中r∈Ob(D)，φ:D(r,-)≅K為自然同構。r稱為表示對象。若K存在表示，則K稱為可表函子。所以在同構的意義下，可表函子就是共變Hom函子D(r,-)。 ^[1] 

設C為局部小范疇，並記集合範疇為Set 。對C中的每個對象A以Hom(A,-)指代將對象X映到集合Hom(A,X) 的Hom函子。

函子F是可表函子，當且僅當存在C中某個對象A使得F自然同構於Hom(A,X)。而滿足

為自然同構的對(A,Φ)則稱為F的一個表示。

從C到Set 的反變函子G不過是（共變）函子

，常被稱作預層。與共變的情況相似，預層是可表的當它自然同構與某個反變的Hom函子 Hom (-,A)，其中 A是C 中的某個對象。

根據米田引理，從Hom (-,A)到 F 的自然變換與集合

一一對應。給定自然變換

，與之對應的元素

由

給出。反之，給定元素

，可以如下定義自然變換

其中 f 是Hom (A,X)中的任意元素。為了得到 F 的表示，我們需要確定 u誘導的自然變換何時會是同構。這引導出如下定義：

函子

的泛元素是由C中的對象 A與 F(A) 中的元素 u 組成的一對 (A,u)，使得對於任意滿足

的對 (X,v)，都存在唯一映射

使得

。

泛元素還可看作從單點集合

到函子{ F}的泛態射，又或者看作{ F}的元素範疇中的始對象。

函子的表示在同構的意義下唯一。

換言之，如果

與

表示同一個函子，那麼存在唯一的同構

使得

用泛元素的語言表述如下：如果

與

表示同一個函子，那麼存在唯一的同構

使得

可表函子自然同構於Hom函子，因而享有許多後者的性質。尤其值得注意的是，（協變）可表函子保持所有極限。由此可得，未能保持某些極限的函子都不是可表的。

相似地，反變可表函子把餘極限映到極限。

如果函子

帶有左伴隨，那麼它就可由

表示；這裏

是某個單元素集合，而

是伴隨的單位。

反之，如果

由對(A,u)表示，且 A 的任意上冪在

中都存在，那麼

擁有左伴隨F，後者將任意集合 I映到 A 的I 次上冪。

所以，如果

是帶所有上冪的範疇，則函子

是可表的當且僅當它擁有左伴隨。