"106" Result
Sort By:
In this paper we compare, in a precise way, the concept of Grothendieck topos to the classical notion of topological space. The comparison takes the form of a two-fold extension of the idea of space.
We relate Freyd's topos-theoretic models for the independence of the axiom of choice to the more familiar symmetric Boolean-valued models.
