1997計算数学1資料
第1回〜第12回をまとめた資料
(PS file97.10.16)
目次(以下はdviファイル)
第1回(カテゴリーの定義と例)
(97.4.11)
第2回(カテゴリーの構成)
(97.4.18)
第3回(対象の構成:積)
(97.4.25)
第4回(対象の構成:和)
(97.5.2)
第5回(函手)
(97.5.9)
第6回(自然変換)
(Ver 1.1 97.5.16)
第7回(米田の補題)
(97.5.23)
第8回(極限)
(97.5.30)
演習問題の解答1
(97.5.9)
第9回(余極限)
(97.6.13)
第10回(集合圏の性質)
(97.6.20)
第11回(集合圏の性質(2))Ver 0.95
(97.6.27)
第12回(Cartesian Closed Category, Adjunction)Ver 0.9
(97.7.4)
第13回(Categorical logic I)Ver 1.1
(97.7.11)
第14回(Algebraic Theory)Ver 0.8
(97.7.18)
第15回(Hyperdoctrine)Ver 0.9
(97.9.19)
第16回(Hyperdoctrine 続き,topos,目次)Ver 0.9
(97.9.26)