Embedding locales and formal topologies into positive topologies
type: Item
instance of: scholarly article
title: Embedding locales and formal topologies into positive topologies
author: Francesco Ciraulo
author: Giovanni Sambin
published in: Archive for Mathematical Logic
publication date: 2019-01-14T00:00:00Z
full work available at URL: http://hdl.handle.net/11577/3254733
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 06B23
zbMATH DE Number: 7001415
zbMATH Keywords: formal topology
zbMATH Keywords: locales
zbMATH Keywords: suplattices
zbMATH Keywords: positivity relations
zbMATH Keywords: constructive mathematics
zbMATH Keywords: positive topologies
MaRDI profile type: Publication
OpenAlex ID: W2775632389
cites work: Aspects of general topology in constructive set theory
cites work: Pretopologies and a uniform presentation of sup-lattices, quantales and frames
cites work: Q4314472
cites work: Convergence in formal topology: a unifying notion
cites work: A constructive Galois connection between closure and interior
cites work: Positivity relations on a locale
cites work: Inductively generated formal topologies.
cites work: Q3322276
cites work: An extension of the Galois theory of Grothendieck
cites work: A minimalist two-level foundation for constructive mathematics
cites work: Q5718565
cites work: A structural investigation on formal topology: coreflection of formal covers and exponentiability
cites work: Regular universes and formal spaces
cites work: The basic Zariski topology
cites work: Q3481701
cites work: Some points in formal topology.
cites work: Q4944859
cites work: Formal Zariski topology: Positivity and points
cites work: Compactness in locales and in formal topology
DOI: 10.1007/S00153-017-0605-0
Recommended article: Q5028461
Recommended article: Q4311229
Recommended article: Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
Recommended article: Elementary axioms for local maps of toposes
Recommended article: Compactness in locales and in formal topology
Recommended article: Applications of localic separation axioms, compactness axioms, representations, and compactifications to poslat topological spaces
Recommended article: Q4039735
Recommended article: A constructive and functorial embedding of locally compact metric spaces into locales
Recommended article: $L'$-localization in an $\infty$-topos
Recommended article: Q6137256
description: scientific article; zbMATH DE number 7001415