Page 114 - Textos de Matemática Vol. 41

100
Index
filter, 4
Cauchy –, 5
completely prime –, 4
proper –, 4 fit locale, 63
formulas Heyting –, 2
frame, 4
– congruence, 27
– homomorphism, 7
one-element –, 8 frames
category of –, 7 Frobenius identity, 45 front space, 40
full assembly, 40
Galois adjunction, 1 generator, 21
group
localic –, 87
Hausdorff
DS- – locale, 71
I- – locale, 69 Heyting
– algebra, 2
– formulas, 2 – operation, 2
homomorphism frame –, 7
localic group –, 88 sublocale –, 27 uniform –, 84
I-Hausdorff locale, 69 image, 44
induced congruence, 54 interpolative relation, 84
locale, 8
Boolean –, 16
completely regular –, 85 DS-Hausdorff –, 71 empty –, 8
fit –, 63
I-Hausdorff –, 69 one-point –, 8
point of a –, 9 quasi-uniform –, 83 regular –, 63
Sierpin´ski –, 21
spatial –, 15
spectrum of a –, 9 strongly Hausdorff –, 69 subfit –, 63
uniform –, 83
zero-dimensional –, 37 locales
category of –, 8 localic group, 87
– homomorphism, 88 localic map, 8
closed –, 44 co-dense –, 66 dense –, 35 open –, 45
meet-irreducible, 4 monomorphism
extremal –, 20 strong –, 20
nucleus, 28 quantic –, 81
one-point locale, 8 open
– sublocale, 32
– localic map, 45
point, 9
weakly isolated –, 35
preimage, 47
left
– Galois adjoint, 1 – adjoint, 6
– uniformity, 91