University of Birmingham > Talks@bham > Lab Lunch > The coproduct of frames as encoding d-frame structure

## The coproduct of frames as encoding d-frame structureAdd to your list(s) Download to your calendar using vCal - Anna Laura Suarez, CS Theory Group Birmingham
- Thursday 06 June 2019, 12:00-13:00
- CS 217.
If you have a question about this talk, please contact Dr Steve Vickers. Bitopological spaces have as pointfree representations structures called d-frames. This is in virtue of a Stone-type contravariant adjunction between the two categories at play. D-frames are quadruples (L_1, L_2, con, tot) where L_1,L_2 are frames and con, tot are subsets of their product satisfying certain axioms. The frames L_1 and L_2 represent frames of opens of two topologies imposed on the same set. The subsets con and tot represent respectively the disjoint pairs and those whose union covers the whole space. We will see how the coproduct (L_1)+(L_2) of two frames L_1,L_2 encodes information on the possible con and tot subsets of (L_1)x(L_2) satisfying the d-frame axioms. In particular cons and tots may be seen as certain sublocales of the coproduct. D-frames may also be seen as presentations of frames, where the first two components are generators and the last two are relations. Given any pair of frames L_1,L_2 we will show how to construct a d-frame such that it presents a finitary substructure of the assembly of the coproduct (L_1)+(L_2). This finitary assembly also enjoys a universal property similar to that of the assembly. This talk is part of the Lab Lunch series. ## This talk is included in these lists:- CS 217
- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Lab Lunch
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsNuclear physics seminars Theoretical Physics Seminars Geometry and Mathematical Physics seminar## Other talksTBC |