Category Theory
OUP Oxford (2010)
| Abstract | Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, 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. 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. Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists! This Second Edition contains numerous revisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely new section on monoidal categories. 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| ISBN(s) | 9780199587360 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesColin McLarty (1991). Axiomatizing a Category of Categories. Journal of Symbolic Logic 56 (4):1243-1260.
A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
Elaine Landry (1999). Category Theory: The Language of Mathematics. Philosophy of Science 66 (3):27.
Ian Chiswell (2007). Mathematical Logic. Oxford University Press.
P. B. Andrews (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers.
G. E. Mint͡s (2000). A Short Introduction to Intuitionistic Logic. Kluwer Academic / Plenum Publishers.
Daniel J. Velleman (2006). How to Prove It: A Structured Approach. Cambridge University Press.
Ian Hacking (2001). Aristotelian Categories and Cognitive Domains. Synthese 126 (3):473 - 515.
Robert Paré & Leopoldo Román (1989). Monoidal Categories with Natural Numbers Object. Studia Logica 48 (3):361 - 376.
Ralph Gregory Taylor (1998). Models of Computation and Formal Languages. Oxford University Press.
Bob Coecke & Raymond Lal (2013). Causal Categories: Relativistically Interacting Processes. Foundations of Physics 43 (4):458-501.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-01-31Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
