トップ «前の日記(2003-07-19) 最新 次の日記(2003-07-26)» 月表示 編集

日々の流転


2003-07-25 [長年日記]

λ. 向井研最終レポート

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

その下らない事というのは、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「HomD(F(A), B) ~= HomC(A,G(B))」とみなせるというような話があったので、そりゃ小さいほうから大きいほうへ向かうと考えたくなるじゃん。

Tags: 向井研

λ. 最近の妖々夢

Tags: 東方