Re: [TYPES] Book on Category Theory
Alan Schmitt <alan.schmitt-o/5/jSaJEHk+NdeTPqioyti2O/[email protected]>
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] On 2017-10-18 20:22, Aaron Gray <[email protected]> writes: > 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 strongly recommend “Category Theory for Programmers” by Bartosz Milewski. It's available online as a series of article, or as a pdf. New content is regularly added. https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ Best, Alan -- OpenPGP Key ID : 040D0A3B4ED2E5C7 Monthly Athmospheric CO₂, Mauna Loa Obs. 2017-09: 403.38, 2016-09: 401.03