Continuous Truth I Non-constructive Objects
Continuous Truth I Non-constructive Objects
Continuous Truth I Non-constructive Objects
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
168 M.P. FOURMAN<br />
1.8 Surjections. Dually, we view injective inverse image maps as giving rise<br />
to surjections of spaces.<br />
1.9 Right adjoints.<br />
given by<br />
The map q<br />
p A<br />
where p + r = v!q I p A q 2 r}.<br />
morphisms are different).<br />
Each frame map f* has a right adjoint f,, direct image,<br />
=<br />
V{q 1 f*q 5 pl .<br />
f*p<br />
q has a right adjoint r + p -f r defined by<br />
p ~ q s r iff qsp+r<br />
Thus frames are complete Heyting algebras (but the<br />
1.10 Definition. A map of spaces f: X -f Y is o en if the inverse image map<br />
f*: O(y) + O(X) has a left adjoint 3,: U(X) + O(V7 commuting with A:<br />
3f(f*(Y) A x) = Y A jf(X)<br />
or, equivalently, if f* preserves +.<br />
1.11 Proposition. The category of locales is complete and cocomplete. Open<br />
surjections are stable (under pull-back).<br />
The theory of locales is developed extensively by Joyal and Tierney C19821.<br />
Johnstone 119821 uses locales systematically and has a comprehensive bibliography.<br />
52 Sites and Sheaves<br />
2.1 Definitions. Let 0 be a small categor . A cribte K of A E !El is a suboil<br />
functor of the representable functor A E S' : that is, for each B E 181 a set<br />
K(B) 5 IB,AI, stable under composition; for each f E K(B) and g: C -f B in C, the<br />
composite f 0 g E K(C).<br />
2.2 Lemma. The cribles of A form a frame, P(A).<br />
If f: B + A in B we have an inverse image map f*: P(A) + P(B) given by<br />
f*K = Ig f 0 g E K} for K E P(A). By abuse we write f: B -f A for the corresponding<br />
continuous map. This map is open.<br />
2.3 Definition. (Lawvere-Tierney) A Grothendieck topology j on is a<br />
family of nuclei jA: P(A) -f P(A), natural in A: that is f*o jA= jBof*for f: B + A.<br />
2.4 Lemma. If j is a Grothendieck topology on 0, the quotient frames n(A) have<br />
induced inverse image maps f*: n(A) + n(B) and the corresponding map of locales,<br />
which we write f: Bj +A', is open.<br />
2.5 Definitions.<br />
which is<br />
A pretopotogy J on 0 i s a family J(A) c P(A) for each A E<br />
reflerrive A E J(A)<br />
multiplicative<br />
K E J(A) L E J(A)<br />
K n L E J(A)<br />
B<br />
stable<br />
K E J(A) f: B + A<br />
f*K E J(B)<br />
(For example, let K E J(A) iff j K = T).<br />
A crible K E P(A) is inductively ctosed for J iff