An extension of the Galois theory of Grothendieck

DOI10.1090/memo/0309zbMath0541.18002OpenAlexW2011659388WikidataQ56554884 ScholiaQ56554884MaRDI QIDQ3328711

André Joyal, Myles Tierney

Publication date: 1984

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/memo/0309

zbMATH Keywords

dualGalois theorylocalesdescent theorygroupoidsheavesTopological spacescategory of extended spacesétale toposlattices with distributive property

Mathematics Subject Classification ID

Related Items (only showing first 100 items - show all)

Quantale-valued sup-algebras ⋮ The spectrum of a localic semiring ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Directed inverse limits of spatial locales ⋮ A look at the structure of congruence frames by means of Heyting congruences ⋮ Lax distributive laws for topology, II ⋮ A note on iterative arguments in a topos ⋮ Weak compactness in constructive spaces ⋮ Unnamed Item ⋮ The limit and tensor product in the category of Q-P quantale modules ⋮ Unnamed Item ⋮ Quantale-Enriched Multicategories Via Actions ⋮ Autonomous posets and quantales ⋮ Monoids with quantale-valued preorders: globalizations and localizations ⋮ Convex preferences: an abstract approach ⋮ Compact Hausdorff locales in presheaf toposes ⋮ Some properties of conjunctivity (subfitness) in generalized settings ⋮ Quantum B‐modules ⋮ On the categorical behaviour of locales and D-localic maps ⋮ Overlap Algebras as Almost Discrete Locales ⋮ Unification of Modal Logic via Topological Categories ⋮ Principal bundles as Frobenius adjunctions with application to geometric morphisms ⋮ Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity-Topoi ⋮ Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A short proof of the localic groupoid representation of Grothendieck toposes ⋮ An addendum to “Path-lifting for Grothendieck toposes" ⋮ Convergence in formal topology: a unifying notion ⋮ The regular-locally compact coreflection of a stably locally compact locale ⋮ A note on stably closed maps of locales ⋮ Unnamed Item ⋮ Relational Lattices via Duality ⋮ MVW-rigs and product MV-algebras ⋮ Quantales, finite observations and strong bisimulation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A basic distributive law ⋮ Unnamed Item ⋮ Modules in the Category $$\mathtt {\mathbf{Sup}}$$ ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Lindelöf tightness and the Dedekind-MacNeille completion of a regular σ-frame ⋮ Unnamed Item ⋮ Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔} ⋮ Unnamed Item ⋮ The localic Istropy group of a topos ⋮ Unnamed Item ⋮ Type Theory and Homotopy ⋮ Sheaf Representations and Duality in Logic ⋮ Notes on Point-Free Topology ⋮ Unnamed Item ⋮ Adjoint maps between implicative semilattices and continuity of localic maps ⋮ Some partial results on the cancellation law for the tensor product of complete lattices ⋮ Localic Galois theory ⋮ A new diagonal separation and its relations with the Hausdorff property ⋮ On the normal completion of a Boolean algebra ⋮ The point of pointless topology ⋮ Sup-lattice 2-forms and quantales ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An algebraic approach to subframe logics. Intuitionistic case ⋮ Difference Galois theory and dynamics ⋮ Uniformities and a quantale structure on localic groups ⋮ Unnamed Item ⋮ Topological Galois theory ⋮ Quantal sets and sheaves over quantales ⋮ Unsurprising results on localic groups ⋮ \(\kappa\)-frames ⋮ Epimorphisms of frames ⋮ Formal spaces and their effective presentations ⋮ On point-finiteness in pointfree topology ⋮ Monocoreflections of completely regular frames ⋮ On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic ⋮ The symmetric topos ⋮ Tensor products of complete lattices and their application in constructing quantales ⋮ An application of descent to a classification theorem for toposes ⋮ Implication via spacetime ⋮ Weak locale quotient morphisms and locally connected frames ⋮ Generating sublocales by subsets and relations: a tangle of adjunctions ⋮ Injective hulls of quantale-enriched multicategories ⋮ Categories for Dynamic Epistemic Logic ⋮ A Tannakian context for Galois theory ⋮ Entourages, covers and localic groups ⋮ Representing geometric morphisms using power locale monads ⋮ On the geometry of physical measurements: topological and algebraic aspects ⋮ The continuous weak order ⋮ Quantale algebras as lattice-valued quantales ⋮ An étalé space construction for stacks ⋮ Sites whose topoi are the smooth representations of locally prodiscrete monoids ⋮ Many-Valued Preorders I: The Basis of Many-Valued Mathematics ⋮ Actions of étale-covered groupoids

This page was built for publication: An extension of the Galois theory of Grothendieck