Access the full text.
Sign up today, get DeepDyve free for 14 days.
P. Aczel (2006)
Aspects of general topology in constructive set theoryAnn. Pure Appl. Log., 137
Steven Vickers (2006)
Compactness in locales and in formal topologyAnn. Pure Appl. Log., 137
G. Sambin (2003)
Some points in formal topologyTheor. Comput. Sci., 305
(2002)
Sheaf interpretations for generalised predicative intuitionistic theories, Ph.D
Francesco Ciraulo, S. Vickers (2016)
Positivity relations on a localeAnn. Pure Appl. Log., 167
Davide Rinaldi, G. Sambin, P. Schuster (2016)
The Basic Zariski TopologyConfluentes Mathematici, 7
Giulia Battilotti, G. Sambin (2006)
Pretopologies and a uniform presentation of sup-lattices, quantales and framesAnn. Pure Appl. Log., 137
P. Johnstone (1996)
HANDBOOK OF CATEGORICAL ALGEBRABulletin of The London Mathematical Society, 28
Erik Palmgren (2006)
Regular universes and formal spacesAnn. Pure Appl. Log., 137
F. Borceux (1994)
Handbook of Categorical Algebra: Topological categories
Francesco Ciraulo, M. Maietti, G. Sambin (2012)
Convergence in formal topology: a unifying notionJ. Log. Anal., 5
G. Sambin (1987)
Intuitionistic Formal Spaces — A First Communication
P. Schuster (2006)
Formal Zariski topology: Positivity and pointsAnn. Pure Appl. Log., 137
M. Maietti, G. Sambin (2013)
Why topology in the minimalist foundation must be pointfreeLogic and Logical Philosophy, 22
Generating positivity by coinduction
T. Coquand, G. Sambin, Jan Smith, S. Valentini (2003)
Inductively generated formal topologiesAnn. Pure Appl. Log., 124
M. Maietti, S. Valentini (2004)
A structural investigation on formal topology: coreflection of formal covers and exponentiabilityJournal of Symbolic Logic, 69
Francesco Ciraulo, G. Sambin (2010)
The overlap algebra of regular opensJournal of Pure and Applied Algebra, 214
Positive Topology and The Basic Picture
ME Maietti, G Sambin (2005)
From Sets and Types to Topology and Analysis: Practicable Foundations for Constructive Mathematic
M. Maietti, G. Sambin (2005)
Toward a minimalistic foundation for constructive mathematics
A. Joyal, M. Tierney (1984)
An extension of the Galois theory of GrothendieckMemoirs of the American Mathematical Society, 51
P. Johnstone (1984)
Open locales and exponentiation
Francesco Ciraulo, G. Sambin (2008)
Finitary formal topologies and Stone's representation theoremTheor. Comput. Sci., 405
M. Maietti (2008)
A minimalist two-level foundation for constructive mathematicsAnn. Pure Appl. Log., 160
Francesco Ciraulo, G. Sambin (2011)
A constructive Galois connection between closure and interiorThe Journal of Symbolic Logic, 77
A positive topology is a set equipped with two particular relations between elements and subsets of that set: a convergent cover relation and a positivity relation. A set equipped with a convergent cover relation is a predicative counterpart of a locale, where the given set plays the role of a set of generators, typically a base, and the cover encodes the relations between generators. A positivity relation enriches the structure of a locale; among other things, it is a tool to study some particular subobjects, namely the overt weakly closed sublocales. We relate the category of locales to that of positive topologies and we show that the former is a reflective subcategory of the latter. We then generalize such a result to the (opposite of the) category of suplattices, which we present by means of (not necessarily convergent) cover relations. Finally, we show that the category of positive topologies also generalizes that of formal topologies, that is, overt locales.
Archive for Mathematical Logic – Springer Journals
Published: Dec 7, 2017
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.