BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Basic Category Theory for Computer Scientists

Basic Category Theory for Computer Scientists

Basic Category Theory for Computer Scientists Paperback / softback - 1991 - 1st Edition

by Benjamin C. Pierce

Add to wish list
  • New
  • Paperback
New

Description

Paperback / softback. New. 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.
Ask the seller a question Add to wish list
A$76.33
A$19.13 Delivery to USA
Standard delivery: 14 to 21 days
More delivery options
Ships from The Saint Bookstore (Merseyside, United Kingdom)

Details

  • Title Basic Category Theory for Computer Scientists
  • Author Benjamin C. Pierce
  • Binding Paperback
  • Edition number 1st
  • Edition 1
  • Condition New
  • Pages 116
  • Volumes 1
  • Language ENG
  • Publisher MIT Press, Cambridge, MA
  • Publication date 1991-08-07
  • Bookseller's Inventory # A9780262660716
  • ISBN 9780262660716 / 0262660717
  • Weight 0.49 lbs (0.22 kg)
  • Dimensions 8.98 x 7.1 x 0.38 in (22.81 x 18.03 x 0.97 cm)
  • Age range 18 to UP years
  • Grade levels 13 - UP
  • Category Mathematics
  • Library of Congress subjects Computer science - Mathematics, Categories (Mathematics)
  • Library of Congress Catalogue Number 91-8489
  • Dewey Decimal Code 511.3
  • Quantity available 10

About The Saint Bookstore Merseyside, United Kingdom

Biblio member since 2018

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Terms of Sale: Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

Browse books from The Saint Bookstore

Reader reviews for Basic Category Theory for Computer Scientists

From the publisher

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

About the author

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