University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Oxford Quantum Talks Archive

Topos-theoretic models of the continuum

Peter Johnstone, University of Cambridge
Categories, Logic and Foundations of Physics II, May 2008, Imperial College London

We survey a number of different approaches to modelling the continuum in a topos, with particular reference to such questions as whether the real line should be viewed as a space or a locale, the ring-theoretic properties of the continuum, and whether it is sensible to require that all real functions should be continuous or even smooth.

[video] [streaming video] [slides]