15 April: Jules Hedges

22 April: Michael Shulman

6 May: Sarah Rovner-Frydman: Separation Logic Through a New Lens

13 May: Tai-Danae Bradley

All this information can be found on our ACT@UCR webpage.

]]>• April 8th, Prakash Panangaden: A categorical view of conditional expectation.

]]>This talk is a fragment from a larger work on approximating Markov processes. I will focus on a functorial definition of conditional expectation without talking about how it was used. We define categories of cones—which are abstract versions of the familiar cones in vector spaces—of measures and related categories cones of Lp functions. We will state a number of dualities and isomorphisms between these categories. Then we will define conditional expectation by exploiting these dualities: it will turn out that we can define conditional expectation with respect to certain morphisms. These generalize the standard notion of conditioning with respect to a sub-sigma algebra. Why did I use the plural? Because it turns out that there are two kinds of conditional expectation, one of which looks like a left adjoint (in the matrix sense not the categorical sense) and the other looks like a right adjoint. I will review concepts like image measure, Radon-Nikodym derivatives and the traditional definition of conditional expectation. This is joint work with Philippe Chaput, Vincent Danos and Gordon Plotkin.

Yep, that link works!

]]>Hmm. See if this works: https://t.co/lxawahMohc?amp=1

Please let me know if it works.

]]>Woo-hoo!

]]>It's correct.

]]>Thanks! I’ve attempted to fix this, though there’s a 49% chance that I added an hour when I should have subtracted one, or vice versa.

]]>