Showing math.CTShow all
3 papers · 1 filter
math.CT2026
On the Beck--Chevalley condition
Marco Abbadini, Francesca Guffanti
Boolean hyperdoctrines provide an algebraic semantics for classical first-order logic with equality. In the definition of a Boolean hyperdoctrine, the Beck--Chevalley condition cap…
math.CT2025
Barr-coexactness for metric compact Hausdorff spaces
Marco Abbadini, Dirk Hofmann
Compact metric spaces form an important class of metric spaces, but the category that they define lacks many important properties such as completeness and cocompleteness. In recent…
math.CT2025
On the axiomatisability of the dual of compact ordered spaces
Marco Abbadini
We prove that the category of Nachbin's compact ordered spaces and order-preserving continuous maps between them is dually equivalent to a variety of algebras, with operations of a…