随伴は あらゆるところに 現れる - Corollaryは必然に。この記事はCategory Theory Advent Calendar 2018の6日目の記事であることをお知らせします。7日目はmod_poppoさんの「アプリカティブ関手ってなに？モノイド圏との関係は？調べてみました！」です。 Φカフェ数学デーで行われている「『ベーシック圏論』をゆるく読む会」、通称「ゆる圏↻」。前回は第1章のまとめとして「圏・関手・自然変換」について書きました。 corollary2525.hatenablog.com 今回は第2章の随伴です。Saunders Mac Lane の教科書 Categories for the Working Mathematicianには次の標語が載っています : Adjoint functors arise everywhere.「随伴は あらゆるところに 現れる」と訳せば五七五ですね*1。あらゆるところに現れるのであれば随伴は重
