9 Sep
2008
9 Sep
'08
10:55 a.m.
Quoting Walter Tholen <tholen@mathstat.yorku.ca>:
definition was arrived at without having to leave the universe. With the definition of category (and functor and natural transformation) Eilenberg and Moore had to do a lot more than just repeating at the monoid level what Brandt did at the group level! In my view their big
OOPS -- "Moore" should read "Mac Lane", of course. (Sorry, Saunders!) W.