We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

The Logic and Geometry of Localic Morphisms

4
 Cite
 Share
 Related Material
 Download
 Purchase
No logo availableInstitut des Hautes Études Scientifiques (IHÉS)
 Wrigley, Joshua

Formal Metadata

Title
The Logic and Geometry of Localic Morphisms
Title of Series
Number of Parts
31
Author
Contributors
License
CC Attribution 3.0 Unported:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
In this presentation, a substitutive syntactic site for the classifying topos of a geometric theory is introduced. This construction is understood in light of the relationship between localic expansions and internal locales. The usual syntactic site is recovered as a topos theoretic completion of the substitutive site.