然同构于 formula_5。而满足为自然同构的对 formula_14 则称为 formula_11 的一个表示。从 formula_1 到 formula_2 的反变函子 formula_18 不过是（协变）函子 formula_19，常被称作预层。与协变的情况相似，预层是可表的当它自然同构与某个反变的Hom函子 formula_20，其中 formula_4 是 formula_1 中的某个对象。
泛元素.根据米田引理，从 formula_5 到 formula_11