On Thursday 12 July 2007 22:57, Steve Downey wrote: > Almost, I think. A functor is a mapping from the arrows, or morphisms, > in a category to arrows in a category. Oops, yes, indeed. Good catch, thanks. :-) Alexis.