Re: [TYPES] Book on Category Theory

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

My references are a little bit outdated but you can check:

Basic category theory for computer scientists
by Benjamin C. Pierce

Categories, Types, and Structures: An Introduction to Category Theory 
for the Working Computer Scientist
by Andrea Asperti and Giuseppe Longo


Cheers

Beppe


On 18/10/17 21:22, Aaron Gray wrote:
> [ 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,