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

日々の流転


2010-07-31 [長年日記]

λ. CLTT の 1.3 Some general examples のノート

CLTT読書会で読んでいる Categorical Logic and Type Theory の、1.3 Some general examples を復習して、練習問題も一通り解いた。

Tags: 圏論