The boolean reflection of a frame and the Cantor-Bendixson derivative
 
 
Description:  We consider two categories, the category of frames and the category of complete boolean algebras. We know that a complete boolean algebra is always a frame, but we want to assign universally a complete boolean algebra to each frame. It turns out this is not always true, but there is a result that tells us that a frame has a boolean reflection if and only if the tower of assemblies eventually stops. Remember that the assembly of a frame is the frame of all nuclei. What we really want to understand is how boolean a frame can be, and besides the boolean reflection, to understand this we can use the cantor-bendixson derivative which, in a way, shows us the boolean parts of a frame.
At the end, the purpose of this work is to understand the relation between frames and complete boolean algebras.
Date:  2018-10-10
Start Time:   15:00
Speaker:  Ana Belén Avilez (UC|UP PhD programme student)
Institution:  UC|UP PhD programme
Place:  Sala 2.5, DMat UC
See more:   <Main>   <UC|UP MATH PhD Program>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support