Basic category theory for computer scientists

Benjamin C. Pierce

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading.

「Nielsen BookData」より

[目次]

  • Tutorial
  • applications
  • further reading

「Nielsen BookData」より

この本の情報

書名 Basic category theory for computer scientists
著作者等 Pierce, Benjamin C
シリーズ名 MIT Press series in the foundations of computing
出版元 MIT Press
刊行年月 c1991
ページ数 xiii, 100 p.
大きさ 23 cm
ISBN 9780262660716
NCID BA13076246
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想