diff --git a/README.md b/README.md index 014dd6e..186da35 100644 --- a/README.md +++ b/README.md @@ -188,6 +188,8 @@ If you want to follow up on the type and category theory: - http://www.cs.cmu.edu/~rwh/plbook/book.pdf Harper's Practical Foundations for Programming Languages is the best PL focused intro to type theory I've read. +- http://www.quora.com/Category-Theory/What-is-the-best-textbook-for-Category-theory?share=1 Kmett's recommendations + - http://en.wikibooks.org/wiki/Haskell/Category_theory nice diagrams - http://www.haskell.org/haskellwiki/Category_theory good links to other resources