**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. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading.

*"synopsis" may belong to another edition of this title.*

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

*"About this title" may belong to another edition of this title.*

US$ 26.68

**Shipping:**
FREE

From United Kingdom to U.S.A.

Published by
MIT Press Ltd, United States
(1991)

ISBN 10: 0262660717
ISBN 13: 9780262660716

New
Paperback
Quantity Available: 1

Seller:

Rating

**Book Description **MIT Press Ltd, United States, 1991. Paperback. Book Condition: New. Language: English . Brand New Book. 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. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading. Bookseller Inventory # AAU9780262660716

More Information About This Seller | Ask Bookseller a Question

Published by
MIT Press Ltd
(1991)

ISBN 10: 0262660717
ISBN 13: 9780262660716

New
Softcover
First Edition
Quantity Available: 7

Seller:

Rating

**Book Description **MIT Press Ltd, 1991. Book Condition: New. 1991. 1st Edition. Paperback. 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. Series: Foundations of Computing. Num Pages: 116 pages, 60. BIC Classification: PBC; UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 228 x 176 x 10. Weight in Grams: 224. . . . . . . Bookseller Inventory # V9780262660716

More Information About This Seller | Ask Bookseller a Question

Published by
MIT Press Ltd, United States
(1991)

ISBN 10: 0262660717
ISBN 13: 9780262660716

New
Paperback
Quantity Available: 1

Seller:

Rating

**Book Description **MIT Press Ltd, United States, 1991. Paperback. Book Condition: New. Language: English . Brand New Book. 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. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading. Bookseller Inventory # AAU9780262660716

More Information About This Seller | Ask Bookseller a Question

ISBN 10: 0262660717
ISBN 13: 9780262660716

New
Quantity Available: 3

Seller:

Rating

**Book Description **Book Condition: New. Bookseller Inventory # ST0262660717. Bookseller Inventory # ST0262660717

More Information About This Seller | Ask Bookseller a Question

Published by
MIT Press

ISBN 10: 0262660717
ISBN 13: 9780262660716

New
Paperback
Quantity Available: 2

Seller:

Rating

**Book Description **MIT Press. Paperback. Book Condition: New. New copy - Usually dispatched within 2 working days. Bookseller Inventory # B9780262660716

More Information About This Seller | Ask Bookseller a Question

Published by
MIT Press Ltd

ISBN 10: 0262660717
ISBN 13: 9780262660716

New
Softcover
Quantity Available: 7

Seller:

Rating

**Book Description **MIT Press Ltd. Book Condition: New. 1991. 1st Edition. Paperback. 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. Series: Foundations of Computing. Num Pages: 116 pages, 60. BIC Classification: PBC; UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 228 x 176 x 10. Weight in Grams: 224. . . . . . Books ship from the US and Ireland. Bookseller Inventory # V9780262660716

More Information About This Seller | Ask Bookseller a Question

Published by
MIT Press 1991-09-30
(1991)

ISBN 10: 0262660717
ISBN 13: 9780262660716

New
Quantity Available: 3

Seller:

Rating

**Book Description **MIT Press 1991-09-30, 1991. Book Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Bookseller Inventory # NU-GRD-04730544

More Information About This Seller | Ask Bookseller a Question

Published by
MIT Press

ISBN 10: 0262660717
ISBN 13: 9780262660716

New
Quantity Available: > 20

Seller:

Rating

**Book Description **MIT Press. Book Condition: New. Brand New. Bookseller Inventory # 0262660717

More Information About This Seller | Ask Bookseller a Question

Published by
MIT 1991-09-30
(1991)

ISBN 10: 0262660717
ISBN 13: 9780262660716

New
paperback
Quantity Available: 10

Seller:

Rating

**Book Description **MIT 1991-09-30, 1991. paperback. Book Condition: New. Bookseller Inventory # 9780262660716

More Information About This Seller | Ask Bookseller a Question

Published by
MIT Press
(1991)

ISBN 10: 0262660717
ISBN 13: 9780262660716

New
Softcover
Quantity Available: 2

Seller:

Rating

**Book Description **MIT Press, 1991. Book Condition: New. Bookseller Inventory # EH9780262660716

More Information About This Seller | Ask Bookseller a Question