25 citations · 61 across the 22 of their papers we have counts for
7 papers · 1 filter
Beth companions of finitary essentially algebraic theories
Ivan Di Liberti, Luca Reggio
For categories, being balanced (meaning that every arrow that is both epic and monic is an isomorphism) can be regarded as a strong tameness property which plays an important role,…
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…
Filtral pretoposes and compact Hausdorff locales
Célia Borlido, Panagis Karazeris, Luca Reggio +1
The category of compact Hausdorff locales is a pretopos which is filtral, meaning that every object is covered by one whose subobject lattice is isomorphic to the lattice of filter…
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…
Polyadic Sets and Homomorphism Counting
Luca Reggio
A classical result due to Lovasz (1967) shows that the isomorphism type of a graph is determined by homomorphism counts. That is, graphs G and H are isomorphic whenever the number…
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…
A characterisation of the category of compact Hausdorff spaces
Vincenzo Marra, Luca Reggio
We provide a characterisation of the category KH of compact Hausdorff spaces and continuous maps by means of categorical properties only. To this aim we introduce a notion of filtr…