A Monad for Probabilistic Point Processes

@inproceedings{Dash2020AMF,
  title={A Monad for Probabilistic Point Processes},
  author={Swaraj Dash and S. Staton},
  booktitle={ACT},
  year={2020}
}
A point process on a space is a random bag of elements of that space. In this paper we explore programming with point processes in a monadic style. To this end we identify point processes on a space 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 on the category of measurable spaces and functions and prove that this composition also forms a monad using a distributive law for monads. Finally, we… Expand

Figures from this paper

From Multisets over Distributions to Distributions over Multisets
Infinite Probabilistic Databases
Independence in Infinite Probabilistic Databases

References

SHOWING 1-10 OF 44 REFERENCES
Dirichlet is Natural
Giry and the Machine
A convenient category for higher-order probability theory
A Categorical Approach to Probability Theory
Distributing probability over non-determinism
Hypernormalisation, linear exponential monads and the Giry tricocycloid
Probability Sheaves and the Giry Monad
Semantics of higher-order probabilistic programs with conditioning
...
1
2
3
4
5
...