gbear605 answers Why does category theory exist?