Re: Two categories or 2-categories?