Hi everybody,
Obviously meeting on Christmas does not sound very categorical; so merry Christmas, happy New Year, feliz Kwanza, queer Pastafarian resurrection day, and let's meet next year.
Meanwhile, here's a good reading:
Generalised Folds for Nested Datatypes.
Basically, contains a categorical foundation for map/reduce that I've been looking for - in the first several pages.
Thanks,
-Vlad