Re: RFC Walters "Categories and Computer Science"