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 listsCold Atoms Type the title of a new list here SoCS PhD Research Training Sessions## Other talksTBA Energy release and transport in solar eruptive events The science of the large scale heliosphere and the missions that made it possible TBC TBC Hidden Markov Model in Multiple Testing on Dependent Data |