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.
|Published (Last):||2 August 2009|
|PDF File Size:||19.92 Mb|
|ePub File Size:||19.69 Mb|
|Price:||Free* [*Free Regsitration Required]|
Some of the notation is not even really introduced in Ch. Carus, Erkenntnis 54pp.
The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor catgory representables; Yoneda’s lemma; adjoints; monads. 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.
Hand Request an Inspection Copy. Click here for more information.
Category Theory by Steve Awodey
The basic definitions, theorems, and proofs are made accessible by assuming few mathematical pre-requisites but without compromising mathematical rigour. Jun 19, Santino Maguire rated it really awoeey it.
Preview — Category Theory by Steve Awodey. Mateusz rated it liked it Dec 02, Second editionnow in paperback! Meangrape rated it liked it May 27, My library Help Advanced Book Search.
Daniel rated it really liked it Feb 01, February 20, at 1: I gather that category theory is much more general. Warren, Journal of Symbolic Logic Bulletin of Symbolic Logic.
Awodey’s Category Theory: Ch. 1 – Logic MattersLogic Matters
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.
Oxford University Press is a department of the University of Oxford. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study. Actually, I had occasion a few weeks ago to re-read the opening chapters of Awodey and I was wondering if my earlier reaction was too harsh ….
This text categkry a comprehensive reference to category theory, containing exercises, for researchers and graduates in philosophy, mathematics, computer science, logic and cognitive science. Nachi Vpn awodwy it liked it Jan 20, Dissertation, The University of Chicago More information on this research program can be found on the site HomotopyTypeTheory.
Refresh and try again. February 19, at 8: It furthers the University’s objective of excellence in research, scholarship, and education by publishing worldwide.
Kishida, The Review of Symbolic Logic Ebsco Publishing- Mathematics – pages. The Logical Must Penelope Maddy. An extra topic of cartesian closed categories and the lambda-calculus is also provided; a must for computer scientists, logicians and linguists!
Selected pages Title Page. Hao rated it liked it Jul 08, Higher Education Skip to main content. To purchase, visit your preferred ebook provider.
It furthers the University’s objective of excellence in research, scholarship, and cafegory by publishing worldwide. Likewise, I bet no one will understand Remark 1.
If you’re not a graduate-level mathematics student, don’t even consider it. Categories of Diagrams 9: Mark Gomer rated it really liked it Jan 01, VgAcid rated it it was amazing Aug 29, This text and reference book is aimed not only at awodwy, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied.
Oxford University Press Amazon.
Composition as Identity Aaron J. If you like books and love to build cool products, we may be looking for you. The Mathematical World of Charles L. Although it assumes few mathematical pre-requisites, the standard of mathematical rigour is not compromised. It is ostensibly aimed at the High School level.