University of Birmingham > Talks@bham > Theoretical computer science seminar > The frame generated by closed sublocales

## The frame generated by closed sublocalesAdd to your list(s) Download to your calendar using vCal - Ales Pultr (Charles University, Prague)
- Friday 31 March 2017, 11:00-12:00
- Computer Science Sloman Lounge.
If you have a question about this talk, please contact Paul Taylor. The original motivation came from the following phenomenon: • a frame is subfit iff each of its open sublocales is a join of closed ones • a frame is fit iff each of its closed sublocales is a meet of open ones. Now the latter is equivalent with the formally stronger statement • a frame is fit iff each of its sublocales is a meet of open ones. The question is what happens if we assume that each sublocale whatsoever is a join of closed ones. It turned out that it characterized the scattered frames, a point-free counterpart of the standard concept of scattered spaces. While proving this it turned out that the system S c (L) of joins of closed sublocales is always a frame (embedded into the co-frame of all sublocales S(L)). If the original frame L is subfit, it is, moreover, also a co-frame, a quotient (sub-colocale) of S(L), indeed a Boolean algebra, and L is naturally embedded into it (by sending an element to the associated open sublocale). Thus we have a Boolean extension of a subfit frame. It has turned out that • it can be used with advantage in modelling “non-continuous frame ho- momorphisms”, • it is (isomorphic) with the Booleanization of the frame of nuclei, the canonicity of which was pointed out by Johnstone (and thus eluminat- ing its nature, see also the following point) • and it is the maximal essential extension of L; • furthermore, if X is a T 1 -space, the S c (Ω(L)) picks out precisely the sublocales induced by subspaces from the coframe S(Ω(L)) of all sublo- cales of Ω(L). This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Computer Science Sloman Lounge
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsSERENE Group Seminar Series Medical Imaging Research Seminars Birmingham Popular Maths Lectures## Other talksHorizontal Mean Curvature Flow and stochastic optimal controls TBA The tragic destiny of Mileva Marić Einstein Life : it’s out there, but what and why ? TBA Counting cycles in planar graphs |