>>>>> "Wolfgang" == Wolfgang Jeltsch <[email protected]> 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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
