| |
|
Description: |
The category Frm of frames is an algebraic [point-free) modification of the category of topological spaces. In particular, each topology is a frame. A study of Frm gives us many algebraic techniques not available in the point-sensitive setting. The category Frm includes the category CBA of complete boolean algebras. At first sight it seems that CBA is a reflective subcategory of Frm, but there is a mysterious set-theoretic obstruction. Some
frames can be reflected into CBA and some not. The category Frm is much richer than the category of spaces. In particular, each frame A has an associated larger frame NA, its
assembly, the frame of all nuclei on A. When A is the topology of a space, a nucleus is essentially a Grothendieck topology for the
space. (There are similar gadgets for modules over a ring -- the Gabriel topologies for the ring.) The assembly construction N(.) can be iterated through the ordinals
A ---> NA ---> N^2A ---> N^3A ---> .....
and this tower stabilizes precisely when A has a boolean reflection. Some of the properties of this tower can be measured by an extension of the Cantor-Bendixson process on a topological space. This extension seems to be new for spaces (but does have an analogue for modules). I will explain what I know about this tower, finishing with an example where N^3A is boolean but N^2A is not. Nothing seems to be known beyond this level.
Area(s): Topology, Category Theory
|
|
Date: |
|
| Start Time: |
16.00 |
|
Speaker: |
Harold Simmons (Manchester Univ., UK)
|
|
Place: |
5.5
|
| Research Groups: |
-Algebra, Logic and Topology
|
|
See more:
|
<Main>
|
|
