| |
|
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>
|
|
