2 citations · 4 across the 11 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.CT2026
A topological proof that compact Hausdorff spaces are not finitely co-concrete
Marco Abbadini
Lieberman, Rosický, and Vasey proved that - the opposite of the category of compact Hausdorff spaces - is not finitely concrete by a route through…
math.LO2026
A topos for étale-finite Heyting algebras
Marco Abbadini, Rodrigo Nicolau Almeida, Igor Arrieta
A longstanding open problem is whether every Heyting algebra is the lattice of truth values (i.e., of subterminal objects) of some elementary topos. A positive answer is known for…