Capybasilisk answers Why does category theory exist?