Joshua L. Wrigley

My most recent affiliation was at Université Paris Cité, working as a post-doc with Sam van Gool. Soon, I will be starting a Marie Skłodowska-Curie postdoctoral fellowship at Masarykova Univerzita with John Bourke.

Before that, I was a post-doc at at Queen Mary University of London, working with Ivan Tomašić. I completed my PhD under the supervision of Olivia Caramello at the University of Insubria, studying topos theory.

My research involves the interaction between mathematical logic, topology, and category theory. I am especially interested in topos-theoretic approaches to model theory.

E-mail: wrigley@irif.fr.

Day algebras, with Edmund Robinson, Mathematical Structures in Computer Science, Vol. 36(6) (2026).

On topological groupoids that represent theories, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik: to appear (2026).

Topoi with enough points and topological groupoids, Journal of Pure and Applied Algbera, Vol. 229(10), 108073 (2025).

Existential completions and Herbrand's theorem, Preprint (2025).

On the theories classified by an étendue, Preprint (2025).

Ultracategories via Kan extensions of relative monads, with Umberto Tarantino, Preprint (2025).

Some properties of internal locale morphisms externalised, Theory and Applications of Categories, Vol. 41, No. 35, pp. 1160-1202 (2024).

Existentially closed models and locally zero-dimensional toposes, with Mark Kamsma, Preprint (2024).

The representing localic groupoid for a geometric theory, with Graham Manuell, Expositions in Theory and Applications of Categories No. 2 (2024).

Doctrinal and groupoidal representations of classifying topoi, PhD thesis (2024).

The geometric completion of a doctrine, Preprint (2023).