Re: Higher-dimensional categories