University of Birmingham > Talks@bham > Theoretical computer science seminar > A topos-theoretic approach to non-commutative topology

## A topos-theoretic approach to non-commutative topologyAdd to your list(s) Download to your calendar using vCal - Chris Heunen, University of Oxford
- Friday 22 January 2010, 14:00-15:00
- UG40 Computer Science.
If you have a question about this talk, please contact Paul Levy. Topology can be generalised in at least two directions: pointless topology, leading ultimately to topos theory, or noncommutative geometry. The former has the advantage that it also carries a logical structure, the latter captures quantum settings, of which the logic is not well understood generally. We discuss a construction making a generalised space in the latter sense into a generalised space in the former sense, i.e. making a noncommutative C-star algebra into a locale. This construction is interesting from a logical point of view, and leads to an adjunction for noncommutative C-star algebras that extends Gelfand duality. 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
- Theoretical computer science seminar
- UG40 Computer Science
- computer sience
Note that ex-directory lists are not shown. |
## Other listsWhat's on in Physics? Theoretical computer science seminar Theoretical Physics Journal Club## Other talksAdvancing biomedical photoacoustic imaging using structured light and optical microresonators Module tensor categories and the Landau-Ginzburg/conformal field theory correspondence Hidden Markov Model in Multiple Testing on Dependent Data TBC Plasmonic Electronic Paper |