Ionads

DOI10.1016/J.JPAA.2012.02.013zbMATH Open1266.18006arXiv0912.1415OpenAlexW4206671793MaRDI QIDQ456842FDOQ456842

Authors: Richard Garner 

Publication date: 16 October 2012

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: The notion of Grothendieck topos may be considered as a generalisation of that of topological space, one in which the points of the space may have non-trivial automorphisms. However, the analogy is not precise, since in a topological space, it is the points which have conceptual priority over the open sets, whereas in a topos it is the other way around. Hence a topos is more correctly regarded as a generalised locale, than as a generalised space. In this article we introduce the notion of ionad, which stands in the same relationship to a topological space as a (Grothendieck) topos does to a locale. We develop basic aspects of their theory and discuss their relationship with toposes.

Full work available at URL: https://arxiv.org/abs/0912.1415

Recommendations

• Towards higher topology
• Topo-logie
• scientific article; zbMATH DE number 7583437
• scientific article; zbMATH DE number 3886100
• scientific article; zbMATH DE number 2117177

zbMATH Keywords

topologytoposlocaleflat functorsober space

Mathematics Subject Classification ID

Topoi (18B25) Topological spaces and generalizations (closure spaces, etc.) (54A05)

Cites Work

• Adjoint functors and triples
• Title not available (Why is that?)
• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• The formal theory of monads
• The formal theory of monads. II
• Adjoint Lifting Theorems for Categories of Algebras
• Gattungen von lokalen Strukturen
• Exact functors and measurable cardinals
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC

Cited In (4)

• Formal model theory and higher topology
• La folle journée, de Grothendieck à Connes et Kontsevich: évolution des notions d'espace et de symétrie. (The ``folle journée from Grothendieck to Connes and Kontsevich: evolution of the notions of space and symmetry)
• Towards higher topology
• Social topology and Grothendieck topoi

This page was built for publication: Ionads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456842)