| ||||||||||||
Did you know you can trade in your old books for an Amazon.co.uk Gift Card to spend on the things you want? Plus, get an extra £5 Gift Certificate when you trade in books worth £10 or more before June 30, 2012. Visit the Books Trade-In Store for more details. |
Frequently Bought Together
Product details
|
More About the Author
Product Description
Product Description
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.
About the Author
Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
What Other Items Do Customers Buy After Viewing This Item?
Customer Reviews
There are no customer reviews yet on Amazon.co.uk.
5 star
4 star
3 star
2 star
1 star
Most Helpful Customer Reviews on Amazon.com (beta)
Amazon.com:
9 reviews
43 of 44 people found the following review helpful
Really expensive for a set of notes...
7 Dec 2005
Format:Paperback
You can find better introductions to category theory available on the net for free. Try searching for Lambert Meertens, Marten Fokkinga, and Jaap Van Oosten, for example. Or Barr and Wells, Triples, Toposes, and Theories. Or Asperti and Longo. Or watch Eugenia Cheng's videos on YouTube, which are fantastic.
But if you want to buy a book, get Barr and Wells, Category Theory for Computing Science. Unfortunately, you have to order it directly from the University of Montreal. It's a great book, by far the best intro to category theory available, *way* better than this! Then, after that, you can read MacLane...
But if you want to buy a book, get Barr and Wells, Category Theory for Computing Science. Unfortunately, you have to order it directly from the University of Montreal. It's a great book, by far the best intro to category theory available, *way* better than this! Then, after that, you can read MacLane...
32 of 34 people found the following review helpful
Too terse
28 Mar 2004
Format:Paperback
This is a very short book: 70 pages of text + a bibliography. The first 50 pages are about general category theory, and the last 20 pages are specifically for computer scientists. My interest is in general category theory, and I bought this because I have a BS in CS and thought I'd find plenty of familiar examples. Unfortunately this book doesn't have nearly enough examples. I found it easier to skim some undergrad abstract algebra books in the library (groups, rings, vector spaces) and then continuing with category theory intros written for math students.
18 of 19 people found the following review helpful
Basic crib sheet for category theory
2 April 2006
Format:Paperback
Anyone coming to this book from Pierce's "Types and Programming Languages" will be disappointed. While his "Types ..." book is a model of clear exposition, this book reads like a set of notes jotted down on the back on an envelope. The extensive bibliographic sections are more than fifteen years out of date. Much of the material referenced is no longer in print, and recent developments are, of course, not mentioned. Those seeking a very gentle introduction to category theory would do better with the book by Lawvere and Schanuel, who cover more of category theory than Pierce. Mathematically mature computer science readers will find everything they need to know about the subject in Mac Lane's book.
Were these reviews helpful?
Let us know
Listmania!
Look for similar items by category
- Books > Computing & Internet > Computer Science
- Books > Computing & Internet > Digital Lifestyle > Online Shopping > Amazon
- Books > Science & Nature > Mathematics > Discrete Mathematics
- Books > Science & Nature > Mathematics > History of Mathematics
- Books > Science & Nature > Mathematics > Mathematical Foundations > Mathematical Logic
- Books > Science & Nature > Popular Science > Maths
- Books > Scientific, Technical & Medical
Look for similar items by subject
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
|
