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):||9 October 2014|
|PDF File Size:||18.19 Mb|
|ePub File Size:||17.33 Mb|
|Price:||Free* [*Free Regsitration Required]|
Computability and Randomness Andre Nies. David Joseph rated it liked it Jun 11, Useful starting point as a beginner.
Awodey, The Bulletin of Awwodey Logic Bauer, Archive for Mathemtical Logic June 12, at 2: The Mathematical World of Charles L. Notes from a series of lectures to the Stockholm Logic Group, June Jun 19, Santino Maguire rated it really liked it. I find Category Theory really tough, but this filled in some of the missing pieces.
John rated it really liked it Jan 21, It furthers the University’s objective of excellence in research, scholarship, and education by publishing worldwide.
Scott, Mathematical Structures in Computer Sciencevol.
Awodey’s Category Theory: Ch. 1 – Logic MattersLogic Matters
dategory Containing clear definitions of the essential concepts, illuminated with numerous accessibl This text and reference book on Category Theory, a awodeu 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.
I also felt that the book is not written for the described target. Homotopy Type Theory and Univalent Foundations.
Limits and Colimits 6: Want to Read Currently Reading Read. Warren, Journal of Symbolic Logic Clear, understandable, containing loads of examples and exercises to grasp the basics. Mark Gomer rated it really liked it Jan 01, The basic definitions, theorems, and proofs are made accessible by assuming few mathematical pre-requisites but without compromising mathematical rigour. Groups and Categories 5. Categories of Diagrams 9: The presentation of the material is from the concrete to the abstract, proofs are worked out in detail and the examples and the exercises spread throughout the text mark a pleasant rhythm for its reading.
And all praise to Dover. Some of the notation is not even really introduced in Ch. An extra topic of cartesian closed categories and the lambda-calculus is also provided; a must for computer scientists, logicians and linguists!
Butz, Journal of Symbolic Logic 65 3pp. Daniel rated it really liked it Feb 01, Thanks for your recommendation. Shu Tanaka rated it really liked it Nov 07, Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for caategory. To ask other readers questions about Category Theoryplease sign up.
June 11, at 9: Refresh and try again. Hao rated it liked it Jul 08, Many of the Oxford Logic Guides are described as much easier entry points than they are. December 1, at Yes, and I mention it here. After catetory you may embark on Saunders’ book. Michael rated it really liked it Dec 19, Joseph Lee rated it really liked it Feb 15, Slides from a talk at an AMS meeting, January 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.
There are no discussion topics on this book yet. Bulletin of Symbolic Logic. Although it dategory few mathematical pre-requisites, the standard of mathematical rigour is not compromised.
Oxford University Press is a department of the University of Oxford. Meangrape rated it liked it May 27,