圏論勉強会への参加を敢行するために、今週はあせりながら"CATEGORIES TYPES AND STRUCTURES "を中心にProductとExponentialとかを勉強した。http://staff.aist.go.jp/kinoshita.yoshiki/intro-cat20060911.pdfこちらに、 Mac Laneを読むのが結局近道 計算機…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。