Alex Simpson: Synthetic probability theory
Talk at the Categorical Probability and Statistics workshop 2020: http://perimeterinstitute.ca/personal... Title: Synthetic probability theory Speaker: Alex Simpson Chair: Arthur Parzygnat Date: June 8, 2020 Abstract: I shall outline an alternative to the standard set-theoretic formulation of probability theory, based on a category-theory-influenced axiomatisation of the notion of "random variable" as a primitive concept. The axioms capture desirable properties of random variables, not all of which apply to random variables as usually defined. They are designed to support a streamlined development of probability theory, in which sample spaces play no role and one (almost) never needs to consider sigma-algebras and associated notions of measurability.

Bart Jacobs: De Finetti's construction as a categorical limit

Robert Bryant: "The Concept of Holonomy"
![[PLDI'23] Lilac: A Modal Separation Logic for Conditional Probability](https://i.ytimg.com/vi/xCDnDyRheZ8/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLBvqUF-mSI8GgCSWB2H8V2LNj1azQ)
[PLDI'23] Lilac: A Modal Separation Logic for Conditional Probability

David Gross: Millennium Prize Problem: Yang Mills Theory

Richard Feynman: Quantum Mechanical View of Reality 1

How To Think SO CLEARLY People Assume You're A Genius

Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory - Peter Dybjer

Terence Tao: Nobody Understands Why AI Actually Works

We're 99.9% sure this pattern is true, but no one can prove it

Clara Mattei: capitalism is not natural - it’s enforced

But what is the Central Limit Theorem?

The Strange Math That Predicts (Almost) Anything

Alex Simpson: Equality, equivalence and atomic sheaves part 1

Richard Feynman: Can Machines Think?

The FULL VIDEO of Trump they didn’t want released

Introduction to Markov categories - Paolo Perrone

The Big Short (2015): The Jenga Scene – Explaining the Financial Collapse

Why Peter Scholze is once in a Generation Mathematician

6. Monte Carlo Simulation

