nLab synthetic probability theory

Contents

Context

Foundations

foundations

The basis of it all

 Set theory

set theory

Foundational axioms

foundational axioms

Removing axioms

Mathematics

Contents

Idea

The application of synthetic mathematics to probability theory, related to measurable locales.

References

  • Alex Simpson, Synthetic probability theory, talk at Categorical Probability and Statistics (2020) [pdf]

  • Alex Simpson, Three toposes for probability and randomness, talk at the Topos Institute Colloquium, 6 June 2024 (video, slides)

Last revised on June 12, 2024 at 19:56:37. See the history of this page for a list of all contributions to it.