Postdoctoral researcher at Inria Saclay in the QuaCS group, Laboratoire Méthodes Formelles. I'm broadly interested in mathematical physics. Currently, my main focus is locale and order theory, with an eye on applications to spacetimes. I'm also interested in category theory, foundations of (quantum) physics, and diffeology.
A \(\LaTeX\) test: let \(\mathbf{Loc}\) be the category of locales. A morphism \(f\colon X\to Y\) of locales is really just a morphism \(f^{-1}\colon \mathcal{O}Y\to \mathcal{O}X\) of frames.
Feel free to reach out to me at your.email@example.com.