Locales in functional analysis (Q807736)

This is a review article discussing extensions of the Hahn-Banach theorem and the Gelfand duality theorem to situations where the axiom of choice is valid only in weakened form. The results are due to Banaschewski, Mulvey, and the author. The setting for this is that of locales, the work is done within a Grothendieck topos. Examples where these results are useful, are Hahn-Banach extensions of linear functionals depending continuously or smoothly on other parameters (on Banach space bundles), or G-equivariantly with respect to an isometric action of a group G.