Three Toposes for Probability and Randomness

Explore a comprehensive lecture from the Topos Institute Colloquium that delves into three distinct toposes related to probability and randomness theory. Embark on a guided tour through probability sheaves supporting synthetic probabilistic reasoning about random variables, discover the random topos that conceptualizes random elements and measurable sets, and examine the random probability sheaves that combine previous concepts to establish a novel approach to synthetic probability theory without traditional constraints of sigma-algebras and measurability. Learn how these mathematical structures provide innovative frameworks for understanding and working with probability and randomness in a more abstract and fundamental way.