Write a Blog >>
Tue 21 Jan 2020 11:00 - 11:30 at St Claude - B

A point process on a set is a random bag of elements of that set. In this extended abstract we explore programming with point processes in a monadic style. To this end we identify point processes on a set X with probability measures of bags of elements in X. We describe this view of point processes using the composition of the Giry and bag monads in the category Meas of measurable spaces and functions. We prove that this composition also forms a monad using the distributive law for monads.

Tue 21 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

10:30 - 12:30: LAFI (né PPS) - B at St Claude
lafi-202010:30 - 11:00
Carol MakUniversity of Oxford, C.-H. Luke OngUniversity of Oxford
lafi-202011:00 - 11:30
Swaraj DashUniversity of Oxford, Sam StatonUniversity of Oxford
File Attached
lafi-202011:30 - 12:00
Jesse SigalUniversity of Edinburgh
lafi-202012:00 - 12:30
Aloïs BrunelDeepomatic, Damiano MazzaCNRS, Michele PaganiIRIF - Université de Paris