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

日々の流転


2010-07-17 [長年日記]

λ. CLTT の 1.1 Fibrations の練習問題

CLTT読書会で読んでいる、Categorical Logic and Type Theory だけど、最近全然ちゃんと読めていなかったので、一念発起して復習することに。まずは、1.1 Fibrations の練習問題を解いてみた(解いた時のメモ)。 このメモは Note Taker HD で書いてみた(参考: iPadを紙代わりに使うならNote Taker HD - a geek born in Tomakomai)。

Tags: 圏論