Having taken the course, I definitely recommend it. Great content and Bartosz is just a great guy to listen to

Bartosz is great. You can also find a filmed series of his lectures on category theory on Youtube.