%PDF-1.5 % 4 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 100 100] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 5 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 5 0 obj << /Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 100.00128] /Coords [0.0 0 100.00128 0] /Function << /FunctionType 3 /Domain [0.0 100.00128] /Functions [ << /FunctionType 2 /Domain [0.0 100.00128] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [1 1 1] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 25.00032 75.00096] /Encode [0 1 0 1 0 1] >> /Extend [false false] >> >> /ProcSet [ /PDF ] >> endobj 6 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 100 100] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 7 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 7 0 obj << /Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 100.00128] /Coords [0.0 0 100.00128 0] /Function << /FunctionType 3 /Domain [0.0 100.00128] /Functions [ << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> ] /Bounds [ 25.00032 75.00096] /Encode [0 1 0 1 0 1] >> /Extend [false false] >> >> /ProcSet [ /PDF ] >> endobj 8 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 100 100] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 9 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 9 0 obj << /Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 100.00128] /Coords [0 0.0 0 100.00128] /Function << /FunctionType 3 /Domain [0.0 100.00128] /Functions [ << /FunctionType 2 /Domain [0.0 100.00128] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [1 1 1] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 25.00032 75.00096] /Encode [0 1 0 1 0 1] >> /Extend [false false] >> >> /ProcSet [ /PDF ] >> endobj 10 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 100 100] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 11 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 11 0 obj << /Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 100.00128] /Coords [0 0.0 0 100.00128] /Function << /FunctionType 3 /Domain [0.0 100.00128] /Functions [ << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> ] /Bounds [ 25.00032 75.00096] /Encode [0 1 0 1 0 1] >> /Extend [false false] >> >> /ProcSet [ /PDF ] >> endobj 16 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 100 100] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 17 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 17 0 obj << /Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 50.00064] /Coords [50.00064 50.00064 0.0 50.00064 50.00064 50.00064] /Function << /FunctionType 3 /Domain [0.0 50.00064] /Functions [ << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 22.50027 25.00032] /Encode [0 1 0 1 0 1] >> /Extend [true false] >> >> /ProcSet [ /PDF ] >> endobj 19 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 100 100] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 20 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 20 0 obj << /Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 50.00064] /Coords [50.00064 50.00064 0.0 50.00064 50.00064 50.00064] /Function << /FunctionType 3 /Domain [0.0 50.00064] /Functions [ << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 21.25026 25.00032] /Encode [0 1 0 1 0 1] >> /Extend [true false] >> >> /ProcSet [ /PDF ] >> endobj 22 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 100 100] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 23 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 23 0 obj << /Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 50.00064] /Coords [50.00064 50.00064 0.0 50.00064 50.00064 50.00064] /Function << /FunctionType 3 /Domain [0.0 50.00064] /Functions [ << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 20.00024 25.00032] /Encode [0 1 0 1 0 1] >> /Extend [true false] >> >> /ProcSet [ /PDF ] >> endobj 25 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 100 100] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 26 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 26 0 obj << /Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 50.00064] /Coords [50.00064 50.00064 0.0 50.00064 50.00064 50.00064] /Function << /FunctionType 3 /Domain [0.0 50.00064] /Functions [ << /FunctionType 2 /Domain [0.0 50.00064] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [0 0 0] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 21.25026 23.12529 25.00032] /Encode [0 1 0 1 0 1 0 1] >> /Extend [true false] >> >> /ProcSet [ /PDF ] >> endobj 28 0 obj << /S /GoTo /D (section.1) >> endobj 31 0 obj (Introduction) endobj 32 0 obj << /S /GoTo /D (section.2) >> endobj 35 0 obj (Overview) endobj 36 0 obj << /S /GoTo /D (section.3) >> endobj 39 0 obj (Background: 2-categories of toposes) endobj 40 0 obj << /S /GoTo /D (section.4) >> endobj 43 0 obj (Background: The 2-category Con of contexts) endobj 44 0 obj << /S /GoTo /D (section.5) >> endobj 47 0 obj (Background: Classifying toposes of contexts in GTop) endobj 48 0 obj << /S /GoTo /D (section.6) >> endobj 51 0 obj (The Chevalley criterion in Con) endobj 52 0 obj << /S /GoTo /D (section.7) >> endobj 55 0 obj (The representable definition in ETop) endobj 56 0 obj << /S /GoTo /D (section.8) >> endobj 59 0 obj (Main results) endobj 60 0 obj << /S /GoTo /D (section.9) >> endobj 63 0 obj (Examples and applications) endobj 64 0 obj << /S /GoTo /D (section.10) >> endobj 67 0 obj (Concluding thoughts) endobj 68 0 obj << /S /GoTo /D (section.11) >> endobj 71 0 obj (Acknowledgements) endobj 72 0 obj << /S /GoTo /D [73 0 R /Fit] >> endobj 87 0 obj << /Length 2786 /Filter /FlateDecode >> stream xڥY[WH~Wxsu9@`l N&yrc[^Ij {uݾj݄M^xz211LJEb)/mQ>LgR ,G* KT4XҪ㴶wEpeSzs&@qˠXYETtEG# vH[?̄B*,&ݤ߽:; J*гC`WQ2Q(#-Y,07WGSˋk(g)M>̎//'䛓95˃9%$S'RJI8DD҅/ѿq>pW4ut+6LptN>\PۓQ:IO3C#Ta5?2$p `Ӫ1v;Ee~Fn*1&:aMaoq$ɽyPf>!fMi^G4F/}'ROz~!H>^ZeQrOep =A# vo ZAp#h_ A wfI[n I˼^mgmS3w,+<[JV~7/שRA+@38 (DKٖ7w ~f[ϑM͈ȤDI7dC.A_>ڙ:Jؑ2L,9 H']Q9ø;yS[V!vX N1nt]4=403n`n*ֺ=XxF7qlVUeZL>raR>(p@ a$ #ޢ_J7fԿW!7}0Q_Fwk tLG|CZAi,AHz4zzOދSnؖ@aNF<l!jE7/#d(A$)L^1 ϔME+=A!KdKlPZ"1"-sBQ]G߽F ( #pXJ;LApxcsc.sfc3(Ɯ{9D :Tʯ?*fx%&?bYpܩGwhHV/Mm#{k&< eCe&_S7.?fK<Bࡀ$dzchCfn}5'gc2a,P2jT},"pI&YJ(ȥ?OLJ!~ҿR0IDBz,iXߴ #dSLf=9n d&^ 6/g;&ߥڭ;^"H_ 8+]oW P X7>U$R/be+nѹ-j7?BI|8<£ 6ܯ6 D&b,2bOuUuXXrHPu
_Q?Ѱ?:'g}g7LWJiʭj;W鸀߳|[RdxtBD+amgH}
2Ի!NDYݺ1ȈˎX}H|ZtJ^l5w&.qY%.ɊNfQrs҉Pv<9uHP@[ZwQmd:nQ7SLQZ7UL_cn