Re: Categories and functors, Funktor