[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
On 2017-10-18 20:22, Aaron Gray <aaronngray.li...@gmail.com> 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