“Category Theory for Computing Science” online

The entire contents of the 3rd edition of Category theory for computing science, by Michael Barr and Charles Wellsis now available online at either of these addresses:



We have submitted it to be published by Theory and Application of Categories in their reprint series. That is where Triples, Toposes and Theories is published.

There are two distinct versions of parts of CTCS already available on the internet.  Neither of them contain all the material in the book, nor do they contain answers to all the exercises, as the copy available above does.

Send to Kindle

One thought on ““Category Theory for Computing Science” online”

Leave a Reply

Your email address will not be published. Required fields are marked *