Add some more category theory from the book