๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Precovers, Modalities and Universal Closure Operators in a Topos

โœ Scribed by John L. Bell; Silvia Gebellato


Publisher
John Wiley and Sons
Year
1996
Tongue
English
Weight
526 KB
Volume
42
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

โœฆ Synopsis


Abstract

In this paper we develop the notion of formal precover in a topos by defining a relation between elements and sets in a local set theory. We show that such relations are equivalent to modalities and to universal closure operators. Finally we prove that these relations are well characterized by a convenient restriction to a particular set.

Mathematics Subject Classification: 03G30, 03B20, 03F55.


๐Ÿ“œ SIMILAR VOLUMES