University of Birmingham > Talks@bham > Lab Lunch > Fibrations and opfibrations of generalized point-free spaces

## Fibrations and opfibrations of generalized point-free spacesAdd to your list(s) Download to your calendar using vCal - Steve Vickers, CS Theory Group Birmingham
- Thursday 17 January 2019, 12:00-13:00
- CS 217.
If you have a question about this talk, please contact Dr Steve Vickers. (Joint work with Sina Hazratpour) “Point-free” means that the points are defined as models of a geometric theory, not as elements of a set, and “generalized” means the theory may be first-order. (The “ungeneralized” case is for propositional theories, for instance locales.) There are two well-known topos-theoretic models of generalized spaces: the original Grothendieck toposes (which are relative to classical sets), and a relativized version GTop/S relative to a chosen elementary topos S, the base (which we assume to have nno). Then the generalized spaces are the bounded geometric morphisms from an elementary topos E to S. Working generically, and using a Chevalley criterion, can often give simple proofs that certain classes of morphisms in GTop/S are fibrations or opfibrations in GTop/S. However, S is largely irrelevant, and Johnstone proved the stronger – and harder – result that they are (op)fibrations in ETop, arbitrary elementary toposes. The joint work with Sina showed how to get the same results using the simple generic arguments with Chevalley in a third model of generalized spaces, the 2-category Con from my “Sketches for arithmetic universes”. It was proved by Johnstone that bagtoposes, a topos analogue of powerlocales (or powerdomains) can be characterized as partial products. Some colimits of toposes (e.g. coproducts, lifting) can be then be constructed using bagtoposes. However, in a 2-category the universal characterization depends on the morphism ingredient of the partial product being a fibration or opfibration, and hence it becomes important to be able to analyse those properties. 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 listsSchool of Metallurgy and Materials Colloquia Centre for Computational Biology Seminar Series Biosciences seminars## Other talksTBC |