トップ «前の日記(2010-08-14) 最新 次の日記(2010-08-23)» 月表示 編集

日々の流転


2010-08-21 [長年日記]

λ. CLTT読書会 第5回

RWH読書会だけでなく、これも前回お休みしていたので、久しぶり。 Section 1.6 から Section 1.7 の Lemma 1.7.6 まで。

Tags: 圏論

λ. モナド納涼会

に参加。

Tags: 圏論