7 citations · 21 across the 16 of their papers we have counts for
6 papers · 1 filter
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…
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…
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…
Barr-Exact Categories and Soft Sheaf Representations
Marco Abbadini, Luca Reggio
It has long been known that a key ingredient for a sheaf representation of a universal algebra A consists in a distributive lattice of commuting congruences on A. The sheaf represe…
Are locally finite MV-algebras a variety?
Marco Abbadini, Luca Spada
We answer Mundici's problem number 3 (D. Mundici. Advanced Łukasiewicz calculus. Trends in Logic Vol. 35. Springer 2011, p. 235): Is the category of locally finite MV-algebras equi…
On the axiomatisability of the dual of compact ordered spaces
Marco Abbadini, Luca Reggio
We provide a direct and elementary proof of the fact that the category of Nachbin's compact ordered spaces is dually equivalent to an Aleph_1-ary variety of algebras. Further, we s…