Re: Theory and Applications of Categories