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.