Page 115 - Textos de Matemática Vol. 41
P. 115
Index
101
prenucleus, 80 quantic –, 81
proper filter, 4 pseudocomplement, 3
quantale, 80 quantic
– nucleus, 81
– prenucleus, 81 quasi-uniform locale, 83 quasi-uniformity, 83
– basis, 84
– subbasis, 84 quasi-uniformizable biframe, 86
rather below, 72 regular
– locale, 63
– open set, 16 completely – locale, 85
relation, 76
completely below –, 84 interpolative –, 84 rather below –, 72
right
– Galois adjoint, 1 – adjoint, 6
– uniformity, 91
saturated element, 52 Sierpin´ski locale, 21 Skula
– space, 40
– topology, 40 sober space, 6
weakly –, 5 sobrification, 16
spatial
– locale, 15
– sublocale, 38 specialization order, 13 spectrum, 9
– adjunction, 14
strictly zero-dimensional biframe, 87
strong
– epimorphism, 20
– monomorphism, 20
strongly Hausdorff locale, 69 subbasis, 84
subfit locale, 63
sublocale, 25
– homomorphism, 27 Boolean –, 36
closed –, 32 complemented –, 37 dense –, 34
open –, 32
spatial –, 38 symmetric entourage, 79 system of entourages
admissible –, 82 symmetric –, 82
topological space corrupt –, 35
front –, 40
Skula –, 40
sober –, 6
TD –, 30
weakly scattered –, 35 weakly sober –, 5
topology
L- –, 33
Skula –, 40 two-sided uniformity, 91
uniform
– homomorphism, 84 – locale, 83
uniformity, 83 – basis, 84
– subbasis, 84 left –, 91
right –, 91 two-sided –, 91
weakly
– isolated point, 35