[TYPES] Book on Category Theory

[John Leo]

I agree Pierce's book is great, and my favorite overall reference Awodey
also has some material on applications to type theory.

For specific connections, the best sources are probably lecture notes for
various summer school courses.  My three favorites are those in the
"Category Theory and Functional Programming" section of this page:
https://github.com/halfaya/BayHac/blob/master/references.md

John



On Thu, Oct 19, 2017 at 2:50 AM, Moez A. AbdelGawad <moez at cs.rice.edu>
wrote:

> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list
> ]
>
> In addition to Pierce's book, which was earlier mentioned, I strongly
> recommend Spivak's Category Theory for The Sciences and Lawvere &
> Schanuel's Conceptual Mathematics. Even though neither book is specifically
> for computer scientists, but both books are more modern, very accessible,
> and frequently discuss CS applications.
>
> -Moez
>
> -------- Original message --------
> From: Aaron Gray <aaronngray.lists at gmail.com>
> Date: 18/10/2017  21:22  (GMT+02:00)
> To: The TYPES forum <types-list at lists.seas.upenn.edu>
> Subject: [TYPES] Book on Category Theory
>
> [ 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.
>