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 listsDinner Table Terrorism - Achieving Food Security Data Science and Computational Statistics Seminar Computer Security Seminars## Other talksBases for permutation groups Quantum-Enhanced Interferometry hunting in the Dark Universe: How Gravitatioanl-wave detector technology can be (ab)used for other mysteries in fundamental physics. The tragic destiny of Mileva MariÄ‡ Einstein Time crystals, time quasicrystals, and time crystal dynamics TBA TBA |