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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
