Category Theory

Front Cover
Ebsco Publishing, 2006 - Mathematics - 256 pages
1 Review
This text provides a comprehensive reference to category theory, containing exercises, for researchers and graduates in philosophy, mathematics, computer science, logic and cognitive science. The basic definitions, theorems, and proofs are made accessible by assuming few mathematical pre-requisites but without compromising mathematical rigour. -;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 thebasic 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!
 

What people are saying - Write a review

User Review - Flag as inappropriate

Useful starting point as a beginner. Good range of examples and exercises.

Contents

2
23
3
45
4
63
Exponentials
105
Functors and naturality
125
Categories of diagrams
159
Adjoints
179
Monads and algebras
223
References
249
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information