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: | Kazrakasa Tausho |

Country: | Brunei Darussalam |

Language: | English (Spanish) |

Genre: | Science |

Published (Last): | 20 May 2006 |

Pages: | 339 |

PDF File Size: | 14.45 Mb |

ePub File Size: | 17.22 Mb |

ISBN: | 122-5-79043-745-1 |

Downloads: | 52918 |

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

Uploader: | Gugami |

Table of Contents Preface 1: Set Theory Revised second edition John L.

## Category Theory

Choose your country or region Close. Hand Request an Inspection Copy.

The basic definitions, theorems, and proofs are made accessible by assuming few mathematical pre-requisites but Second editionnow in paperback!

The topological interpretation of first-order modal logic. My copy contains a lot of scribbles in the margins when I grasped a concept.

This cztegory was posted in This and that. User Review – Flag as inappropriate Useful starting point as a beginner. Holland Request an Inspection Copy.

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

Aleksis rated it really liked it Oct 28, However, maybe category theory proper is so abstract that the best way to learn it is to first learn it as applied to sets or logic. Nachi Vpn rated it liked it Jan 20, December 10, at 3: Some of the notation is not even really introduced in Ch.

Caegory starting point as a beginner. The material covered includes the standard core of categories; functors; natural transformations;equivalence; limits and colimits; functor categories; representables; Yoneda’s lemma; adjoints; monads. The presentation of the material is from the concrete to the abstract, proofs are worked awodry in detail and the examples and the exercises spread throughout the text mark a pleasant rhythm for its reading.

Hunter Washburne rated it liked it May 20, Reviews “The book is well organised and very well written. 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, awdoey philosophy.

More information on this research program can be found on the site HomotopyTypeTheory. December 6, at 1: June 11, at 9: Sergey Dmitriev rated it it was amazing Jan 07, Cateegory of the Oxford Logic Guides are described as much easier entry points than they are.

The Gabelbarkeitssatz of Category Theory Second Edition Awdey Awodey Oxford Logic Guides 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, includeing nearly a hundred new exercises Worked solutions to almost half the exercises New coverage of monoidal categories New to this Edition: Hellman’s question cqtegory category theory provide a framework for mathematical structuralism?

Nathan rated it really liked it Feb 15, There are no discussion topics on this book yet. Goodreads helps you keep track of books you want to read. Account Options Sign in.

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

David Joseph rated it liked it Jun 11, This 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. Went through this book at a rate of one paragraph per week, and even that was too fast. Composition as Identity Aaron J.