Category theory, or polymorphism, or something else

Tikhon's been doing a great job of picking topics and explaining them. Thanks to his efforts, I finally get continuations, and I have a much firmer grasp of the Curry-Howard correspondence. Let's keep going!