明日随伴関手の話をするのでそのための資料。取りあえず書きかけだけど公開する。後で直す。 - C と D はカテゴリ、F は C から D への関手。G は D から C への関手とする。Hom_C(A,B) でカテゴリ C での対象A から対象B への射の集まりを表わすことにする…

first と pure は図式の中では関手っぽさを出すため First と Pure のように先頭大文字にしてみた。多相なものには気分によって型を補足した。１．［拡張］ first (pure f) = pure (f×id)Hom(X,Y) で X から Y への射の集まりを表すと (-)×id_D Hom(B,C) ---…