Re: Categories and functors, query