随伴の定義はいくつかの示し方があり、文献によってマチマチなので整理する

定義が様々あるのは有用である

証明したいものに便利なものを選択するのが良い

パターン

書くのが簡単

随伴関手を構成したり、随伴であることを証明する場合に必要な検証項目が少ない

最適化に対する直観にもっとも近い方法

もっとも対称性がわかりやすい

これが随伴という単語を使う理由である

随伴関手であることが分かっている関手に関係する証明を書くのに便利である

直接操作できる公式を持つから

前提

記号は揃えた方がわかりやすいので以下に統一する

圏\mathscr{A},\mathscr{B}

関手F:\mathscr{B}\to\mathscr{A}, G:\mathscr{A}\to\mathscr{B}

\mathscr{A}に向かっている方がFであることに注意

自然変換

随伴F\dashv G

FはGの左随伴であり、

GはFの右随伴である

上の定義が全て同じものを表していることの証明

ref 　p.157~