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.
categorical wreath product. Finally.
It looks a bit abstract. How/why the usual wreath product in group theory would come as a special or parallel case ?
The wreath product in group theory has interesting generalizations in 2-category theory studied by Australian school (Street, Lack) and by them and Gabriella Böhm (article list) in relation to formal theory of monads and, more recently, weak monads. Cf. the weak wreath product in
Hopefully one could find a more formal relation to your entry…
It looks a bit abstract. How/why the usual wreath product in group theory would come as a special or parallel case ?
In both cases the elements of the wreath product are naturally visualized as wreaths formed from the given elements.
But are they special cases of the same construction or not ?
I don’t think they have a non-trivial overlap, no.
I briefly looked at the article by Böhm that you pointed to. (You should put that into the relevant $n$Lab entry.) But in the short time that I looked at it I could not quite relate that, either.
1 to 7 of 7