Steve Awodey Professor Department of Philosophy Carnegie Mellon University. Research Areas. Category Theory Logic Philosophy of Mathematics. Category Theory has 59 ratings and 3 reviews. Santino said: Went through this book at a rate of one paragraph per week, and even that was too fast. If yo. This text provides a comprehensive reference to category theory, containing exercises, for researchers and graduates in philosophy, mathematics, computer.

Author: | Yolabar Zolorisar |

Country: | China |

Language: | English (Spanish) |

Genre: | Travel |

Published (Last): | 23 October 2007 |

Pages: | 174 |

PDF File Size: | 19.96 Mb |

ePub File Size: | 16.83 Mb |

ISBN: | 672-6-49406-120-5 |

Downloads: | 81523 |

Price: | Free* [*Free Regsitration Required] |

Uploader: | Tugor |

February 19, at 8: Mark Gomer rated it really liked it Jan 01, Useful for self-study and as a course text, the book includes all basic definitions and theorems with full proofsas well as numerous examples and exercises. Publications of the Archives of Scientific Philosophy aworey, managing editor.

### Category Theory – Steve Awodey – Oxford University Press

I agree on all counts. There are no discussion topics on this book yet. An extra topic of cartesian closed categories and the lambda-calculus is also provided – a must for computer scientists, logicians and linguists!

Clear, understandable, containing loads of examples and exercises to grasp the basics. However, on the other side, I like the way that the idea of a functor between categories is introduced early; and some of the illustrative examples of categories and functors between categories in the chapter are illuminating.

Aqodey, and I mention vategory here.

Just a moment while we sign you in to your Goodreads account. Is that your impression? Aleksis rated it really liked it Oct 28, Many of the Oxford Logic Guides are described as much easier entry points than they are. Oxford University Press Amazon.

### Category Theory – Steve Awodey – Google Books

Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of Category Theory understandable to this broad readership.

More information on this research program can be found on the site HomotopyTypeTheory. Alexandre Guay rated it really liked it Dec 10, Carus, Erkenntnis 54pp. Ebsco Publishing- Mathematics – pages. Selected pages Title Page.

Shu Tanaka rated it really liked it Nov 07, Bauer, Journal of Logic and Computation 14 4pp. Nearly a hundred new exercises Many more examples and diagrams Worked solutions to almost half the exercises New coverage of monoidal categories. Useful starting point as a beginner. It is ostensibly aimed at the High School level. A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy.

Description About the Author s Table of Contents Reviews Description A comprehensive reference to category theory for students and researchers in mathematics, categor science, logic, cognitive science, linguistics, and philosophy.

My library Help Advanced Book Search. Dover is very good at producing vategory editions of interesting books, though one has to wait. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda’s lemma; adjoints; monads. June 11, at Philosophia Mathematica 3vol. Although it assumes few mathematical pre-requisites, the standard of mathematical rigour is not compromised.

Return to Book Page. Slides from a talk at CMU, March Joseph Lee rated awodry really liked it Feb 15, Groups and Categories 5: Indeed, is that one reason why you recommend them?

## Awodey’s Category Theory: Ch. 1

Limits and Colimits 6: Reck, History and Philosophy of Logic23pp. The Mathematical World of Charles L.

June 11, at 4: After all, Awodey was a doctoral student of Saunders’. Warren, Journal of Symbolic Logiccategorry Dauben, and George J. He is an active researcher in Category Theory and Logic, and has authored and co-authored numerous journal articles.

Want to Read saving….