Category Theory
Zulip Server
Archive

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.

Stream: event: Categorical Probability and Statistics 2020 workshop

Topic: Jun 8: Prakash Panangaden's talk

Paolo Perrone (Jun 04 2020 at 19:19):

Hey all,
This is the discussion thread of Prakash Panangaden' talk, "Approximating probabilistic bisimulation via conditional expectation".
The talk, besides being on Zoom, is livestreamed here: https://youtu.be/SsuosEodvyA

Paolo Perrone (Jun 04 2020 at 19:21):

Date and time: Monday, 8 Jun, 15h UTC.

Paolo Perrone (Jun 08 2020 at 14:45):

Hi! We start in 15 minutes.

Paolo Perrone (Jun 08 2020 at 15:03):

Zulip thread of the Riverside talk: https://categorytheory.zulipchat.com/#narrow/stream/229966-ACT.40UCR-seminar/topic/April.208th.3A.20Prakash.20Panangaden

Robert Furber (Jun 08 2020 at 15:26):

Maybe Arthur wants to see it with the integral signs put back in?

Robert Furber (Jun 08 2020 at 15:46):

:clap:

Robert Furber (Jun 08 2020 at 15:48):

Markov kernels are not up to sets of measure 0, but morphisms between L^\infty spaces get this stuff right automatically.

Arthur Parzygnat (Jun 08 2020 at 20:14):

Robert Furber said:

Markov kernels are not up to sets of measure 0, but morphisms between L^\infty spaces get this stuff right automatically.

@Robert Furber , are you referring to the question I asked about being able to represent a positive map between the $L^{\infty}$ spaces by a Markov kernel on the underlying spaces? If so, I was asking about the existence rather than uniqueness, so I'm okay with having several Markov kernels that satisfy this (as long as they're a.e. equivalent to each other). Are you saying they always exist?

Oliver Shetler (Jun 08 2020 at 21:29):

Hey, @Paolo Perrone I know you're designated tech support. Do you know if Panangaden's slides will get posted at some point? Or are they not available?

Paolo Perrone (Jun 08 2020 at 21:31):

Oliver Shetler said:

Hey, Paolo Perrone I know you're designated tech support. Do you know if Panangaden's slides will get posted at some point? Or are they not available?

Hi Oliver, we haven't received them (yet). On the other hand, the video recording is almost ready, and it will soon be available.

Oliver Shetler (Jun 08 2020 at 21:32):

Ok thanks for the update.

Paolo Perrone (Jun 08 2020 at 21:40):

Here's the video!
https://youtu.be/elaHJm1M2P0

Paolo Perrone (Jun 08 2020 at 21:51):

Oliver Shetler said:

Hey, Paolo Perrone I know you're designated tech support. Do you know if Panangaden's slides will get posted at some point? Or are they not available?

We got the slides. They will appear on the main webpage soon.

Paolo Perrone (Sep 01 2020 at 18:48):

The third talk in this series is about to happen!
Here's the thread,https://categorytheory.zulipchat.com/#narrow/stream/229457-MIT-Categories.20Seminar/topic/September.203.3A.20Prakash.20Panangaden's.20talk