[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Thanks everyone, but as far as I can tell none of these books give me any real stuff on covariance, contravariance, anamophisms and catamophisms. On 19 October 2017 at 16:59, John Leo <[email protected]> wrote: > I agree Pierce's book is great, and my favorite overall reference Awodey > also has some material on applications to type theory. > > For specific connections, the best sources are probably lecture notes for > various summer school courses. My three favorites are those in the > "Category Theory and Functional Programming" section of this page: > https://github.com/halfaya/BayHac/blob/master/references.md > > John > > > > On Thu, Oct 19, 2017 at 2:50 AM, Moez A. AbdelGawad <[email protected]> > wrote: > >> [ The Types Forum, http://lists.seas.upenn.edu/ma >> ilman/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/ma >> ilman/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. >> > > -- Aaron Gray Independent Open Source Software Engineer, Computer Language Researcher, Information Theorist, and amateur computer scientist.
