Material for the "Category Theory as a Tool for Thought" talk. To view the slides, open this link (click p to show the speaker's notes).