Re: Who invented n-categories?