I am a post-doc in Nice working on the Malinca ERC Project and supervised by Carlos Simpson.
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.
Published in the Journal of Pure and Applied Algebra (2026).
published version 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.
Published in the Journal of Symbolic Logic (2025).
published version 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.
Published in Applied Categorical Structures (2025).
published version 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
2024—2026 Post-doc supervised by Silvio Ghilardi in Milan.
2023—2024 Post-doc supervised by Sam van Gool at IRIF (Paris).
2020—2023 PhD student of Mai Gehrke in Nice.