Topology via Constructive Logic - School of Computer Science ...

Abstract. By working constructively in the sense of geometric logic, topology can be hidden. This .... other words a continuous map from the locale [Th2] to [Th1].
795KB Sizes 0 Downloads 157 Views