Master thesis on Rational Homotopy Theory
https://github.com/Jaxan/Rational-Homotopy-Theory
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
186 lines
14 KiB
186 lines
14 KiB
9 years ago
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
||
|
|
<svg
|
||
|
|
xmlns:dc="http://purl.org/dc/elements/1.1/"
|
||
|
|
xmlns:cc="http://creativecommons.org/ns#"
|
||
|
|
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
|
||
|
|
xmlns:svg="http://www.w3.org/2000/svg"
|
||
|
|
xmlns="http://www.w3.org/2000/svg"
|
||
|
|
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
|
||
|
|
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
|
||
|
|
width="362.83pt"
|
||
|
|
height="272.13pt"
|
||
|
|
viewBox="0 0 362.83 272.13"
|
||
|
|
version="1.1"
|
||
|
|
id="svg8213"
|
||
|
|
inkscape:version="0.48.5 r10040"
|
||
|
|
sodipodi:docname="symbols.svg">
|
||
|
|
<metadata
|
||
|
|
id="metadata8307">
|
||
|
|
<rdf:RDF>
|
||
|
|
<cc:Work
|
||
|
|
rdf:about="">
|
||
|
|
<dc:format>image/svg+xml</dc:format>
|
||
|
|
<dc:type
|
||
|
|
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
|
||
|
|
<dc:title></dc:title>
|
||
|
|
</cc:Work>
|
||
|
|
</rdf:RDF>
|
||
|
|
</metadata>
|
||
|
|
<sodipodi:namedview
|
||
|
|
pagecolor="#ffffff"
|
||
|
|
bordercolor="#666666"
|
||
|
|
borderopacity="1"
|
||
|
|
objecttolerance="10"
|
||
|
|
gridtolerance="10"
|
||
|
|
guidetolerance="10"
|
||
|
|
inkscape:pageopacity="0"
|
||
|
|
inkscape:pageshadow="2"
|
||
|
|
inkscape:window-width="1280"
|
||
|
|
inkscape:window-height="752"
|
||
|
|
id="namedview8305"
|
||
|
|
showgrid="false"
|
||
|
|
inkscape:zoom="2.7758933"
|
||
|
|
inkscape:cx="237.07738"
|
||
|
|
inkscape:cy="138.9695"
|
||
|
|
inkscape:window-x="0"
|
||
|
|
inkscape:window-y="0"
|
||
|
|
inkscape:window-maximized="1"
|
||
|
|
inkscape:current-layer="svg8213" />
|
||
|
|
<defs
|
||
|
|
id="defs8215">
|
||
|
|
<g
|
||
|
|
id="g8217">
|
||
|
|
<symbol
|
||
|
|
overflow="visible"
|
||
|
|
id="glyph0-0">
|
||
|
|
<path
|
||
|
|
style="stroke:none;"
|
||
|
|
d=""
|
||
|
|
id="path8220" />
|
||
|
|
</symbol>
|
||
|
|
<symbol
|
||
|
|
overflow="visible"
|
||
|
|
id="glyph0-1">
|
||
|
|
<path
|
||
|
|
style="stroke:none;"
|
||
|
|
d="M 4.21875 -9.96875 L 3.890625 -9.96875 C 3.609375 -9.703125 3.03125 -9.0625 1.484375 -9.03125 C 1.28125 -9.03125 1.125 -8.875 1.125 -8.625 L 1.125 -7.921875 C 2.140625 -7.921875 2.796875 -8.140625 2.953125 -8.1875 L 2.953125 -1.109375 L 1.203125 -1.109375 L 1.203125 0 L 6.09375 0 L 6.09375 -1.109375 L 4.34375 -1.109375 L 4.34375 -9.96875 Z M 4.21875 -9.96875 "
|
||
|
|
id="path8223" />
|
||
|
|
</symbol>
|
||
|
|
<symbol
|
||
|
|
overflow="visible"
|
||
|
|
id="glyph0-2">
|
||
|
|
<path
|
||
|
|
style="stroke:none;"
|
||
|
|
d="M 0.5625 -1.03125 L 0.5625 0 L 6.4375 0 L 6.4375 -1.25 L 3.765625 -1.25 C 3.578125 -1.25 3.40625 -1.234375 3.234375 -1.234375 L 2.015625 -1.234375 C 2.171875 -1.375 3.5 -2.703125 4.4375 -3.53125 C 5.5 -4.453125 6.4375 -5.453125 6.4375 -6.765625 C 6.4375 -8.359375 5.203125 -9.96875 3.3125 -9.96875 C 1.765625 -9.96875 0.828125 -8.8125 0.4375 -7.4375 C 0.953125 -6.796875 0.953125 -6.765625 1.234375 -6.390625 C 1.65625 -8.234375 2.0625 -8.8125 3.125 -8.8125 C 4.359375 -8.8125 5.015625 -7.96875 5.015625 -6.734375 C 5.015625 -6 4.765625 -5.265625 3.796875 -4.3125 L 0.5625 -1.09375 Z M 0.5625 -1.03125 "
|
||
|
|
id="path8226" />
|
||
|
|
</symbol>
|
||
|
|
<symbol
|
||
|
|
overflow="visible"
|
||
|
|
id="glyph0-3">
|
||
|
|
<path
|
||
|
|
style="stroke:none;"
|
||
|
|
d="M 1.40625 -7.46875 C 1.765625 -8.390625 2.515625 -8.875 3.46875 -8.875 C 4.203125 -8.875 4.75 -8.59375 4.75 -7.65625 C 4.75 -6.703125 4.234375 -6.046875 3.453125 -5.875 C 3.390625 -5.859375 2.484375 -5.796875 2.1875 -5.765625 L 2.1875 -4.640625 L 3.359375 -4.640625 C 4.828125 -4.640625 5.046875 -3.515625 5.046875 -2.71875 C 5.046875 -1.5625 4.484375 -0.828125 3.453125 -0.828125 C 2.53125 -0.828125 1.484375 -1.25 0.828125 -2.28125 L 0.609375 -2.1875 L 0.4375 -1.3125 C 1.421875 0.046875 2.78125 0.296875 3.484375 0.296875 C 5.15625 0.296875 6.5625 -1.1875 6.5625 -2.71875 C 6.5625 -3.8125 5.6875 -4.9375 4.46875 -5.34375 L 4.5625 -5.109375 C 5.5625 -5.65625 6.171875 -6.71875 6.171875 -7.65625 C 6.171875 -8.890625 4.875 -9.96875 3.484375 -9.96875 C 2.34375 -9.96875 1.21875 -9.296875 0.609375 -8.25 L 1.296875 -7.1875 Z M 1.40625 -7.46875 "
|
||
|
|
id="path8229" />
|
||
|
|
</symbol>
|
||
|
|
<symbol
|
||
|
|
overflow="visible"
|
||
|
|
id="glyph0-4">
|
||
|
|
<path
|
||
|
|
style="stroke:none;"
|
||
|
|
d="M 5.234375 -2.46875 L 6.75 -2.46875 L 6.75 -3.59375 L 5.359375 -3.59375 L 5.359375 -9.671875 L 3.859375 -9.671875 L 0.25 -3.484375 L 0.25 -2.46875 L 3.953125 -2.46875 L 3.953125 0 L 5.359375 0 L 5.359375 -2.46875 Z M 1.578125 -3.359375 C 2 -4.09375 2.546875 -5 3.15625 -6.15625 C 3.328125 -6.484375 4.296875 -8.34375 4.296875 -8.875 L 4.03125 -8.875 L 4.03125 -3.59375 L 1.71875 -3.59375 Z M 1.578125 -3.359375 "
|
||
|
|
id="path8232" />
|
||
|
|
</symbol>
|
||
|
|
<symbol
|
||
|
|
overflow="visible"
|
||
|
|
id="glyph1-0">
|
||
|
|
<path
|
||
|
|
style="stroke:none;"
|
||
|
|
d=""
|
||
|
|
id="path8235" />
|
||
|
|
</symbol>
|
||
|
|
<symbol
|
||
|
|
overflow="visible"
|
||
|
|
id="glyph1-1">
|
||
|
|
<path
|
||
|
|
style="stroke:none;"
|
||
|
|
d="M 5.703125 -4.21875 L 2.84375 -7.078125 C 2.671875 -7.25 2.515625 -7.3125 2.390625 -7.3125 C 2.25 -7.3125 1.90625 -7.046875 1.90625 -6.890625 C 1.90625 -6.78125 2 -6.65625 2.15625 -6.5 L 4.921875 -3.71875 L 2.15625 -0.9375 C 2 -0.78125 1.90625 -0.640625 1.90625 -0.546875 C 1.90625 -0.390625 2.25 -0.125 2.390625 -0.125 C 2.515625 -0.125 2.671875 -0.1875 2.84375 -0.359375 L 5.546875 -3.078125 L 8.390625 -0.25 C 8.421875 -0.234375 8.65625 -0.125 8.75 -0.125 C 8.921875 -0.125 9.21875 -0.390625 9.21875 -0.546875 C 9.21875 -0.578125 9.171875 -0.734375 9.125 -0.796875 C 9.109375 -0.828125 6.828125 -3.078125 6.203125 -3.71875 L 8.734375 -6.234375 C 8.8125 -6.328125 9.015625 -6.515625 9.09375 -6.59375 C 9.109375 -6.625 9.21875 -6.78125 9.21875 -6.890625 C 9.21875 -7.046875 8.921875 -7.3125 8.75 -7.3125 C 8.640625 -7.3125 8.4375 -7.21875 8.28125 -7.0625 L 5.5625 -4.359375 Z M 5.703125 -4.21875 "
|
||
|
|
id="path8238" />
|
||
|
|
</symbol>
|
||
|
|
</g>
|
||
|
|
</defs>
|
||
|
|
<g
|
||
|
|
id="g8389"
|
||
|
|
transform="translate(-58.0531,124.2124)">
|
||
|
|
<path
|
||
|
|
id="path8351"
|
||
|
|
d="m 176.54875,85.651253 -0.32813,0 c -0.28125,0.265625 -0.85937,0.90625 -2.40625,0.9375 -0.20312,0 -0.35937,0.15625 -0.35937,0.40625 l 0,0.703125 c 1.01562,0 1.67187,-0.21875 1.82812,-0.265625 l 0,7.078125 -1.75,0 0,1.109375 4.89063,0 0,-1.109375 -1.75,0 0,-8.859375 z m 0,0"
|
||
|
|
style="fill:#000000;fill-opacity:1;stroke:none"
|
||
|
|
inkscape:connector-curvature="0" />
|
||
|
|
<path
|
||
|
|
id="path8355"
|
||
|
|
d="m 185.05313,91.401253 -2.85937,-2.859375 c -0.17188,-0.171875 -0.32813,-0.234375 -0.45313,-0.234375 -0.14062,0 -0.48437,0.265625 -0.48437,0.421875 0,0.109375 0.0937,0.234375 0.25,0.390625 l 2.76562,2.78125 -2.76562,2.78125 c -0.15625,0.15625 -0.25,0.296875 -0.25,0.390625 0,0.15625 0.34375,0.421875 0.48437,0.421875 0.125,0 0.28125,-0.0625 0.45313,-0.234375 l 2.70312,-2.71875 2.84375,2.828125 c 0.0312,0.01563 0.26563,0.125 0.35938,0.125 0.17187,0 0.46875,-0.265625 0.46875,-0.421875 0,-0.03125 -0.0469,-0.1875 -0.0937,-0.25 -0.0156,-0.03125 -2.29688,-2.28125 -2.92188,-2.921875 l 2.53125,-2.515625 c 0.0781,-0.09375 0.28125,-0.28125 0.35938,-0.359375 0.0156,-0.03125 0.125,-0.1875 0.125,-0.296875 0,-0.15625 -0.29688,-0.421875 -0.46875,-0.421875 -0.10938,0 -0.3125,0.09375 -0.46875,0.25 l -2.71875,2.703125 z m 0,0"
|
||
|
|
style="fill:#000000;fill-opacity:1;stroke:none"
|
||
|
|
inkscape:connector-curvature="0" />
|
||
|
|
</g>
|
||
|
|
<g
|
||
|
|
id="g8393"
|
||
|
|
transform="translate(4.0420382,101.36436)">
|
||
|
|
<path
|
||
|
|
id="path8359"
|
||
|
|
d="m 172.8925,118.49875 0,1.03125 5.875,0 0,-1.25 -2.67188,0 c -0.1875,0 -0.35937,0.0156 -0.53125,0.0156 l -1.21875,0 c 0.15625,-0.14063 1.48438,-1.46875 2.42188,-2.29688 1.0625,-0.92187 2,-1.92187 2,-3.23437 0,-1.59375 -1.23438,-3.20313 -3.125,-3.20313 -1.54688,0 -2.48438,1.15625 -2.875,2.53125 0.51562,0.64063 0.51562,0.67188 0.79687,1.04688 0.42188,-1.84375 0.82813,-2.42188 1.89063,-2.42188 1.23437,0 1.89062,0.84375 1.89062,2.07813 0,0.73437 -0.25,1.46875 -1.21875,2.42187 l -3.23437,3.21875 z m 0,0"
|
||
|
|
style="fill:#000000;fill-opacity:1;stroke:none"
|
||
|
|
inkscape:connector-curvature="0" />
|
||
|
|
<path
|
||
|
|
id="path8363"
|
||
|
|
d="m 185.05313,115.31125 -2.85937,-2.85937 c -0.17188,-0.17188 -0.32813,-0.23438 -0.45313,-0.23438 -0.14062,0 -0.48437,0.26563 -0.48437,0.42188 0,0.10937 0.0937,0.23437 0.25,0.39062 l 2.76562,2.78125 -2.76562,2.78125 c -0.15625,0.15625 -0.25,0.29688 -0.25,0.39063 0,0.15625 0.34375,0.42187 0.48437,0.42187 0.125,0 0.28125,-0.0625 0.45313,-0.23437 l 2.70312,-2.71875 2.84375,2.82812 c 0.0312,0.0156 0.26563,0.125 0.35938,0.125 0.17187,0 0.46875,-0.26562 0.46875,-0.42187 0,-0.0312 -0.0469,-0.1875 -0.0937,-0.25 -0.0156,-0.0312 -2.29688,-2.28125 -2.92188,-2.92188 l 2.53125,-2.51562 c 0.0781,-0.0937 0.28125,-0.28125 0.35938,-0.35938 0.0156,-0.0312 0.125,-0.1875 0.125,-0.29687 0,-0.15625 -0.29688,-0.42188 -0.46875,-0.42188 -0.10938,0 -0.3125,0.0937 -0.46875,0.25 l -2.71875,2.70313 z m 0,0"
|
||
|
|
style="fill:#000000;fill-opacity:1;stroke:none"
|
||
|
|
inkscape:connector-curvature="0" />
|
||
|
|
</g>
|
||
|
|
<g
|
||
|
|
id="g8397"
|
||
|
|
transform="translate(65.793441,77.30596)">
|
||
|
|
<path
|
||
|
|
id="path8367"
|
||
|
|
d="m 173.73625,135.97125 c 0.35937,-0.92188 1.10937,-1.40625 2.0625,-1.40625 0.73437,0 1.28125,0.28125 1.28125,1.21875 0,0.95312 -0.51563,1.60937 -1.29688,1.78125 -0.0625,0.0156 -0.96875,0.0781 -1.26562,0.10937 l 0,1.125 1.17187,0 c 1.46875,0 1.6875,1.125 1.6875,1.92188 0,1.15625 -0.5625,1.89062 -1.59375,1.89062 -0.92187,0 -1.96875,-0.42187 -2.625,-1.45312 l -0.21875,0.0937 -0.17187,0.875 c 0.98437,1.35937 2.34375,1.60937 3.04687,1.60937 1.67188,0 3.07813,-1.48437 3.07813,-3.01562 0,-1.09375 -0.875,-2.21875 -2.09375,-2.625 l 0.0937,0.23437 c 1,-0.54687 1.60937,-1.60937 1.60937,-2.54687 0,-1.23438 -1.29687,-2.3125 -2.6875,-2.3125 -1.14062,0 -2.26562,0.67187 -2.875,1.71875 l 0.6875,1.0625 z m 0,0"
|
||
|
|
style="fill:#000000;fill-opacity:1;stroke:none"
|
||
|
|
inkscape:connector-curvature="0" />
|
||
|
|
<path
|
||
|
|
id="path8371"
|
||
|
|
d="m 185.05313,139.22125 -2.85937,-2.85938 c -0.17188,-0.17187 -0.32813,-0.23437 -0.45313,-0.23437 -0.14062,0 -0.48437,0.26562 -0.48437,0.42187 0,0.10938 0.0937,0.23438 0.25,0.39063 l 2.76562,2.78125 -2.76562,2.78125 c -0.15625,0.15625 -0.25,0.29687 -0.25,0.39062 0,0.15625 0.34375,0.42188 0.48437,0.42188 0.125,0 0.28125,-0.0625 0.45313,-0.23438 l 2.70312,-2.71875 2.84375,2.82813 c 0.0312,0.0156 0.26563,0.125 0.35938,0.125 0.17187,0 0.46875,-0.26563 0.46875,-0.42188 0,-0.0312 -0.0469,-0.1875 -0.0937,-0.25 -0.0156,-0.0312 -2.29688,-2.28125 -2.92188,-2.92187 l 2.53125,-2.51563 c 0.0781,-0.0937 0.28125,-0.28125 0.35938,-0.35937 0.0156,-0.0312 0.125,-0.1875 0.125,-0.29688 0,-0.15625 -0.29688,-0.42187 -0.46875,-0.42187 -0.10938,0 -0.3125,0.0937 -0.46875,0.25 l -2.71875,2.70312 z m 0,0"
|
||
|
|
style="fill:#000000;fill-opacity:1;stroke:none"
|
||
|
|
inkscape:connector-curvature="0" />
|
||
|
|
</g>
|
||
|
|
<g
|
||
|
|
id="g8401"
|
||
|
|
transform="translate(127.63857,53.3959)">
|
||
|
|
<path
|
||
|
|
id="path8375"
|
||
|
|
d="m 177.56437,164.88126 1.51563,0 0,-1.125 -1.39063,0 0,-6.07813 -1.5,0 -3.60937,6.1875 0,1.01563 3.70312,0 0,2.46875 1.40625,0 0,-2.46875 z m -3.65625,-0.89063 c 0.42188,-0.73437 0.96875,-1.64062 1.57813,-2.79687 0.17187,-0.32813 1.14062,-2.1875 1.14062,-2.71875 l -0.26562,0 0,5.28125 -2.3125,0 z m 0,0"
|
||
|
|
style="fill:#000000;fill-opacity:1;stroke:none"
|
||
|
|
inkscape:connector-curvature="0" />
|
||
|
|
<path
|
||
|
|
id="path8379"
|
||
|
|
d="m 185.05313,163.13126 -2.85937,-2.85938 c -0.17188,-0.17187 -0.32813,-0.23437 -0.45313,-0.23437 -0.14062,0 -0.48437,0.26562 -0.48437,0.42187 0,0.10938 0.0937,0.23438 0.25,0.39063 l 2.76562,2.78125 -2.76562,2.78125 c -0.15625,0.15625 -0.25,0.29687 -0.25,0.39062 0,0.15625 0.34375,0.42188 0.48437,0.42188 0.125,0 0.28125,-0.0625 0.45313,-0.23438 l 2.70312,-2.71875 2.84375,2.82813 c 0.0312,0.0156 0.26563,0.125 0.35938,0.125 0.17187,0 0.46875,-0.26563 0.46875,-0.42188 0,-0.0312 -0.0469,-0.1875 -0.0937,-0.25 -0.0156,-0.0312 -2.29688,-2.28125 -2.92188,-2.92187 l 2.53125,-2.51563 c 0.0781,-0.0937 0.28125,-0.28125 0.35938,-0.35937 0.0156,-0.0312 0.125,-0.1875 0.125,-0.29688 0,-0.15625 -0.29688,-0.42187 -0.46875,-0.42187 -0.10938,0 -0.3125,0.0937 -0.46875,0.25 l -2.71875,2.70312 z m 0,0"
|
||
|
|
style="fill:#000000;fill-opacity:1;stroke:none"
|
||
|
|
inkscape:connector-curvature="0" />
|
||
|
|
</g>
|
||
|
|
<g
|
||
|
|
id="g8973">
|
||
|
|
<path
|
||
|
|
inkscape:connector-curvature="0"
|
||
|
|
style="fill:none;stroke:#000000;stroke-width:0.80000001;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dashoffset:0"
|
||
|
|
d="m 206.58108,163.73392 c 0,18.84655 -9.17973,34.1247 -20.5035,34.1247 -11.32377,0 -20.50349,-15.27815 -20.50349,-34.1247 0,-18.84655 9.17972,-34.12469 20.50349,-34.12469 11.32377,0 20.5035,15.27814 20.5035,34.12469 z"
|
||
|
|
id="path8971" />
|
||
|
|
<path
|
||
|
|
inkscape:connector-curvature="0"
|
||
|
|
id="path8959"
|
||
|
|
d="m 122.87501,129.6 c 11.32376,0 20.5,15.27845 20.5,34.125 0,18.84655 -9.17624,34.125 -20.5,34.125 l 63.2,0 c 0.0505,0 0.0996,6.1e-4 0.15,0 11.25406,-0.1355 20.35,-15.36254 20.35,-34.125 0,-18.7626 -9.09582,-33.98974 -20.35,-34.125 l -0.15,0 -63.2,0 z"
|
||
|
|
style="fill:#c8c8c8;fill-opacity:0.78431374;stroke:#000000;stroke-width:0.80000000999999998;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" />
|
||
|
|
<path
|
||
|
|
id="path8957"
|
||
|
|
d="m 179.22634,204.6674 c 0,23.55819 -11.47466,42.65587 -25.62937,42.65587 -14.15471,0 -25.62937,-19.09768 -25.62937,-42.65587 0,-23.55818 11.47466,-42.65586 25.62937,-42.65586 14.15471,0 25.62937,19.09768 25.62937,42.65586 z"
|
||
|
|
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dashoffset:0;stroke-opacity:1"
|
||
|
|
transform="matrix(0.80000004,0,0,0.80000004,0,-9.7658274e-6)" />
|
||
|
|
</g>
|
||
|
|
</svg>
|