Continuity and geometric logic |
| |
Affiliation: | School of Computer Science, University of Birmingham, Birmingham, B15 2TT, United Kingdom;IMB, LaBRI — Universit´e de Bordeaux;IMB, LaBRI — Universit´e de Bordeaux |
| |
Abstract: | This paper is largely a review of known results about various aspects of geometric logic. Following Grothendieckʼs view of toposes as generalized spaces, one can take geometric morphisms as generalized continuous maps. The constructivist constraints of geometric logic guarantee the continuity of maps constructed, and can do so from two different points of view: for maps as point transformers and maps as bundles. |
| |
Keywords: | Geometric logic Topos Locale Bundle |
本文献已被 ScienceDirect 等数据库收录! |
|