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

It's not a book, but the Typeclassopedia, particularly the instances sections, might be relevant: https://www.haskell.org/haskellwiki/Typeclassopedia Dee Roytenberg writes:

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.

Many thanks in advance.

- Dee

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

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