Reposted from Bartosz Milewski's YouTube channel, with cleaned-up audio. Reposted with permission. See Republishing Bartosz Milewski's Category Theory lectures. You can visit Bartosz Milewski's Programming Cafe or follow Bartosz Milewski on Twitter.