cousin_it comments on Why does category theory exist?