Characterizes geometric theories with De Morgan classifying toposes via the amalgamation property of models and gives constructions to produce De Morgan toposes from arbitrary ones.
Fibred sites and existential toposes
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
math.CT 2verdicts
UNVERDICTED 2representative citing papers
Constructs left adjoint realizing free internal suplattices/frames from presheaves thereof in presheaf toposes and characterizes internal local compactness, compactness and related properties via sections and transition maps.
citing papers explorer
-
De Morgan's law in toposes I
Characterizes geometric theories with De Morgan classifying toposes via the amalgamation property of models and gives constructions to produce De Morgan toposes from arbitrary ones.
-
Locales in presheaf toposes vs. presheaves of locales
Constructs left adjoint realizing free internal suplattices/frames from presheaves thereof in presheaf toposes and characterizes internal local compactness, compactness and related properties via sections and transition maps.