バタバタといっぱい来た。事務処理弱者としてはすごくすごくつらい。

圏論による論理学―高階論理とトポスのP70の例。縦の矢印は埋め込み写像(なので単射)。 f* f-1(C) ----> C ∨ ∨ ｜ ｜ ↓ ↓ Ａ -----> Ｂ f これがPullbackになっている、というお題。 この例はとても気に入ったけれども、勉強会での議論についていけずPending…

を聞いた。反吐がでそう。