Text

Basic category theory for computer scientists

---

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.OCLC-licensed vendor bibliographic record.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

Cambridge, Mass. : : MIT Press,., 1991.

Collation

1 online resource (xiii, 100 pages).

Language

English

ISBN/ISSN

9780262288460

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Computer Science
Categories (Mathematics)

Specific Detail Info

-

Statement of Responsibility

Benjamin C. Pierce.

Other Information

Cataloger

dianna Puji

Source

-

Validator

-

Digital Object Identifier (DOI)

https://direct.mit.edu/books/book/3949/Basic-Category-Theory-for-Computer-Scientists

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment