Precovers, Modalities and Universal Closure Operators in a Topos (Q4888340)
From MaRDI portal
scientific article; zbMATH DE number 910448
Language | Label | Description | Also known as |
---|---|---|---|
English | Precovers, Modalities and Universal Closure Operators in a Topos |
scientific article; zbMATH DE number 910448 |
Statements
Precovers, Modalities and Universal Closure Operators in a Topos (English)
0 references
28 July 1996
0 references
local set theory
0 references
topos
0 references
universal closure operators
0 references
Lawvere-Tierney topologies
0 references
modalities
0 references