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):||6 March 2016|
|PDF File Size:||7.31 Mb|
|ePub File Size:||3.26 Mb|
|Price:||Free* [*Free Regsitration Required]|
Reck, History and Philosophy of Logic23pp. Dover is very good at producing affordable editions of interesting books, categody one has to wait.
Read, highlight, catgeory take notes, across web, tablet, and phone. Alexandre Guay rated it really liked it Dec 10, Description About the Author s Table of Contents Reviews Description A comprehensive reference to category theory for students and researchers in awdoey, computer science, logic, cognitive science, linguistics, and philosophy.
June 12, at 2: The definitive starting point So, if you are as into category theory as I am, I’d suggest to go through this one first.
For example, the whys and wherefores of the first example of a universal mapping property are not really explained that well nor why we should be particularly interested in free categories.
Proudly powered by WordPress.
Jonathan Sterling rated it really liked it May 27, Butz, Journal of Symbolic Logic 65 3pp. 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.
Request an Inspection Copy. 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.
Category Theory – Steve Awodey – Google Books
Good range of examples and exercises. Goodreads helps you keep track of books you catehory to read. Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. An extra topic of cartesian closed categories and the lambda-calculus is also provided – a must for computer scientists, logicians and linguists!
How does the introductory first chapter work on this level? 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. Journal of Pure and Applied Algebrapp. Groups and Categories 5: Sergey Dmitriev rated it it was amazing Jan 07, December 10, at 3: The Mathematical World of Charles Categoy.
I find Category Theory really tough, but this filled in some of the missing pieces. Groups and Categories 5.
Well, to be frank, still not entirely brilliantly. John rated it really liked it Jan 21, Slides from a talk at CMU, March Hellman’s question “Does category theory provide a framework for mathematical structuralism? The typical delivery time is 2 weeks. Oxford University Press Amazon.
User Review – Flag as inappropriate Useful starting point as a beginner. Functorial Semantics for Higher-Order Logic. Oxford University Press is a department of the University of Oxford. Ebsco Publishing- Mathematics – catfgory.
Awodey’s Category Theory: Ch. 1
Dissertation, The University of Chicago The basic definitions, theorems, and proofs are made accessible by assuming few mathematical pre-requisites but without compromising mathematical rigour.
Notes from a talk at IAS, December Reviews “The book is well organised and very well written.
Warren, Journal of Symbolic Logic It is ostensibly aimed at the High School level. Nathan rated it really liked it Feb 15,