𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Closure operators and functorial topologies

✍ Scribed by Gabriele Castellini

Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
542 KB
Volume
55
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On many-sorted algebraic closure operato
On many-sorted algebraic closure operators
✍ Juan Climent Vidal; Juan Soliveres Tur πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 96 KB

## Abstract A theorem of Birkhoff‐Frink asserts that every algebraic closure operator on an ordinary set arises, from some algebraic structure on the set, as the corresponding generated subalgebra operator. However, for many‐sorted sets, i.e., indexed families of sets, such a theorem is not longer

Precovers, Modalities and Universal Clos
Precovers, Modalities and Universal Closure Operators in a Topos
✍ John L. Bell; Silvia Gebellato πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 526 KB

## 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 character