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. Category Theory. Steve Awodey. Carnegie Mellon from a course on Category Theory given by Mac Lane at the University of. Chicago. In teaching my own.
|Published (Last):||14 May 2006|
|PDF File Size:||8.2 Mb|
|ePub File Size:||9.26 Mb|
|Price:||Free* [*Free Regsitration Required]|
Joseph Lee rated it really liked it Feb 15, Want to Read Currently Reading Read.
David Ellerman – – Axiomathes 26 1: Category Theory Second Edition Steve 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: Return to Book Page.
Ebook This title is theorg as an ebook. More information on this research program can be found on the site HomotopyTypeTheory. VgAcid rated it it was amazing Aug 29, Jonathan Bain – – Synthese 9: Hao rated it liked it Jul 08, The Language of Mathematics. Publications of the Archives of Scientific Philosophymanaging editor. No keywords specified fix it. Dissertation, Categorh University of Chicago Andrews – – Kluwer Academic Publishers.
Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised.
Scott, Mathematical Structures in Computer Sciencevol. Useful starting point as a beginner. Daniel rated it really liked it Feb 01, Good range of examples and exercises. No trivia or quizzes yet. Space, Time, and Stuff Frank Arntzenius. An extra topic of cartesian closed categories and the lambda-calculus is also provided; a must for computer scientists, logicians and linguists!
Situagent rated it really liked it Jun 27, The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda’s lemma; adjoints; monads. Find it on Scholar. Philosophia Mathematica 3 awodry, vol.
The Gabelbarkeitssatz of Constructive Type Theory and Homotopy Theory.
Steve Awodey, Category Theory – PhilPapers
Goodreads helps you keep track of books you want to read. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, fategory book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership.
Academic Skip to main content. Monthly downloads Sorry, there are not enough data points to plot this chart. Useful for self-study and as a course text, the book includes all basic definitions and theoremsas well as numerous examples and exercises.
If you like books and love to build cool products, we may be looking for you. Philosophy and India A. Elaine Landry – – Philosophy of Science 66 3: Sign in to use this feature.
Warren, Journal of Symbolic Logic Notes from a series of lectures to the Stockholm Logic Group, June Ian Hacking – – Synthese 3: An extra topic of cartesian closed categories and the lambda-calculus is also provided – a must for computer scientists, logicians and linguists!
Homotopy Type Theory and Univalent Foundations. My library Help Advanced Book Search. Account Options Sign in. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda’s lemma; adjoints; monads. Rheory rated it really liked it Jul 01, Awodey, The Bulletin of Symbolic Logic The basic definitions, theorems, and proofs are made accessible by assuming few mathematical pre-requisites but David Joseph rated it liked it Jun 11, Hughes, Mathematical Structures in Computer Sciencevol.