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)