Re: [TYPES] Book on Category Theory

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

Bartosz Milewski also published sone articles on his blog about "Category
Theory for Programmers" :
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
.  The examples come from Haskell (and sometimes C++). Since a few weeks,
the book also exists in a PDF version:
https://github.com/hmemcpy/milewski-ctfp-pdf

Since the book is intended for programmers, it is less formal than the
books mentioned earlier. But Haskell examples help to get some intuition
about some definitions.

2017-10-19 11:50 GMT+02:00 Moez A. AbdelGawad <moez-7CZxd/[email protected]>:

> [ 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 <[email protected]>
> Date: 18/10/2017  21:22  (GMT+02:00)
> To: The TYPES forum <types-list-nHFbR+4dATOoZA3Q9b/[email protected]>
> 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.
>