They remind me of some maths courses it took with the Open University 20 years ago but they included quite a few things that were new to me. I particularly liked the matrix interpretation of the differentiation of polynomials in the last video.
In the past few months the following lectures have greatly helped my understanding of how algebraic structures can be used to design and construct functional programs:
- Parallel and Concurrent Programming in Haskell by Bartosz Milewski
- Denotational Design: From Meanings to Programs by Conal Elliot
I should also add the following lectures which I am currently working my way through:
And for a mathematician's take on category theory you should really watch:
Specimen taken below Hangingstone, near Guisborough, North Yorkshire, UK, on 2016-08-23.