Category theory
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 other fields in which the ideas are being applied. Containing clear definitions of 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 and methods of category theory understandable to a broad readership
Print Book, English, 2010
2nd ed
Oxford University Press, Oxford, 2010