-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathspaces.dot
114 lines (97 loc) · 3.34 KB
/
spaces.dot
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
digraph spaces {
node [ fontname = "sans" ];
"Topos";
"Sheaf";
"Locale";
"Real\nCoordinate\nSpace";
"Euclidean\nSpace";
"Projective\nSpace";
"Measure\nSpace";
"Measurable\nSpace";
"Complex\nManifold";
"Analytic\nManifold";
"Algebraic\nManifold";
"Compact\nManifold";
"Riemannian\nManifold";
"Connected\nRiemannian\nManifold";
"Smooth\nManifold";
"Differentiable\nManifold";
"Topological\nManifold";
"Compact\nSpace";
"Connected\nSpace";
"Complete\nMetric\nSpace";
"Complete\nUniform\nSpace";
"Metric\nSpace";
"Uniform\nSpace";
"Topological\nSpace";
"Hilbert\nSpace";
"Banach\nSpace";
"Normed\nVector\nSpace";
"Inner\nProduct\nSpace";
"Locally\nConvex\nSpace";
"Vector\nSpace";
"Affine\nSpace";
"Projective\nVariety";
"Affine\nVariety";
"Algebraic\nVariety";
"Analytic\nVariety";
"Analytic\nSpace";
"Affine\nScheme";
"Scheme";
"Algebraic\nSpace";
"Complex\nAnalytic\nSpace";
"Locally\nRinged\nSpace";
"Analytic\nSpace";
"Real\nCoordinate\nSpace" -> "Hilbert\nSpace"
"Real\nCoordinate\nSpace" -> "Euclidean\nSpace"
"Euclidean\nSpace" -> "Measure\nSpace"
"Probability\nSpace" -> "Measure\nSpace"
"Measure\nSpace" -> "Measurable\nSpace"
"Measurable\nSpace" -> "Topological\nSpace"
"Hilbert\nSpace" -> "Banach\nSpace"
"Hilbert\nSpace" -> "Inner\nProduct\nSpace"
"Normed\nVector\nSpace" -> "Locally\nConvex\nSpace"
"Inner\nProduct\nSpace" -> "Locally\nConvex\nSpace"
"Locally\nConvex\nSpace" -> "Topological\nSpace"
"Locally\nConvex\nSpace" -> "Vector\nSpace"
"Vector\nSpace" -> "Affine\nSpace"
"Banach\nSpace" -> "Normed\nVector\nSpace"
"Normed\nVector\nSpace" -> "Metric\nSpace"
"Complete\nMetric\nSpace" -> "Metric\nSpace"
"Complete\nMetric\nSpace" -> "Complete\nUniform\nSpace"
"Complete\nUniform\nSpace" -> "Uniform\nSpace"
"Metric\nSpace" -> "Uniform\nSpace"
"Uniform\nSpace" -> "Topological\nSpace"
"Projective\nSpace" -> "Compact\nManifold"
"Projective\nSpace" -> "Smooth\nManifold"
"Euclidean\nSpace" -> "Riemannian\nManifold"
"Connected\nRiemannian\nManifold" -> "Riemannian\nManifold"
"Connected\nRiemannian\nManifold" -> "Connected\nSpace"
"Connected\nRiemannian\nManifold" -> "Metric\nSpace"
"Riemannian\nManifold" -> "Smooth\nManifold"
"Analytic\nManifold" -> "Smooth\nManifold"
"Smooth\nManifold" -> "Differentiable\nManifold"
"Differentiable\nManifold" -> "Topological\nManifold"
"Complex\nManifold" -> "Analytic\nManifold"
"Compact\nManifold" -> "Topological\nManifold"
"Compact\nManifold" -> "Compact\nSpace"
"Compact\nSpace" -> "Topological\nSpace"
"Connected\nSpace" -> "Topological\nSpace"
"Topological\nManifold" -> "Topological\nSpace"
"Projective\nVariety" -> "Projective\nScheme"
"Projective\nScheme" -> "Proper\nScheme"
"Proper\nScheme" -> "Scheme"
"Complex\nManifold" -> "Analytic\nVariety"
"Complex\nAnalytic\nSpace" -> "Analytic\nVariety"
"Complex\nAnalytic\nSpace" -> "Locally\nRinged\nSpace"
"Locally\nRinged\nSpace" -> "Ringed\nSpace"
"Ringed\nSpace" -> "Topological\nSpace"
"Analytic\nVariety" -> "Analytic\nSpace"
"Algebraic\nManifold" -> "Algebraic\nVariety"
"Algebraic\nManifold" -> "Topological\nManifold"
"Algebraic\nVariety" -> "Scheme"
"Affine\nVariety" -> "Algebraic\nVariety"
"Affine\nVariety" -> "Affine\nScheme"
"Affine\nScheme" -> "Scheme"
"Scheme" -> "Algebraic\nSpace"
}