Basic Category Theory for Computer Scientists (Foundations of Computing)

著者 : Benjamin C.Pierce

• The MIT Press (1991年8月7日発売)

感想・レビュー・書評

[会津大学情報センター（附属図書館）さんの感想 · 2013年6月25日]

教員からのコメント：様々な分野の計算機科学の理論的研究で重要な役割を果たすカテゴリー理論の基礎と計算機科学への応用を解説した本であるため。カテゴリー理論に関する本は会津大学図書館にも多くの本があるが、この本はひじょうに薄いのにもかかわらず、カテゴリー理論の分野で特に計算機科学への応用上重要な概念を短い時間で効率よく学べる点が他の厚い本とは異なる。既に出版されたから長い年月が経っているが、いまだに類書は存在しない。そのため、修士研究や博士研究で、この分野の知識が必要になった大学院生が手っ取り早く必要な知識を得るのにもっとも適した本であると言える。

[keigoiさんの感想 · 2010年2月3日]

圏論の言葉とプログラミングの言葉が対応づけられている。一生懸命読んだけど、Adjunction? Adjunct? が分からず、それっきり。