Bartosz Milewski - Truth about Types (Lambda Days 2016) https://youtu.be/dgrucfgv2Tw F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory. https://youtu.be/iJ7V1KXJpsE