Symbolic dynamics and representations of matrices
By Emmanuel Jeandel
Beyond Painlevé: The need for computational tools to reveal hidden structure
By Nicholas Witte
Appears in collection : Topos à l'IHES
We described a short list of categorical axioms that make a category behave like the category of locales. In summary the axioms assert that the category has an object that behaves like the Sierpnski space and this object is double exponentiable. A number of the usual results of locale theory can be derived using the axioms: the (weakly) closed subgroup theorem proved, closed and proper surjection are of eective descent, parallel theories of discrete and compact Hausdor spaces emerge. An example is given of a category that satises the axioms but which is not the category of locales for any topos. We show how to embed the category of elementary toposes into the category whose objects are categories that satisfy the axioms.