存在して以下の図式を可換にする。存在して以下の図式を可換にする。普遍的構成は随伴関手の対より更に一般的である。普遍的構成は最適化問題のようなものだ。全ての対象)について解を持つとき、かつそのときのみ随伴関手の対が得られる。.例編集ここで、この一般的なアイデアを明らかにすべく3つの有効な例を挙げる。読者は導入部で例示した記事を参照すれば、他にもたくさんの例を構築できるだろう。結合的と仮定)とする。各多元環をその基底となるベクトル空間に写す忘却関手とする。