_125）当且仅当函子 formula_141 对于任意 formula_123 中的对象 formula_61 都可表。此外，伴随正由自然同构 formula_144 给出，即：对于所有formula_61 和 formula_147 都是（自然的）双射。与之对偶的陈述也成立：设 formula_148 为函子，formula_147 为 formula_150 中的对象。那么那么 formula_134 是从formula_125 到 formula_147 的泛态射当且仅当 formula_13