Re: Applications of (higher) category theory to computer science

[Harley Eades III <harley.eades@gmail.com>]

Hi, Dee.

On Dec 11, 2014, at 8:38 AM, Dee Roytenberg <roytenberg.d@gmail.com> wrote:

> Dear colleagues,
> 
> Could someone recommend a good text on the subject? I am aware of the book
> by Barr and Wells; however, unlike that book, which is intended for
> computer scientists who want to learn category theory, I am looking for
> something, in a way, opposite: a source for those who know category theory
> but not much of computer science.

I can recommend the following books:

“Categorical Logic and Type Theory” by Bart Jacobs
http://www.cs.ru.nl/B.Jacobs/CLT/bookinfo.html

“Categories for Types” by Roy Crole
http://www.amazon.com/Categories-Studies-Emotion-Social-Interaction/dp/0521450926

Both of these are related to the study of type theory — and logic — which can be seen as a 
logical foundation to functional programming.  So not in terms of CS in general.

The following is another “introduction” to category theory, but has lots of examples:
“Categories for Computer Science” by R. F. C. Walters

http://www.amazon.com/Categories-Computer-Science-Cambridge-Texts/dp/0521422264

These are all the ones I can think of right now.  I am interested in what others have to
offer.  I have not found much in the way of books covering a wide spectra of CS, but
rather only specialties. 

Very best,
.\ Harley

> 
> Many thanks in advance.
> 
> - Dee
> 
> 
> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]