日々の流転

λ. 向井研最終レポート

必死になって仕上げる。下らないことで時間をくってしまったせいで、かなりギリギリになってしまった。締め切りを数時間オーバして、ようやくレポートをメールできた。

その下らない事というのは、An Introduction to Domain Theory - Notes for a Short Course (Corso di TEORIA DEI DOMINI E SUE APPLICAZIONI / Prof. M. Mislove) の projective diagram と projective limit のところで、任意の有限部分集合が最小上界を持つ半順序集合を directed set と呼んでいて、directed set D を形とするようなダイアグラム Δ: D→C を projective diagram と呼んでいるのだけど、このダイアグラムの射の向きを逆に考えてた事。正しい射の向きは大きいほうから小さいほうへなのだけど、その逆だと勘違いしていた。

だって、その直前で、半順序集合のadjoint 「f(a)≦b ⇔ a≦g(b) 」を、圏論でのadjoint「Hom_D(F(A), B) ~= Hom_C(A,G(B))」とみなせるというような話があったので、そりゃ小さいほうから大きいほうへ向かうと考えたくなるじゃん。

λ. 最近の妖々夢

• th7_01.rpy
• th7_02.rpy
• th7_03.rpy