Continuity and Geometric Logic

Steven Vickers

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)
176 Downloads (Pure)

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.
Original languageEnglish
Pages (from-to)14-27
Number of pages14
JournalJournal of Applied Logic
Volume12
Issue number1
Early online date25 Jul 2013
DOIs
Publication statusPublished - Mar 2014

Keywords

  • Geometric logic
  • Topos
  • Locale
  • bundle

Fingerprint

Dive into the research topics of 'Continuity and Geometric Logic'. Together they form a unique fingerprint.

Cite this