Re: [Haskell-cafe] Design Patterns by Gamma or equivalent

...

...

...

...

"Wolfgang" == Wolfgang Jeltsch writes:

Wolfgang> By the way, the documentation of Control.Category says Wolfgang> that a category is a monoid (as far as I remember). This Wolfgang> is wrong. Category laws correspond to monoid laws but Wolfgang> monoid composition is total while category composition Wolfgang> has the restriction that the domain of the first Wolfgang> argument must match the codomain of the second. I'm reading the Barr/Wells slides at the moment, and they say the following: "Thus a category can be regarded as a generalized monoid, or a 'monoid with many objects'" -- Colin Adams Preston Lancashire