nLab Alex Simpson

• webpage
• old webpage

Selected writings

• Alex Simpson, Equivalence and Conditional Independence in Atomic Sheaf Logic (arXiv:2405.11073)

On exact real computer arithmetic:

• Dave Plume (supervised by Martín Escardó, Alex Simpson): A Calculator for Exact Real Number Computation, University of Edinburgh (1998) [web]

On measure theory, probability theory, and locales:

• Alex Simpson, Measure, randomness and sublocales, Annals of Pure and Applied Logic, Volume 163, Issue 11, November 2012, Pages 1642-1659. (doi:10.1016/j.apal.2011.12.014)

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

• Martín Escardó, Jimmie Lawson, Alex Simpson, Comparing Cartesian closed categories of (core) compactly generated spaces, Topology and its Applications Volume 143, Issues 1–3, 28 August 2004, Pages 105-145 (doi:10.1016/j.topol.2004.02.011)

On first-order set theory and categorical logic:

• Steve Awodey, Carsten Butz, Alex Simpson, Thomas Streicher, Relating first-order set theories, toposes and categories of classes, Annals of Pure and Applied Logic 165 2 (2014) 428-502 [doi:10.1016/j.apal.2013.06.004]

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)

Related $n$Lab entries

• Banach-Tarski paradox

category: people