A monoid is anything with an associative append and an identity operation. A monad is a form of monoid (in the category of endofunctors; what's the problem?), but monoids are not necessarily monads.
> A monoid is anything with an associative append and an identity operation.
It doesn't have to be an append, it can be any associative operation that is closed over its domain and the domain features an identitiy element.
> A monad is a form of monoid (in the category of endofunctors; what's the problem?),
A category theoretic monad may be a "monoid in the category of endofunctors". The Monad type is not, strictly speaking, a monoid (but looks like one if you squint a little).
Comments
Strings and concatenation do, however, form a monoid.
http://en.wikipedia.org/wiki/Monoid
A monoid is anything with an associative append and an identity operation. A monad is a form of monoid (in the category of endofunctors; what's the problem?), but monoids are not necessarily monads.
> A monoid is anything with an associative append and an identity operation.
It doesn't have to be an append, it can be any associative operation that is closed over its domain and the domain features an identitiy element.
> A monad is a form of monoid (in the category of endofunctors; what's the problem?),
A category theoretic monad may be a "monoid in the category of endofunctors". The Monad type is not, strictly speaking, a monoid (but looks like one if you squint a little).
> but monoids are not necessarily monads.
Who said they are? :)
It sounded like you were implying that they were, but the biggest thing they have in common is that their names sound similar.