|
|
1 | (90) |
|
|
1 | (32) |
|
|
33 | (34) |
|
1.3 The Morphisms: Contractions |
|
|
67 | (12) |
|
1.4 Closed and Open Expansions and Proper Contractions |
|
|
79 | (8) |
|
|
87 | (4) |
|
2 Topological and Metric Approach Spaces |
|
|
91 | (22) |
|
2.1 Topological Approach Spaces |
|
|
91 | (3) |
|
|
94 | (4) |
|
2.3 (Quasi-)Metric Approach Spaces |
|
|
98 | (3) |
|
2.4 Embedding qMet in App |
|
|
101 | (9) |
|
|
110 | (3) |
|
|
113 | (36) |
|
3.1 Uniformity and Symmetry |
|
|
114 | (12) |
|
|
126 | (6) |
|
|
132 | (8) |
|
|
140 | (4) |
|
|
144 | (3) |
|
|
147 | (2) |
|
|
149 | (48) |
|
4.1 Morphism- and Object-Indices |
|
|
150 | (3) |
|
4.2 AppSet-Morphism-Indices |
|
|
153 | (7) |
|
|
160 | (24) |
|
4.4 Local Compactness Index |
|
|
184 | (5) |
|
|
189 | (4) |
|
|
193 | (4) |
|
|
197 | (26) |
|
5.1 The Structures, Objects and Morphisms |
|
|
198 | (3) |
|
5.2 Embedding Unif and Met in UG |
|
|
201 | (3) |
|
5.3 The Relation Between UAp and UG |
|
|
204 | (1) |
|
5.4 Indices in Uniform Gauge Spaces |
|
|
205 | (10) |
|
5.5 Quasi-UG Spaces, the Non-symmetric Variant |
|
|
215 | (5) |
|
|
220 | (3) |
|
6 Extensions of Spaces and Morphisms |
|
|
223 | (26) |
|
|
224 | (8) |
|
6.2 Completeness and Completion in UG |
|
|
232 | (5) |
|
|
237 | (9) |
|
|
246 | (3) |
|
7 Approach Theory Meets Topology |
|
|
249 | (20) |
|
|
249 | (13) |
|
7.2 The Cech-Stone Compactification |
|
|
262 | (5) |
|
|
267 | (2) |
|
8 Approach Theory Meets Functional Analysis |
|
|
269 | (30) |
|
8.1 Normed Spaces and Their Duals |
|
|
269 | (16) |
|
8.2 Locally Convex Spaces |
|
|
285 | (11) |
|
|
296 | (3) |
|
9 Approach Theory Meets Probability |
|
|
299 | (38) |
|
9.1 Spaces of Probability Measures |
|
|
300 | (9) |
|
9.2 Spaces of Random Variables |
|
|
309 | (8) |
|
|
317 | (4) |
|
9.4 An Indexed Central Limit Theorem in One Dimension |
|
|
321 | (12) |
|
|
333 | (4) |
|
10 Approach Theory Meets Hyperspaces |
|
|
337 | (26) |
|
10.1 The Wijsman Structure |
|
|
338 | (6) |
|
10.2 The Proximal Structures |
|
|
344 | (8) |
|
10.3 The Vietoris Structure |
|
|
352 | (9) |
|
|
361 | (2) |
|
11 Approach Theory Meets DCPO's and Domains |
|
|
363 | (26) |
|
|
364 | (6) |
|
11.2 Quantification of Algebraic Domains |
|
|
370 | (6) |
|
11.3 Quantification of Arbitrary Domains |
|
|
376 | (3) |
|
11.4 Fixed Points for Contractive Functions |
|
|
379 | (6) |
|
|
385 | (4) |
|
12 Categorical Considerations |
|
|
389 | (42) |
|
12.1 Stable Subcategories of App, qMet and Met |
|
|
390 | (11) |
|
12.2 A Quasi-topos Supercategory of App |
|
|
401 | (5) |
|
12.3 The Extensional Topological Hull of App |
|
|
406 | (3) |
|
12.4 The Cartesian Closed Topological Hull of PrAp |
|
|
409 | (5) |
|
12.5 The Quasi-topos Hull of App |
|
|
414 | (1) |
|
12.6 The Cartesian Closed Topological Hull of App |
|
|
415 | (9) |
|
12.7 A Lax-Algebraic Characterization of App |
|
|
424 | (4) |
|
|
428 | (3) |
Appendix A Formulas |
|
431 | (4) |
Appendix B Symbols |
|
435 | (4) |
References |
|
439 | (16) |
Index |
|
455 | |