Basic Category Theory for Computer Scientists

Basic Category Theory for Computer Scientists
Author :
Publisher : MIT Press
Total Pages : 117
Release :
ISBN-10 : 9780262326452
ISBN-13 : 0262326450
Rating : 4/5 (52 Downloads)

Book Synopsis Basic Category Theory for Computer Scientists by : Benjamin C. Pierce

Download or read book Basic Category Theory for Computer Scientists written by Benjamin C. Pierce and published by MIT Press. This book was released on 1991-08-07 with total page 117 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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. 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. Contents Tutorial • Applications • Further Reading


Basic Category Theory for Computer Scientists Related Books

Basic Category Theory for Computer Scientists
Language: en
Pages: 117
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 1991-08-07 - Publisher: MIT Press

DOWNLOAD EBOOK

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including l
Category Theory for Computing Science
Language: en
Pages: 352
Authors: Michael Barr
Categories: Computers
Type: BOOK - Published: 1995 - Publisher:

DOWNLOAD EBOOK

A wide coverage of topics in category theory and computer science is developed in this text, including introductory treatments of cartesian closed categories, s
Category Theory for the Sciences
Language: en
Pages: 495
Authors: David I. Spivak
Categories: Mathematics
Type: BOOK - Published: 2014-10-17 - Publisher: MIT Press

DOWNLOAD EBOOK

An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences. Category theory was invented in
Basic Category Theory for Computer Scientists
Language: en
Pages: 126
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 1991-08-07 - Publisher: MIT Press

DOWNLOAD EBOOK

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including l
Basic Category Theory
Language: en
Pages: 193
Authors: Tom Leinster
Categories: Mathematics
Type: BOOK - Published: 2014-07-24 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A short introduction ideal for students learning category theory for the first time.