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