Shmi comments on Why does category theory exist?