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.
I see in the reference, The formal theory of monads II, they say
Our second main contribution is to define wreaths and the composite monad (“wreath product”) induced by a wreath, to study their basic properties, and to provide examples illustrating the utility of the notion
Is there a connection then to wreath product?
1 to 3 of 3