A monad for probabilistic point processes

MaRDI QIDQ5019656zbMATH OpenFDO

Authors Swaraj Dash, Sam Staton

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2101.10479, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2020.2

Mathematics Subject Classification ID

Point processes (e.g., Poisson, Cox, Hawkes processes) (60G55) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Axioms; other general questions in probability (60A05) Semantics in the theory of computing (68Q55)

Recommendations

• A monad for randomized algorithms
• Stochastic lambda calculus and monads of probability distributions
• A probability monad as the colimit of spaces of finite samples
• Weak bisimulations for the Giry monad
• Theory and Applications of Models of Computation

Cites work

• scientific article; zbMATH DE number 6712178 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• A Convenient Category for Higher-Order Probability Theory
• A user's guide to measure theoretic probability
• An explicit formula for the free exponential modality of linear logic
• De Finetti's construction as a categorical limit
• Dirichlet is natural
• Distributing probability over non-determinism
• Generic Trace Semantics via Coinduction
• Giry and the Machine
• Learning along a channel: the expectation part of expectation-maximisation
• Notions of computation and monads
• Probabilistic inference by program transformation in Hakaru (system description)
• Probability sheaves and the Giry monad
• Running probabilistic programs backwards
• What is a statistical model? (With comments and rejoinder).

Cited in

(9)

• Element-free probability distributions and random partitions
• A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
• scientific article; zbMATH DE number 7566047 (Why is no real title available?)
• Smart Choices and the Selection Monad
• Multisets and distributions
• Pearl's and Jeffrey's update as modes of learning in probabilistic programming
• Monads for measurable queries in probabilistic databases
• Multinomial and hypergeometric distributions in Markov categories
• Correspondence between composite theories and distributive laws

Describes a project that uses

Uses Software

• Church

This page was built for publication: A monad for probabilistic point processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019656)