3 papers
math.CT2025
Poset-enriched pretoposes and compact ordered spaces
Jérémie Marquès, Luca Reggio
We provide a characterisation of the category of Nachbin's compact ordered spaces as a poset-enriched category. Up to equivalence, is the only non-d…
math.CT2025
A Completeness Theorem for Topological Doctrines
Silvio Ghilardi, Jérémie Marquès
We extend logical categories with fiberwise interior and closure operators so as to obtain an embedding theorem into powers of the category of topological spaces. The required axio…
cs.LO2025
First-Order Modal Logic via Logical Categories
Silvio Ghilardi, Jérémie Marquès
We extend the logical categories framework to first order modal logic. In our modal categories, modal operators are applied directly to subobjects and interact with the background…