Texts and Lecture Notes

This page is for pedagogical texts. If you are searching for my research papers, please see my arXiv user page, which updates automatically. For a summary of my work see /research.

1 Dec 2021 Developing Ordered Set Theory and Real Analysis in the XIXº Century

This set of notes accompanies a talk I gave here at Stony Brook, at a seminar concerning the history and...
24 Nov 2021 Some Vocabulary and Motivation for Infinity-Category Theory

These are notes for the 2021-2022 algebraic topology reading group on \(\infty\)-category theory. These notes provide a brief overview of...
5 Feb 2021 Magnetisation and Mean Field Theory in the Ising Model

Here is a paper I wrote about the Ising model. It contains some statements and some formalisations of results that...
30 Jul 2020 The Mathematics of Cognition: Inference, Reward, and Behaviour

Here you’ll find my notes for the second week of Neuromatch Academy 2020. Specific course content is referenced throughout. Links...

Texts and Lecture Notes

1 Dec 2021 Developing Ordered Set Theory and Real Analysis in the XIXº Century

This set of notes accompanies a talk I gave here at Stony Brook, at a seminar concerning the history and...

24 Nov 2021 Some Vocabulary and Motivation for Infinity-Category Theory

These are notes for the 2021-2022 algebraic topology reading group on \(\infty\)-category theory. These notes provide a brief overview of...

5 Feb 2021 Magnetisation and Mean Field Theory in the Ising Model

Here is a paper I wrote about the Ising model. It contains some statements and some formalisations of results that...

30 Jul 2020 The Mathematics of Cognition: Inference, Reward, and Behaviour

Here you’ll find my notes for the second week of Neuromatch Academy 2020. Specific course content is referenced throughout. Links...