トップ «前の日記(2010-04-16) 最新 次の日記(2010-04-21)» 月表示 編集

日々の流転


2010-04-17 [長年日記]

λ. CLTT読書会第一回

Cartesian Morphism の定義がああなっている動機がわかって良かった。 今のところ、難易度は Preliminaries > Chapter 0 > Chapter 1 のような気がする。

Tags: 圏論