This will be my note while reading Category Theory for Programmers by Bartosz Milewski.

I’ve studied a little bit of category theory before, yet I’ve always thought of it as something that’s purely for my mathematic curiosity. I recently found out that category theory can and is used for programming, something that I do on the daily. It piqued my curiosity so here I am, relearning category theory through a programmer’s lens :-D!.

The book is based on Haskell so a lot of the programming stuff will be about Haskell, though I’m pretty sure it can be extended pretty well to other pure functional languages.

Next: 1. Category