Page 113 - Textos de Matemática Vol. 41

Index
adjoint
– situation, 6
left –, 6
left Galois –, 1 right –, 6
right Galois –, 1
adjunction, 6 Galois –, 1
spectrum –, 14
admissible system of entourages, 82 algebra
Boolean –, 4
Heyting –, 2 induced biframe, 86 axiom TD, 30
basis of a (quasi-)uniformity, 84 biframe, 86
induced –, 86 quasi-uniformizable –, 86 strictly zero-dimensional –, 87
Boolean
– algebra, 4
– locale, 16
– sublocale, 36 Booleanization, 35
calculus of relations, 76 category
– of frames, 7
– of locales, 8 Cauchy filter, 5
closed
– localic map, 44
– sublocale, 32
closure, 34
co-dense localic map, 66 complement, 4 complemented sublocale, 37 complete metric space, 5 completely
– below, 84
– prime filter, 4
– regular locale, 85
composite, 76 congruence
– lattice, 30 frame –, 27 induced –, 54
corrupt space, 35
decreasing set, 58 dense
– localic map, 35
– sublocale, 34 diagonal morphism, 61 down-set, 58 DS-Hausdorff locale, 71
empty locale, 8 entourage, 75
symmetric –, 79 epimorphism
extremal –, 20
strong –, 20 extremal
– epimorphism, 20
– monomorphism, 20
factorization system, 22
99