[categories] Re: Category theory NOT under threat