Évènement

Quentin Aristote
IRIF, Paris Cité
https://quentin.aristote.fr/

Date(s) : 27/03/2025   iCal
11h00 - 12h30

Within the study of the semantics of programming languages, computational
effects may be modelled with monads, and weak distributive laws between monads
are then a tool to combine two such effects.

In both the category of sets and the category of compact Hausdorff spaces,
there is a monotone weak distributive law that combines two layers of
non-determinism. Noticing the similarity between these two laws, we study
whether the latter can be obtained automatically as some sort of lifting of
the former.

More specifically, we show how a framework for constructing monotone weak
distributive laws in regular categories lifts to categories of algebras,
giving a full characterization for the existence of monotone weak distributive
laws therein. We then exhibit such a law, combining probabilities and
non-determinism, in compact Hausdorff spaces; but we also show how such laws
do not exist in a lot of other cases.

Emplacement
Luminy - LIS, salle 04.05

Catégories

• Séminaire