Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created extension system.
I added a couple of references from programming languages (a direct link to Moggi’s paper already referenced in monads in computer science, and another paper by Filinski which studied the relationship between strong monads-as-extension systems and continuation-passing style).
have added to the Idea-section this quote from Marmolehy-Wood
there is an important overarching reason to consider monads in this way. Extension systems allow us to completely dispense with the iterates […] of the underlying arrow. No iteration is necessary. A moment’s reflection on the various terms of terms and terms of terms of terms that occur in practical applications suggest that this alone justies the alternate approach. […] we note that extension systems in higher dimensional category theory provide an even more important simplication of monads. For even in dimension 2, some of the tamest examples are built on pseudofunctors that are difficult to iterate.
Apart from this aspect of simplification, it would be nice to have some discussion as to what intrinsic motivation one could give for the definition of extension systems. What I mean is that the traditional definition of monad is fairly “obvious” or “natural” from various points of views. For instance when regarded as monoids in endofunctor categories, they are well motivated as soon as one accepts that monoids and categories are well motivated.
Now for extension systems one would hope that there is a way to see them as an “evidently relevant” axiom scheme independently of these traditional motivations, probably more from an internal perspective. Of course to some extent this is exactly what happened with mondas (in computer science). But maybe one could give a more purely logical such motivation on this page, too.
Add hatnote pointing to closed category for Street’s notion of “extension system”.
1 to 4 of 4