Re: The invention of n-categories