I am currently a post-doc in Milan supervised by Silvio Ghilardi.
I am interested in categorical logic, Stone dualities and games in logic.
Email: contact@jeremie-marques.name.
Toposes with enough points as categories of étale spaces.
With Sam van Gool and Umberto Tarantino.
preprint
Poset-enriched pretoposes and compact ordered spaces.
With Luca Reggio.
preprint
A Completeness Theorem for Topological Doctrines.
With Silvio Ghilardi.
preprint
First-Order Modal Logic via Logical Categories.
With Silvio Ghilardi.
To appear in the Journal of Symbolic Logic.
preprint
Atomic Toposes with Co-Well-Founded Categories of Atoms.
Published in Theory and Applications of Categories (2025).
published version preprint
A Criterion for Categories on which every Grothendieck Topology is Rigid.
To appear in Applied Categorical Structures.
preprint
On Duality and Model Theory for Polyadic Spaces.
With Sam van Gool.
Published in the Annals of Pure and Applied Logic (2024).
published version preprint
Thesis: Categorical Logic from the perspective of Duality and Compact Ordered Spaces.
PhD thesis directed by Mai Gehrke and defended in 2023.
pdf bibtex
Polyadic Spaces and Profinite Monoids.
Published in the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2021).
published version preprint
2023—2024 Post-doc supervised by Sam van Gool at IRIF (Paris).
2020—2023 PhD student of Mai Gehrke in Nice.