BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Logic &\; Semantics for Dummies
SUMMARY:Markov categories: towards a syntax for probabilit
y - Paolo Perrone (University of Oxford)
DTSTART;TZID=Europe/London:20210521T110000
DTEND;TZID=Europe/London:20210521T120000
UID:TALK160702AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/160702
DESCRIPTION:Markov categories are a new categorical framework
for treating randomness and information flow. \nTh
e basic question is: can we isolate the fundamenta
l axioms that are sufficient to prove the theorems
of probability theory?\nThe traditional measure-t
heoretic approach to probability can then be seen
as a semantics for this theory\, possibly one out
of many.\n\nSo far\, several theorems of probabili
ty have been proven in this synthetic way: among t
hem\, the de Finetti theorem and the zero-one laws
of Kolmogorov and Hewitt-Savage. \nIn addition\,
along the way\, a lot of deep concepts of probabil
ity have been given an elegant categorical descrip
tion\, such as the concepts of stochastic independ
ence and of almost-sure equality.\n\nThe latest pr
eprint on the matter is https://arxiv.org/abs/2105
.02639\n\nJoint project with Tobias Fritz\, Tomas
Gonda\, Dario Stein\, and others.
LOCATION:https://meet.google.com/jxy-edcv-wgx
CONTACT:Nathanael Arkor
END:VEVENT
END:VCALENDAR