%PDF-1.5 % 10 0 obj << /S /GoTo /D (Outline0.1) >> endobj 13 0 obj (The old Days) endobj 14 0 obj << /S /GoTo /D (Outline0.1.1.5) >> endobj 17 0 obj (General Elementary Toposes) endobj 18 0 obj << /S /GoTo /D (Outline0.1.2.10) >> endobj 21 0 obj (Elementary Toposes with Natural Number Objects) endobj 22 0 obj << /S /GoTo /D (Outline0.2) >> endobj 25 0 obj (The new Story) endobj 26 0 obj << /S /GoTo /D (Outline0.2.1.15) >> endobj 29 0 obj (Enter oo-Categories) endobj 30 0 obj << /S /GoTo /D (Outline0.2.2.23) >> endobj 33 0 obj (oo-Categories and NNO) endobj 34 0 obj << /S /GoTo /D (Outline0.3) >> endobj 37 0 obj (The Proof) endobj 38 0 obj << /S /GoTo /D (Outline0.3.1.26) >> endobj 41 0 obj (Algebraic Topology) endobj 42 0 obj << /S /GoTo /D (Outline0.3.2.29) >> endobj 45 0 obj (Elementary Topos Theory) endobj 46 0 obj << /S /GoTo /D (Outline0.3.3.36) >> endobj 49 0 obj (Homotopy Type Theory) endobj 50 0 obj << /S /GoTo /D (Outline0.4) >> endobj 53 0 obj (Some Implications) endobj 54 0 obj << /S /GoTo /D (Outline0.4.1.46) >> endobj 57 0 obj (Enveloping Toposes) endobj 58 0 obj << /S /GoTo /D (Outline0.4.2.48) >> endobj 61 0 obj (Colimits) endobj 62 0 obj << /S /GoTo /D (Outline0.4.3.52) >> endobj 65 0 obj (Where we can go \(and have gone\) next?) endobj 66 0 obj << /S /GoTo /D [67 0 R /Fit] >> endobj 68 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 362.835 3.985] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 69 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 69 0 obj << /Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [0 0.0 0 3.9851] /Function << /FunctionType 2 /Domain [0 1] /C0 [1 1 1] /C1 [0.5 0.5 0.5] /N 1 >> /Extend [false false] >> >> /ProcSet [ /PDF ] >> endobj 75 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 5669.291 8] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 76 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 76 0 obj << /Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [0 0.0 0 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [1 1 1] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [false false] >> >> /ProcSet [ /PDF ] >> endobj 77 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 8 8] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 78 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 78 0 obj << /Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [4.00005 4.00005 0.0 4.00005 4.00005 4.00005] /Function << /FunctionType 2 /Domain [0 1] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> /Extend [true false] >> >> /ProcSet [ /PDF ] >> endobj 79 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 16 16] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 80 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 80 0 obj << /Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [8.00009 8.00009 0.0 8.00009 8.00009 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [true false] >> >> /ProcSet [ /PDF ] >> endobj 89 0 obj << /Length 1135 /Filter /FlateDecode >> stream xWKo6WH%C)>-6qXdv{:J֏qwHJh$bRÙA%bo8J(DN,p l*r3<0zȁK6Bm~jKgwR"F@:(ɭchȷEXL) pUhZ[2&_xZ 2abr}50ŝф{01\mWgtGmq.6+yHAe WEqq7J:jh_SϮ;m(ppdar'gI>ޣ[ip\aAJLBZTwy$?4W& HTbQ BVO@ å.k ԊLIe@Ix`v::bIu=7)%xb۠;,z7JXDv 8vI:;XK[6H9\ni~;78XuDv((P\
ɦe=)y}ؔ9nv`i6o{^'g z/ckgb;RKy_3@
/6lDa! 2}"sj~bȧm5.gZ|QI#d^ZSp_.UTIa h