Dual presentations of locales
 
 
Description: 

Just as usual presentations of frames allow us to define frames using sets of generators and relations, we will discuss how to define frames using compact Hausdorff locales of generators and relations. I will explain how to present a compact Hausdorff locale in terms of itself and describe the locale of partial surjections from Cantor space to a given compact Hausdorff locale. We show the latter is nontrivial, which gives a generalisation of the Alexandroff-Hausdorff theorem without any cardinality restrictions.

Date:  2026-03-17
Start Time:   15:00
Speaker:  Graham Manuell (Stellenbosch Univ., South Africa)
Institution:  Stellenbosch Univ., South Africa
Place:  Online: https://flnlucatelli.github.io/ONLINEALTSEMINAR.html
Organization:  Fernando Lucatelli Nunes
See more:   <Main>   <Algebra, Logic and Topology (online)>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support