Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Mon, 24 April 2023 at 11:50 am in Paris, France
Abstract: In this talk we will survey some results on weak distributive law and their role in composing effects in the semantics of programming languages. We then discuss a functorial approach to model various classes of automata. In particular, we consider automata seen as diagrams interpreted in Kleisli categories for composite monads, and we see how "determinization" of such automata can be achieved via (weak) distributive laws.