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.
Tobias Fritz (May 29 2020 at 21:02):The following is still subject to minor changes. All times are in UTC.
See the schedule on the website for abstracts.
Friday, 5 Jun:
- 11:45h: Opening and welcome address.
- 12h: Sam Staton: Categorical models of probability with symmetries
- 13h: Hông Vân Lê: Probabilistic morphisms and Bayesian statistical models
- Break
- 15h: Peter McCullagh: Categorical notions in statistics
- 16h: Malte Gerhold: Independence and Lévy processes in monoidal categories
Saturday, 6 Jun:
- 12h: Robert W. Spekkens: Disentangling inference and influence in classical and quantum theories
- 13h: Eigil Rischel: Introduction to Markov categories
- Break
- 15h: Paolo Perrone: Probability monads and stochastic dominance
- 16h: Evan Patterson: The algebra of statistical theories and models
Sunday, 7 Jun
- 12h: Annabelle McIver: The Category of Correlations
- 13h: Bas Spitters: Synthetic topology in Homotopy Type Theory for probabilistic programming
- Break
- 15h: Arthur Parzygnat: Categorical probability in the quantum realm
- 16h: David Spivak: Internal probability valuations
Monday, 8 Jun
- 12h: Alex Simpson: Synthetic probability theory
- 13h: Bart Jacobs: De Finetti's construction as a categorical limit
- Break
- 15h: Prakash Panangaden: Approximating probabilistic bisimulation via conditional expectation
- 16h: Discussion
Sam Tenka (Jun 04 2020 at 23:53):Tobias Fritz said:
The following is still subject to minor changes. All times are in UTC.
See the schedule on the website for abstracts.
Not sure whether it is too late, but it might be worth asking alexlew@mit.edu to talk about https://dl.acm.org/ft_gateway.cfm?id=3371087 ? (Alex uses the category of Quasi-Borel Spaces to put the semantics of probabilistic programming on sound footing. He talked about this work at David/Brendan/Paolo's seminar, but there wasn't enough time to really get into the category theory. Lovers of monads, and those who have worried about conditioning in the presence of distributions that lack full support, will enjoy this paper.)
Tobias Fritz (Jun 05 2020 at 00:36):Hi Sam! Thanks for the suggestion, but I'm afraid that it's too late now to invite additional speakers. But it would be great to have a new discussion topic on that, especially in case that someone can tell us more about the paper.