[categories] Category Theory under threat in Cambridge