norswap comments on Why does category theory exist?