Continuous Truth I Non-constructive Objects
Continuous Truth I Non-constructive Objects
Continuous Truth I Non-constructive Objects
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
176 M.P. FOURMAN<br />
Proof. If Uik f: pt )# + pt W then f is represented by 5: X x U + Y in (c. For<br />
VE()(Y) a basic open of W, w: W + U and x: W + X we have<br />
Wlk (t;lw)(x) E<br />
iff [S 0 l-l(v) = w<br />
-1 -1<br />
iff 5 (V) = w<br />
w It- x E<br />
iff<br />
c5-1(v)lwl<br />
1<br />
regarding 5- V E O(Xx U) as an open of )# defined at U.<br />
1<br />
Thus Ulk 5- (V) is open. 0<br />
v<br />
55 Iteration<br />
We return for a while to consideration of a general Grothendieck topos B = Sh(O,J).<br />
We consider the internal category (I in E given by<br />
(E(U)<br />
with restrictions given by pulling back.<br />
[For those who worry about coherence (one should worry), we remark that a concrete<br />
category in E with an equivalent category of sections over U is given by<br />
considering V/f to be represented as the element S of (PV)(U) determined by<br />
W / ~ V E S iff ~ ~ f o v = g .<br />
So & is an internal small full subcategory of E whose objects are subfunctors of<br />
representables.]<br />
We give C_ a topology by letting<br />
xi<br />
\/<br />
-x<br />
cover<br />
Now for A E IEI we define A, E ShE(C,J) by<br />
with restrictions for g: V<br />
(c/u<br />
X/f in & if Xi + X cover X in c.<br />
UkA_(X/f)<br />
A(X)<br />
+ U given by restriction along f*g<br />
and for 5: Y/h + X/g in a/U, by restriction along 5<br />
Y A X<br />
Any morphism A + B in E induces<br />
U<br />
+,B in ShE($,J).