Re: A challenge (Re: Demystifying the categorical approach)