Category Theory - books

Category Theory

There are two approaches to category theory, most books, such as those under 'expert' below assume quite a wide knowledge of mathematics. They give lots of examples from different structures to help the reader to 'abstract out' the categorical concepts.


The following two books, both co-authored by F. William Lawvere, are aimed at relative newcomers to mathematics. Although they are not trivial and I think they are useful for a wide range of readers.

flag flag flag flag flag flag Conceptual Mathematics - This is a book about category theory that does not assume an extensive knowledge over a wide area of mathematics. The style of the book is a bit quirky though.
flag flag flag flag flag flag Sets for Mathematics - This is a book about sets from category theory point of view.


flag flag flag flag flag flag Categories for the Working Mathematician - This is the classic book on the subject but the pace is very quick and a wide knowlage of mathematics is required to understand the examples. Its too hard going for me but then Im not a working mathematician.
flag flag flag flag flag flag Categorical Theory - This book is a general introduction to the subject, a bit easier than the Saunders Mac Lane book but still very theoretical.

Category Theory and Logic

flag flag flag flag flag flagJ. Lambek, P. J. Scott - 1988 - Introduction to Higher-Order Categorical Logic - show that typed lambda-calculi and cartesian closed categories are essentially the same and intuitionistic logic is closely related to topos theory.

Category Theory and Type Theory

flag flag flag flag flag flag Categorical Logic and Type Theory - This book is about logic, type theory and category theory. It assumes the reader is familiar with category theory concepts such as adjunctions, limits and CCCs.
flag flag flag flag flag flag Categories for Types - This book takes a category theory approach to types and a bit easier pace than the B.Jacobs book.


metadata block
see also:
Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.

flag flag flag flag flag flag The Princeton Companion to Mathematics - This is a big book that attempts to give a wide overview of the whole of mathematics, inevitably there are many things missing, but it gives a good insight into the history, concepts, branches, theorems and wider perspective of mathematics. It is well written and, if you are interested in maths, this is the type of book where you can open a page at random and find something interesting to read. To some extent it can be used as a reference book, although it doesn't have tables of formula for trig functions and so on, but where it is most useful is when you want to read about various topics to find out which topics are interesting and relevant to you.


Terminology and Notation

Specific to this page here:


This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2017 Martin John Baker - All rights reserved - privacy policy.