Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Embedding locales and formal topologies into positive topologies

Embedding locales and formal topologies into positive topologies 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

Embedding locales and formal topologies into positive topologies

Loading next page...
 
/lp/springer-journals/embedding-locales-and-formal-topologies-into-positive-topologies-0ZQBqIkk2Q

References (26)

Publisher
Springer Journals
Copyright
Copyright © 2017 by Springer-Verlag GmbH Germany, part of Springer Nature
Subject
Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s00153-017-0605-0
Publisher site
See Article on Publisher Site

Abstract

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.

Journal

Archive for Mathematical LogicSpringer Journals

Published: Dec 7, 2017

There are no references for this article.