カルテシアン射の言い換えで簡単に証明できるCLTTの演習問題があったので書いておく。 f がカルテシアンで, g, h が関手で同じ射に移る*1とき, g;f = h;f ならば g = h. 証明 g, h ∈ Lifts( f, g; f ) pg = ph ∈ Lifts(pf, (pg);(pf))で, g, h は共に関手 p …

ふと思い立って肉じゃがを作ったら予想以上にうまくいったのでメモ。 縛りとしては、醤油、砂糖、みりんは持ってないから使わない。かわりにめんつゆ(濃縮2倍)を使う。 参考にしたのはこのレシピ。 材料 分量は全部1にした。だいたい2人分ぐらいじゃないかな…