.函子的表示在同构的意义下唯一。换言之，如果 formula_105 与 formula_106 表示同一个函子，那么存在唯一的同构 formula_107 使得作为从 formula_109 到 formula_110 自然同构相等。这一事实可由米田引理简单得出。用泛元素的语言表述如下：如果 formula_111 与 formula_112 表示同一个函子，那么存在唯一的同构 formula_107 使得 
保极限性.可表函子自然同构于Hom函子，因而享有许多后者的性质