Showing 2025 · math.CTShow all
2 papers · 2 filters
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…