nLab Alex Simpson

Selected writings

On exact real computer arithmetic:

On measure theory, probability theory, and locales:

On cartesian closed convenient categories of topological spaces, such as compactly generated topological spaces:

On first-order set theory and categorical logic:

Talks

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

On probability theory in topos theory:

  • Probability sheaves, talk at Topos à l’IHÉS, November 2015 (YouTube)
category: people

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