随伴関手の間の自然変換が与えられているとすると、これらすべての定式化から必要な情報を明示的に構成することができて、どれを選ぶか決める必要がない。
假设伴随的自然变化已经给定，所有这些确保了一个明确的构造，且不需要选择原理。