TOP ==> FCS Seminar ホームページ

1998年度後期 数理論理学(大学院理学研究科数学専攻修士課程)・計算数学特論(数学科4年)

豊穣圏と高次元圏(II)--応用--(辻下 徹)

毎週金曜日10:30-12:00(10月16日開講)
理学部4号館508教室
99.2.19

豊穣圏と高次元圏の枠組みは<プロセス>をテーマとする計算機科学において, プロセス間の関係について議論するには適切な枠組みを提供する場合が多い. 今年度は,具体的な問題が,これらの枠組みを通してどの様に表現され,どのよ うに解析されるかに焦点を合わせたい.前年度の講義とは独立に理解できるよ うに工夫する.

資料

  • 1-2節:Hypercategory( PDF file , PS file ) (98.11.6 更新)
  • 3節:Hypercategory の例( PDF file , PS file ) (98.11.6 更新)
  • 4節:2-Hypercategory( PDF file , PS file ) (98.11.13 更新)
  • 5節:高次元 hypergraph ( PDF file (98.12.24 更新))(98.11.20,27,4)
  • 6節:高次元 hypercategory ( PDF file (98.12.24 更新))(98.12.11,12.22)
  • 7節:bicategory と 1-weak 2次元hypercategory (98.12.22)
  • 8節:自由hypercategory (99.1.29,2.5) ( PDF file )
  • 9節:hypercategory のfunctor について (99.2.12)
  • 10節:まとめ(99.2.19)( PDF file )