Old/sampou.org/CategoryTheory_圏論関係リンク集

CategoryTheory_圏論関係リンク集

CategoryTheory:圏論関係リンク集

圏論関係で役立ちそうなところをがしがしリンク

テキストなど

数学テキスト

  • S.マックレーン (著), 三好 博之 (翻訳), 高木 理 (翻訳), 『圏論の基礎』
    • amazon.co.jp
    • バイブルの日本語訳
    • 数学（代数）のバックグラウンドがしっかりある人向け

CS向け

  • Steven Awodey, “Categories for Everybody”
  • Andrea Asperti and Giuseppe Longo, “Categories, Types and Structures”
  • Rydeheard and Burstall, “Computational Category Theory”
  • 横内寛文, 『プログラム意味論』
    • カテゴリーの解説は必要最低限に抑えられている。
  • Benjamin C. Pierce, “Basic Category Theory for Computer Scientists”
    • 薄いしexampleやexcersiceもコンピュータ関係ネタになっているので、とっつきやすいかも。
    • でも多分、この本まででは物足りないと思われ。
  • Roy L. Crole, “Categories for Types”

  • J. lambek and p.J.Scott, “Introduction to Higher Order Categorical Logic”

  • Michael Barr and Charles Wells, “Category Theory for Computing Science”
  • “Categories for Software Engineering”
    • amazon.co.jp
    • ソフトウェア工学向けのカテゴリーのテキスト。異色。

モナド関係論文

  • “Monads and Effects”
    • APPSEM’00 Summer School, LNCS 2395, 2002.
  • “Notions of computation and monads”
    • Information And Computation, 93(1), 1991.

その他

Last modified : 2007/02/07 20:53:52 JST