You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Tim Hosgood (Mar 28 2022 at 15:42):This Thursday (the 31st of March) at the usual time of 17:00 UTC (now that the US and Europe have both changed their clocks for spring)
Tim Hosgood (Mar 28 2022 at 15:42):Abstract.
Composing monads via distributive laws is tricky business, as too often small mistakes are overlooked. After failing to find a distributive law for the list monad over itself, I started proving that finding such a distributive law is impossible. At the same time, Dan Marsden was studying the famous counterexample by Gordon Plotkin that probability does not distribute over non-determinism. Together we developed an algebraic method to find and generalise such counterexamples, resulting in our no-go theorems. In this talk I will explain the main ideas behind our method, illustrated by a proof that 'plus does not distribute over times'. Then, I will highlight some crucial steps in our method, which tell us which type of monads are "high risk" in failing to compose with other monads. Lastly (time permitting), I will say a few words about my current research on combining monads with guarded recursion.
Tim Hosgood (Mar 28 2022 at 15:43):Zoom: https://topos-institute.zoom.us/j/84392523736?pwd=bjdVS09wZXVscjQ0QUhTdGhvZ3pUdz09
YouTube: https://youtu.be/pJW7dcNYjsM
Tim Hosgood (Mar 29 2022 at 23:17):(new Zoom feature) this talk will take place at
Tim Hosgood (Mar 31 2022 at 16:04):starting in just under an hour!