Arie,
Thanks for your thoughtful reply. Comments in-lined.
Best wishes,
--greg
Date: Thu, 2 Aug 2007 03:06:51 +0200 (CEST)
From: Arie Peterson [EMAIL PROTECTED]
Subject: Re: [Haskell-cafe] Re: monads and groups -- instead of loops
To: haskell-cafe@haskell.org
Message-ID: [EMAIL PROTECTED
On 1 Aug 2007, at 21:23, Greg Meredith wrote:
But, along these lines i have been wondering for a while... the
monad laws present an alternative categorification of monoid. At
least it's alternative to monoidoid. In the spirit of this thought,
does anyone know of an expansion of the monad
Haskellians,
But, along these lines i have been wondering for a while... the monad laws
present an alternative categorification of monoid. At least it's alternative
to monoidoid. In the spirit of this thought, does anyone know of an
expansion of the monad axioms to include an inverse action?
Math alert: mild category theory.
Greg Meredith wrote:
But, along these lines i have been wondering for a while... the monad laws
present an alternative categorification of monoid. At least it's
alternative to monoidoid.
I wouldn't call monads categorifications of monoids, strictly speaking.