ゲッ、堕読用の本が（少なくとも1冊）読んでないのにもうない。いったいどこにいったんだ？なんでこうなくなる？なくすんだ？ンッモーーーー！！！

珍しく、夜まで人と会っていた。 「図式をにらみながら非形式的な運算」という部分をもう少しなんとかできないものか？ 僕はどこにも何も書いてない。まずい。これはまずい。非常にまずい。 子供は寝ちゃったろうから、 非形式的な運算を形式化する 荷電境界…

荷電境界付き有向グラフは、すごくいい例。面白いオモチャ。なのに、僕はどこにも何も書いてない。まずい。これはまずい。非常にまずい。

C⊆X⊆Setの状況（具象圏のsetting）で、^:X×Cop→X が2変項関手であることはわかった。Cに積と和があるとき、次も成立。 f^1 ≒ f f^0 ≒ 1 f^(k×j) ≒ (f^k)^j f^(k + j) ≒ f^k×f^j 形式上は非常に単純で憶えやすいのだが、図式を追い回すだけだと混乱する。図式…

今さら、こんなこと書いて、つう感じもするが、、、Xはとりあえず集合部分圏だとしておく（X→Setって忘却埋め込みがある）、CはXの適当な部分圏（Xでもよい）の逆圏。k:A→B in Cは、k:A←B in Xとなる。対象U∈|X|, A∈|C|に対して、U^A = UAとする。U^AはXのな…