だいぶ前に、スターバックスのナプキンに絵を描いてスキャンした（そんとき説明も付けていたんだった）。なんか古代の壁画みたいだが。絵のみ：dynamics-additive-trace.jpg左から右、上から下の順で説明をする； 自分で納得してこれだけの絵を描けるように…

決めた。実行が速いし簡単。推論が大変になるけど、トレードオフ。

Cが圏で、Cからの集合圏への共変関手を単にC-関手と呼ぶことにする。C-関手の全体はSetC だが、上付きが嫌なら [C, Set] を使う。Cを[C, Set]に米田埋め込みできるが、埋め込み自体は反変関手になる。A∈|C|として、Aの埋め込み像をA_ とすると、関手 A_ は共…