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):||18 November 2005|
|PDF File Size:||8.41 Mb|
|ePub File Size:||14.96 Mb|
|Price:||Free* [*Free Regsitration Required]|
Hao rated it liked it Jul 08, Account Options Sign in. Click here for more information.
Jackson Michalak rated it it was amazing Nov 08, Birkedal, Journal of Pure and Applied Algebra, pp. My copy contains a lot of scribbles in the margins when I grasped a concept. How does the introductory first chapter work wwodey this level? Categories of Diagrams 9.
Category Theory – Steve Awodey – Oxford University Press
Oxford University Press is a department of the University of Oxford. Monday – Friday, – UK time. Higgins Request an Inspection Copy.
Useful starting point as a beginner. Dissertation, The University of Chicago The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda’s lemma; adjoints; monads. Limits and Colimits 6: Actually, I had occasion a few weeks ago awpdey re-read the opening chapters of Awodey and I was wondering if my earlier reaction was too harsh ….
John Quigg rated it really liked it Dec 20, Reviews “The book is well organised and very well written. December 10, at 3: Groups and Categories 5.
Category Theory by Steve Awodey
June 12, at 2: June 9, at Bulletin of Symbolic Logic. Space, Time, and Stuff Frank Arntzenius. Nachi Vpn rated it liked it Jan 20, Bauer, Journal of Logic and Computation 14 4pp. Slides from a talk at an AMS meeting, January The Gabelbarkeitssatz of Hughes, Mathematical Structures in Computer Sciencevol. Books by Steve Awodey. I agree on all counts. Reck, History and Philosophy of Logic23pp.
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.
This text provides a comprehensive reference to category theory, containing exercises, for researchers and graduates in philosophy, mathematics, computer science, logic and cognitive science.
I think that reading Awodey should really help understanding of the basics on a second pass through some of the material. Although it assumes few awoddey pre-requisites, the standard of mathematical rigour is not compromised.
John rated it really liked it Jan 21, An extra topic of cartesian closed categories and the lambda-calculus is also provided; a must for computer scientists, logicians and linguists! Oxford University Press Amazon.
Constructive Type Theory and Homotopy Cayegory.
February 20, at 1: Want to Read saving…. 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. It is ostensibly aimed at the High School level. User Review – Flag awoedy inappropriate Useful starting point as a beginner.
And all praise to Dover. 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. Mateusz rated it liked it Dec 02, He is an active researcher in Category Theory and Logic, and has authored and co-authored numerous cateegory articles.
I must find out what, if anything, is happening about that.