25 citations · 61 across the 22 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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…
cs.LO2025
Existential and positive games: a comonadic and axiomatic view
Samson Abramsky, Thomas Laure, Luca Reggio
A number of model-comparison games central to (finite) model theory, such as pebble and Ehrenfeucht-Fraïssé games, can be captured as comonads on categories of relational structure…