トップ «前の日記(2010-09-11) 最新 次の日記(2010-09-26)» 月表示 編集

日々の流転


2010-09-18 [長年日記]

λ. CLTT読書会 第6回

今回は、1.7 Categories of fibrations の Lemma 1.7.6 後の 2 categorical struture のところから Exercise 1.7.2 くらいまで。

Tags: 圏論