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.
Paolo Perrone (Jul 02 2020 at 02:36):Hello all! This is the thread of discussion for the talk of Swaraj Dash and Sam Staton, "A Monad for Probabilistic Point Processes".
Date and time: Monday July 6, 16:40 UTC.
Zoom meeting: https://mit.zoom.us/j/7055345747
YouTube live stream: https://www.youtube.com/watch?v=1WhsWK20iRo&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q
Paolo Perrone (Jul 06 2020 at 16:40):Just started!
Mohamar Rios (Jul 06 2020 at 17:10):@Swaraj Dash , I was looking around at some papers and the impression I'm getting is that the notion of 'possible worlds' that BLOG uses is unrelated to the 'possible worlds' in relational models for modal logic or lewis sphere models for counterfactual logic. Is this correct? or am I looking at the wrong stuff?
Swaraj Dash (Jul 06 2020 at 17:34):That is correct as far as I understand it - a possible world in BLOG is just a draw from a point process. What one can nicely do in BLOG is define potentially fairly complicated point processes, which give rise to interesting possible worlds.
Mohamar Rios (Jul 06 2020 at 17:50):Thank you!
Paolo Perrone (Jul 07 2020 at 10:28):Hello all. Here's the video!
https://www.youtube.com/watch?v=9ICLEndItUI&list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI
