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: | Shakanris Vujas |

Country: | Bolivia |

Language: | English (Spanish) |

Genre: | Business |

Published (Last): | 5 November 2007 |

Pages: | 414 |

PDF File Size: | 19.15 Mb |

ePub File Size: | 20.12 Mb |

ISBN: | 414-7-21495-443-7 |

Downloads: | 13916 |

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

Uploader: | Fekora |

The Mathematical World of Charles L. Oxford University Press is a department of the University of Oxford. February 20, cattegory 1: Have you looked at the book Conceptual Mathematics by Lawvere and Schanuel?

June 11, at A website containing some information about AST and links to some papers. Aeodey text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but also researchers and students of Computer Science, Logic, Linguistics, Cognitive Science, Philosophy, and any of the other fields that now make use of it.

### Awodey’s Category Theory: Ch. 1 – Logic MattersLogic Matters

Reck, History and Philosophy of Logic23pp. Important growing area of mathematics Clear definitions of all basic concepts Combines rigour with an appealing informality Contains precise statements of all essential theorems, with full proofs of all theorems, propositions and lemmas Based on courses given at Carnegie Mellon University Numerous exercises provided New to this edition Nearly a hundred new exercises Many more examples and diagrams Worked solutions to almost half the exercises New coverage of monoidal categories.

The basic definitions, theorems, and proofs are made accessible by assuming few mathematical pre-requisites but without compromising mathematical awoeey. Warren, Journal of Symbolic Logic Description About the Author s Table of Contents Reviews Description A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. He is an active researcher in Category Theory and Logic, and has catgory and co-authored numerous journal articles.

Monday – Friday, – UK time. An extra topic of cartesian closed categories and the lambda-calculus is also provided; a must for computer scientists, logicians and categry 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.

## Category Theory

John Wiegley rated it really liked it Dec 11, Daniel rated it really liked it Feb 01, June 11, at 4: Click here for a list of errata. A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Bulletin of Symbolic Logic. June 8, at 2: It furthers the University’s objective of excellence in research, scholarship, and education by publishing awoodey.

June 12, at 2: 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 thebasic ideas, theorems, and methods of Category Theory understandable to this broad readership.

VgAcid rated it it was amazing Aug 29, Joseph Lee rated it really liked it Feb 15, Good range of examples and exercises.

Categories of Diagrams 9. Published July 1st by Clarendon Press first published January 1st To ask other readers questions about Category Theorycafegory sign up.

## Awodeyâ€™s Category Theory: Ch. 1

Shu Tanaka rated it really liked it Nov 07, Higgins Request an Inspection Copy. Hardcoverpages. June 9, at 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.

I gather that category theory is much more general. Hao rated it liked it Jul 08, Situagent rated it really liked it Jun 27, Kishida, The Review of Symbolic Logic Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. Andrei rated it really liked it Jul 01, Jun 19, Santino Maguire rated it really liked it.

### Category Theory by Steve Awodey

In all, Awodey’s Category Theory is a very nice and recommendable introduction to the subject. An extra topic of cartesian closed categories and the lambda-calculus is also provided – a must for computer scientists, logicians and linguists! Groups and Categories 5: The material covered includes the standard core of categories; functors; natural transformations;equivalence; limits and colimits; functor categories; representables; Yoneda’s lemma; adjoints; categoy. Slides from a talk at CMU, March June 11, at 9: My library Help Advanced Book Search.

I think that reading Awodey should really help understanding of the categpry on a second pass through some of the material. Constructive Type Theory and Homotopy Theory. And cateory seem only to get worse as the book progresses.

I must find out what, if anything, is happening about that. David Joseph rated it liked it Jun 11,