[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Bartosz Milewski also published sone articles on his blog about "Category Theory for Programmers" : https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ . The examples come from Haskell (and sometimes C++). Since a few weeks, the book also exists in a PDF version: https://github.com/hmemcpy/milewski-ctfp-pdf Since the book is intended for programmers, it is less formal than the books mentioned earlier. But Haskell examples help to get some intuition about some definitions. 2017-10-19 11:50 GMT+02:00 Moez A. AbdelGawad <[email protected]>: > [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list > ] > > In addition to Pierce's book, which was earlier mentioned, I strongly > recommend Spivak's Category Theory for The Sciences and Lawvere & > Schanuel's Conceptual Mathematics. Even though neither book is specifically > for computer scientists, but both books are more modern, very accessible, > and frequently discuss CS applications. > > -Moez > > -------- Original message -------- > From: Aaron Gray <[email protected]> > Date: 18/10/2017 21:22 (GMT+02:00) > To: The TYPES forum <[email protected]> > Subject: [TYPES] Book on Category Theory > > [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list > ] > > I am looking for a book on Category Theory that is ideally either aimed at > Type Theory or has the relevant topics to support the area. > > I have bought three books on the topic so far, one 'Categories for Typesw' > by Crole did not even cover covariance and contravariance.I would also like > coverage of monoid and monads, and morphisms like anamorphisms and > catamorphisms. > > I am also interested in papers applying category theory to areas of type > theory. > > Suggestions of either online or printed material would be appreciated. > > Many tahnks in advance, > -- > Aaron Gray > > Independent Open Source Software Engineer, Computer Language Researcher, > Information Theorist, and amateur computer scientist. >
