トップ «前の日記(2008-01-12) 最新 次の日記(2008-01-14)» 月表示 編集

日々の流転


2008-01-13 [長年日記]

λ. 第三十六回圏論勉強会

今日は今年最初の圏論勉強会写真

今回もスコットドメインとかの話で、前回「Topology via Logic (Cambridge Tracts in Theoretical Computer Science)(Steven Vickers) を持ってきておけばよかった」と書いたけど、今日も忘れてしまった(・ω・)

Tags: 圏論