同様の議論により普遍射による左随伴関手の定義からhom集合の随伴を構成することができる。