Make us homepage
Add to Favorites
FAIL (the browser should render some flash content, not this).

Main page » Coursebooks » Category Theory

Category Theory


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. 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 it assumes 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!


  • 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
  • Numerous exercises provided

Readership: Researchers and graduates in philosophy, mathematics, computer science, logic, linguistics, and cognitive science


Purchase Category Theory from
Dear user! You need to be registered and logged in to fully enjoy We recommend registering or logging in.

Tags: theorems, Category, Theory, proofs, propositions, Theory, Science, students, theorems