A structural investigation on formal topology: coreflection of formal covers and exponentiability

DOI10.2178/jsl/1102022209zbMath1071.03040OpenAlexW2119717000MaRDI QIDQ5311765

Maria Emilia Maietti, Silvio Valentini

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1102022209

zbMATH Keywords

localesconstructive topologyexponentiabilityinductive generationcoreflectioncategory of formal topologiesformal cover

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical logic, topoi (03G30) Categorical methods in general topology (54B30) Frames, locales (06D22) Other constructive mathematics (03F65)

Related Items (13)

Spatiality and classical logic ⋮ Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice ⋮ Relative formal topology: the binary positivity predicate comes first ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Cosheaves and connectedness in formal topology ⋮ Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies ⋮ Convergence in formal topology: a unifying notion ⋮ Embedding locales and formal topologies into positive topologies ⋮ Objects: a study in Kantian formal epistemology ⋮ Vagueness, Kant and topology: a study of formal epistemology ⋮ Every countably presented formal topology is spatial, classically ⋮ Compactness in locales and in formal topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A structural investigation on formal topology: coreflection of formal covers and exponentiability