[TYPES] Book on Category Theory

[Gabriel Scherer]

You could have a look at Barr and Wells' "Category Theory for Computing
Science", 1998, which is available online:

  http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf

I think it strikes a reasonable balance for computer science students: the
mathematical examples that it uses are not too advanced, and it also uses
examples from programming language to draw intuition. Note that it was
written before some of the recent popularization of category theory for
programming languages, so some of the vocabulary is different. Monads are
called Triples, and their application to modeling effects is not discussed.

On Wed, Oct 18, 2017 at 9:22 PM, Aaron Gray <aaronngray.lists at gmail.com>
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,
> --
> Aaron Gray
>
> Independent Open Source Software Engineer, Computer Language Researcher,
> Information Theorist, and amateur computer scientist.
>