数学者じゃない人が圏論を学ぶ時の勘どころ　その２　ー　圏論における図の書き順について

今週Monashでのシンポジウムで、「随伴　Adjunction」という圏論の概念が、意識研究に使えるのでは？　というトークを行った。そのトークスライドを準備している時にいくつか気づきがあったのでNoteにまとめておきます。

書き順なしでの随伴の説明まず書き順なしに随伴を説明してみる。それがこのNoteの最初の図だ。
目標は、２つの圏が随伴関係にあるとはどういうことかを説明すること。

ここでは