More category theory.

And put it in the article index.