Re: [TYPES] Book on Category Theory
Uday S Reddy <[email protected]>
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] In addition to all the excellent books that have been recommended already, I can recommend my "Lecture notes on Categories and Functors" written for the Midlands Graduate School in the UK. It is written specifically with the view point that category theory is a "type theory". It is available via my home page. Unfortunately, the chapter on Monads is unfinished. Cheers, Uday -- Prof. Uday Reddy Tel: +44 121 414 2740 Professor of Computer Science Fax: +44 121 414 4281 School of Computer Science Email: [email protected] University of Birmingham Edgbaston Birmingham B15 2TT Web: http://www.cs.bham.ac.uk/~udr