Re:Category Theory, Syntactically (2016)
by bbcbasic on Thursday April 27, 2017 @06:52AM
(#14210541)
Those videos are good but still I struggle!
Re:Category Theory, Syntactically (2016)
by nuriaion on Thursday April 27, 2017 @07:28AM
(#14210696)
What also helped me understand CT a little bit better was the book "Haskell Programming from first Principles" (http://haskellbook.com/)
This also needs a lot of time and effort to comprehend!
Hm, as someone who's finished that book, I don't know that I'd say Haskell Programming from First Principles really teaches much category theory -- it teaches specific applications of a few things as it exists in Haskell.
I'm currently working through Conceptual Mathematics (an intro category theory book), and while the Haskell book has some overlap, it's been extremely minor. The main thing I can think of at the moment is determining the number of arbitrary maps that exist between sets. There is some overlap of things like monoids and functors, but even those have a different, more nuanced treatment in category theory (for example, the relatively simple fact that endomaps are functorial interpretations of the sum monoid was new to me, coming from that haskell book).
But expect it to take some time. (10 Videos, most are around 1h, i needed to pause several times and think or try something out)