|
|
|
|
|
|
|
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: |
|
| 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>
|
|
| |
|
|
|
|
|
|
© 2012 Centre for Mathematics, University of Coimbra, funded by
Powered by: rdOnWeb
v1.4 | technical support
|
|
|
|
