j
k
j a
j l
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.
Back to the thread
Back to the list
