BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:8627@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20250327T110000
DTEND;TZID=Europe/Paris:20250327T123000
DTSTAMP:20250325T092809Z
URL:https://www.i2m.univ-amu.fr/evenements/monotone-weak-distributive-laws
 -in-categories-of-algebras-lsc/
SUMMARY:Quentin Aristote (IRIF\, Paris Cité): Monotone weak distributive l
 aws in categories of algebras [LSC]
DESCRIPTION:Quentin Aristote: Within the study of the semantics of programm
 ing languages\, computational\neffects may be modelled with monads\, and w
 eak distributive laws between monads\nare then a tool to combine two such 
 effects.\n\nIn both the category of sets and the category of compact Hausd
 orff spaces\,\nthere is a monotone weak distributive law that combines two
  layers of\nnon-determinism. Noticing the similarity between these two law
 s\, we study\nwhether the latter can be obtained automatically as some sor
 t of lifting of\nthe former.\n\nMore specifically\, we show how a framewor
 k for constructing monotone weak\ndistributive laws in regular categories 
 lifts to categories of algebras\,\ngiving a full characterization for the 
 existence of monotone weak distributive\nlaws therein. We then exhibit suc
 h a law\, combining probabilities and\nnon-determinism\, in compact Hausdo
 rff spaces\; but we also show how such laws\ndo not exist in a lot of othe
 r cases.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:Luminy - LIS\, salle 04.05\, Campus de Luminy\, Marseille\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Campus de Luminy\, Marseill
 e\, France;X-APPLE-RADIUS=100;X-TITLE=Luminy - LIS\, salle 04.05:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20241027T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR