[ 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,
