[TYPES] Book on Category Theory

[Alan Schmitt]

On 2017-10-18 20:22, Aaron Gray <aaronngray.lists at 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