Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Sat, 27 March 2021 at 11:20 am in Luxembourg, Luxembourg
Joint work with: Alexandre Goy
Abstract: It is a well known result that there is no distributive law between the powerset monad and the finite distribution monad. In this talk, I will briefly present a weak distributive law between these monads and a canonical way of composing them. Then I discuss ongoing extensions of this work to a continuous setting.