5 ms·
I went through her book "Category Theory in Context" a few years ago and loved it! It's a great introduction to the field.
by mkw5053 6y ago
I went through her book "Category Theory in Context" a few years ago and loved it! It's a great introduction to the field.
- breck 6y agoThanks for the tip! Looks like she put the PDF of the book up here: https://math.jhu.edu/~eriehl/context.pdf https://math.jhu.edu/~eriehl/context.pdf
- guerrilla 6y agoFrom the same page: > The Mathemagician’s Axiom of Textbook Prerequisites: Let M be the minimum actual prerequisites for an average student being able to read and understand a given presentation of a subject in a mathematics textbook. Let A be the author’s stated prerequisites. Then usually: A <<<<<<< M > ... My intended audience might be described as peri-graduate students, ranging from advanced mathematics undergraduates, to graduate students, to perhaps even research mathematicians in other disciplines.
- einpoklum 6y agoSo, you're saying a well-read Ph.D. in abstract math is the pre-requisite for reading that book?
- tooltower 6y agoRegardless of your level, just remember to set your pacing expectations. It's perfectly okay if you are going slow, it's really information-dense. I have no background in abstract math. It took me three days to make it through the first paragraph. I'd still recommend it.
- howling 6y agoI think the prerequisite for "Category Theory in Context" is a grasp of basic category theory ((co-)limits, Yoneda lemma, adjoint functor theorems, etc). You should also have some interest in an abstract maths field that requires all these category theory machinery. So a graduate student in abstract maths sounds about right.
- mkw5053 6y agoI went through it with some background abstract algebra and functional programming
- mark_l_watson 6y agoThanks for the link. I ordered the print book five minutes ago and it will be good to have the PDF also. I have used Haskell for years, but consider myself a novice at dealing with Monads, etc., while good at writing pure Haskell code. (I wrote a Haskell book, which is free on my website https://markwatson.com/books/ https://markwatson.com/books/). A few years ago, I randomly had dinner with a math professor who specialized in Category Theory, and it was a very cool conversation. I hope that reading Emily Riehl’s book and listening to some of her teaching videos, that I can grok enough CT to enjoy it.
- mkw5053 6y agoI've been trying to buy markwatson.com for years!!!
- chas 6y agoI think it's fairly misleading to think of impure computation as a core part of the `Monad` abstraction in Haskell[0]. Most of the places I use monads in Haskell are pure e.g. error handling, parsers, working with DSLs. `IO` is where the impurity lives and the monad abstraction just makes it a bit more fun to use, but it isn't essential to the impurity. Haskell had IO before it had monads. I also feel like the emphasis on the Monad abstraction really sells Functor and Applicative short as they are fantastic abstractions in their own right in addition to being important building blocks for the Monad abstraction. [0] https://news.ycombinator.com/item?id=20112333 https://news.ycombinator.com/item?id=20112333
- Iceland_jack 6y agohttps://www.reddit.com/r/haskell/comments/eoo16m/base_category_polymorphic_functor_and_functorof/ https://www.reddit.com/r/haskell/comments/eoo16m/base_catego...
- mark_l_watson 6y agoThanks for the link and clarification.
- Koshkin 6y agoAlso A Survey of Categorical Concepts: https://math.jhu.edu/~eriehl/survey.pdf https://math.jhu.edu/~eriehl/survey.pdf
- analog31 6y agoThanks. I was just about to ask. I'm merely a double bassist, but maybe I can at least grasp a bit of it. ;-)