aboutsummaryrefslogtreecommitdiff
path: root/present/fig/monad_unit.svg
blob: 7eba3f318b427a7f01155ab20eb912721ca45535 (plain)
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
<?xml version="1.0" encoding="UTF-8"?>
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="146.82pt" height="90.664pt" viewBox="0 0 146.82 90.664" version="1.1">
<defs>
<g>
<symbol overflow="visible" id="glyph0-0">
<path style="stroke:none;" d=""/>
</symbol>
<symbol overflow="visible" id="glyph0-1">
<path style="stroke:none;" d="M 3.4375 -7.65625 C 3.4375 -7.9375 3.4375 -7.953125 3.203125 -7.953125 C 2.921875 -7.625 2.3125 -7.1875 1.09375 -7.1875 L 1.09375 -6.84375 C 1.359375 -6.84375 1.953125 -6.84375 2.625 -7.140625 L 2.625 -0.921875 C 2.625 -0.484375 2.578125 -0.34375 1.53125 -0.34375 L 1.15625 -0.34375 L 1.15625 0 C 1.484375 -0.03125 2.640625 -0.03125 3.03125 -0.03125 C 3.4375 -0.03125 4.578125 -0.03125 4.90625 0 L 4.90625 -0.34375 L 4.53125 -0.34375 C 3.484375 -0.34375 3.4375 -0.484375 3.4375 -0.921875 Z M 3.4375 -7.65625 "/>
</symbol>
<symbol overflow="visible" id="glyph1-0">
<path style="stroke:none;" d=""/>
</symbol>
<symbol overflow="visible" id="glyph1-1">
<path style="stroke:none;" d="M 5.3125 -2.984375 C 5.3125 -4.265625 4.25 -5.3125 2.984375 -5.3125 C 1.703125 -5.3125 0.65625 -4.25 0.65625 -2.984375 C 0.65625 -1.71875 1.703125 -0.671875 2.984375 -0.671875 C 4.25 -0.671875 5.3125 -1.703125 5.3125 -2.984375 Z M 2.984375 -1.140625 C 1.953125 -1.140625 1.140625 -1.984375 1.140625 -2.984375 C 1.140625 -4 1.953125 -4.828125 2.984375 -4.828125 C 3.984375 -4.828125 4.828125 -4.015625 4.828125 -2.984375 C 4.828125 -1.953125 3.984375 -1.140625 2.984375 -1.140625 Z M 2.984375 -1.140625 "/>
</symbol>
<symbol overflow="visible" id="glyph2-0">
<path style="stroke:none;" d=""/>
</symbol>
<symbol overflow="visible" id="glyph2-1">
<path style="stroke:none;" d="M 4.984375 -7.296875 C 5.0625 -7.578125 5.078125 -7.6875 5.265625 -7.734375 C 5.359375 -7.75 5.75 -7.75 6 -7.75 C 7.203125 -7.75 7.75 -7.703125 7.75 -6.78125 C 7.75 -6.59375 7.703125 -6.140625 7.640625 -5.703125 L 7.625 -5.5625 C 7.625 -5.515625 7.671875 -5.4375 7.75 -5.4375 C 7.859375 -5.4375 7.859375 -5.5 7.90625 -5.6875 L 8.25 -7.8125 C 8.265625 -7.90625 8.265625 -7.9375 8.265625 -7.96875 C 8.265625 -8.109375 8.203125 -8.109375 7.953125 -8.109375 L 1.421875 -8.109375 C 1.140625 -8.109375 1.140625 -8.09375 1.0625 -7.875 L 0.328125 -5.71875 C 0.328125 -5.703125 0.28125 -5.5625 0.28125 -5.5625 C 0.28125 -5.5 0.328125 -5.4375 0.40625 -5.4375 C 0.5 -5.4375 0.53125 -5.484375 0.578125 -5.640625 C 1.078125 -7.09375 1.328125 -7.75 2.921875 -7.75 L 3.71875 -7.75 C 4 -7.75 4.125 -7.75 4.125 -7.625 C 4.125 -7.59375 4.125 -7.5625 4.0625 -7.34375 L 2.46875 -0.9375 C 2.34375 -0.46875 2.3125 -0.34375 1.046875 -0.34375 C 0.75 -0.34375 0.671875 -0.34375 0.671875 -0.125 C 0.671875 0 0.796875 0 0.859375 0 C 1.15625 0 1.46875 -0.03125 1.765625 -0.03125 L 3.640625 -0.03125 C 3.9375 -0.03125 4.25 0 4.546875 0 C 4.6875 0 4.8125 0 4.8125 -0.234375 C 4.8125 -0.34375 4.71875 -0.34375 4.40625 -0.34375 C 3.328125 -0.34375 3.328125 -0.453125 3.328125 -0.640625 C 3.328125 -0.640625 3.328125 -0.734375 3.375 -0.921875 Z M 4.984375 -7.296875 "/>
</symbol>
<symbol overflow="visible" id="glyph2-2">
<path style="stroke:none;" d="M 5.671875 -3.3125 C 5.734375 -3.546875 5.765625 -3.6875 5.765625 -4.015625 C 5.765625 -4.734375 5.359375 -5.265625 4.453125 -5.265625 C 3.375 -5.265625 2.828125 -4.515625 2.609375 -4.21875 C 2.5625 -4.90625 2.078125 -5.265625 1.546875 -5.265625 C 1.203125 -5.265625 0.9375 -5.109375 0.703125 -4.65625 C 0.484375 -4.21875 0.328125 -3.484375 0.328125 -3.4375 C 0.328125 -3.390625 0.375 -3.328125 0.453125 -3.328125 C 0.546875 -3.328125 0.5625 -3.34375 0.640625 -3.625 C 0.8125 -4.328125 1.046875 -5.03125 1.515625 -5.03125 C 1.796875 -5.03125 1.890625 -4.84375 1.890625 -4.484375 C 1.890625 -4.21875 1.765625 -3.75 1.6875 -3.375 L 1.34375 -2.09375 C 1.296875 -1.859375 1.171875 -1.328125 1.109375 -1.109375 C 1.03125 -0.796875 0.890625 -0.234375 0.890625 -0.171875 C 0.890625 -0.015625 1.03125 0.125 1.203125 0.125 C 1.34375 0.125 1.515625 0.046875 1.609375 -0.125 C 1.640625 -0.1875 1.75 -0.609375 1.8125 -0.84375 L 2.0625 -1.921875 L 2.46875 -3.5 C 2.484375 -3.578125 2.78125 -4.171875 3.234375 -4.546875 C 3.53125 -4.84375 3.9375 -5.03125 4.40625 -5.03125 C 4.890625 -5.03125 5.0625 -4.671875 5.0625 -4.203125 C 5.0625 -3.84375 5.015625 -3.65625 4.953125 -3.4375 L 3.5625 2.0625 C 3.546875 2.125 3.53125 2.203125 3.53125 2.265625 C 3.53125 2.453125 3.671875 2.5625 3.84375 2.5625 C 3.953125 2.5625 4.203125 2.515625 4.296875 2.15625 Z M 5.671875 -3.3125 "/>
</symbol>
<symbol overflow="visible" id="glyph2-3">
<path style="stroke:none;" d="M 1.71875 -0.265625 C 2.015625 0.015625 2.46875 0.125 2.875 0.125 C 3.640625 0.125 4.15625 -0.390625 4.4375 -0.765625 C 4.546875 -0.125 5.0625 0.125 5.46875 0.125 C 5.828125 0.125 6.125 -0.09375 6.328125 -0.53125 C 6.53125 -0.9375 6.6875 -1.65625 6.6875 -1.703125 C 6.6875 -1.765625 6.640625 -1.8125 6.578125 -1.8125 C 6.46875 -1.8125 6.453125 -1.75 6.40625 -1.578125 C 6.234375 -0.875 6 -0.125 5.515625 -0.125 C 5.15625 -0.125 5.140625 -0.4375 5.140625 -0.671875 C 5.140625 -0.9375 5.25 -1.375 5.328125 -1.734375 L 5.671875 -3.03125 C 5.71875 -3.25 5.84375 -3.796875 5.90625 -4 C 5.96875 -4.296875 6.109375 -4.8125 6.109375 -4.859375 C 6.109375 -5.03125 5.96875 -5.15625 5.78125 -5.15625 C 5.671875 -5.15625 5.421875 -5.109375 5.328125 -4.75 L 4.5 -1.421875 C 4.4375 -1.1875 4.4375 -1.15625 4.28125 -0.96875 C 4.140625 -0.765625 3.671875 -0.125 2.921875 -0.125 C 2.25 -0.125 2.03125 -0.609375 2.03125 -1.171875 C 2.03125 -1.515625 2.140625 -1.9375 2.1875 -2.140625 L 2.71875 -4.296875 C 2.78125 -4.515625 2.875 -4.90625 2.875 -4.96875 C 2.875 -5.15625 2.71875 -5.265625 2.5625 -5.265625 C 2.46875 -5.265625 2.203125 -5.234375 2.109375 -4.859375 L 0.375 2.0625 C 0.359375 2.125 0.328125 2.203125 0.328125 2.265625 C 0.328125 2.453125 0.484375 2.5625 0.65625 2.5625 C 1 2.5625 1.078125 2.296875 1.15625 1.953125 Z M 1.71875 -0.265625 "/>
</symbol>
<symbol overflow="visible" id="glyph3-0">
<path style="stroke:none;" d=""/>
</symbol>
<symbol overflow="visible" id="glyph3-1">
<path style="stroke:none;" d="M 2.25 -1.625 C 2.375 -1.75 2.703125 -2.015625 2.84375 -2.125 C 3.328125 -2.578125 3.796875 -3.015625 3.796875 -3.734375 C 3.796875 -4.6875 3 -5.296875 2.015625 -5.296875 C 1.046875 -5.296875 0.421875 -4.578125 0.421875 -3.859375 C 0.421875 -3.46875 0.734375 -3.421875 0.84375 -3.421875 C 1.015625 -3.421875 1.265625 -3.53125 1.265625 -3.84375 C 1.265625 -4.25 0.859375 -4.25 0.765625 -4.25 C 1 -4.84375 1.53125 -5.03125 1.921875 -5.03125 C 2.65625 -5.03125 3.046875 -4.40625 3.046875 -3.734375 C 3.046875 -2.90625 2.46875 -2.296875 1.515625 -1.34375 L 0.515625 -0.296875 C 0.421875 -0.21875 0.421875 -0.203125 0.421875 0 L 3.5625 0 L 3.796875 -1.421875 L 3.546875 -1.421875 C 3.53125 -1.265625 3.46875 -0.875 3.375 -0.71875 C 3.328125 -0.65625 2.71875 -0.65625 2.59375 -0.65625 L 1.171875 -0.65625 Z M 2.25 -1.625 "/>
</symbol>
</g>
</defs>
<g id="surface1">
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-1" x="3.902" y="22.581"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph1-1" x="12.411" y="22.581"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph2-1" x="21.045" y="22.581"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph2-1" x="66.8" y="23.234"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph3-1" x="75.287" y="18.896"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph2-1" x="117.287" y="22.581"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph1-1" x="128.431" y="22.581"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-1" x="137.065" y="22.581"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph2-1" x="69.166" y="79.274"/>
</g>
<path style="fill:none;stroke-width:0.3985;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 16.915812 56.693906 L 45.525188 56.693906 " transform="matrix(1,0,0,-1,16.717,75.19)"/>
<path style="fill:none;stroke-width:0.31879;stroke-linecap:round;stroke-linejoin:round;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -1.194935 1.594036 C -1.097279 0.99638 0.0003775 0.0979425 0.297252 0.00028625 C 0.0003775 -0.101276 -1.097279 -0.995808 -1.194935 -1.593464 " transform="matrix(1,0,0,-1,62.24181,18.49638)"/>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph2-2" x="40.821" y="12.071"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph2-1" x="47.026944" y="12.071"/>
</g>
<path style="fill:none;stroke-width:0.3985;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 96.4705 56.693906 L 67.861125 56.693906 " transform="matrix(1,0,0,-1,16.717,75.19)"/>
<path style="fill:none;stroke-width:0.31879;stroke-linecap:round;stroke-linejoin:round;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -1.194028 1.593464 C -1.096371 0.995808 0.001285 0.101276 0.29816 -0.00028625 C 0.001285 -0.0979425 -1.096371 -0.99638 -1.194028 -1.594036 " transform="matrix(-1,0,0,1,84.57941,18.49638)"/>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph2-1" x="91.308" y="12.071"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph2-2" x="99.794996" y="12.071"/>
</g>
<path style="fill:none;stroke-width:0.3985;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 56.693156 47.854062 L 56.693156 8.643125 " transform="matrix(1,0,0,-1,16.717,75.19)"/>
<path style="fill:none;stroke-width:0.31879;stroke-linecap:round;stroke-linejoin:round;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -1.194558 1.593286 C -1.096901 0.99563 0.000755 0.101099 0.29763 -0.00046375 C 0.000755 -0.09812 -1.096901 -0.996558 -1.194558 -1.594214 " transform="matrix(0,1,1,0,73.41062,66.54612)"/>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph2-3" x="77.511" y="48.581"/>
</g>
<path style="fill:none;stroke-width:0.3985;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 8.185344 48.506406 L 48.18925 8.510312 " transform="matrix(1,0,0,-1,16.717,75.19)"/>
<path style="fill:none;stroke-width:0.31879;stroke-linecap:round;stroke-linejoin:round;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -1.196034 1.594721 C -1.09663 0.998088 -0.00010216 0.100324 0.298206 0.000868791 C -0.00011341 -0.0985522 -1.096743 -0.996193 -1.196214 -1.592814 " transform="matrix(0.70714,0.70706,0.70706,-0.70714,64.9057,66.68039)"/>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-1" x="35.112" y="50.695"/>
</g>
<path style="fill:none;stroke-width:0.3985;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 105.200969 48.506406 L 65.197063 8.510312 " transform="matrix(1,0,0,-1,16.717,75.19)"/>
<path style="fill:none;stroke-width:0.31879;stroke-linecap:round;stroke-linejoin:round;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -1.195565 1.592166 C -1.096094 0.995544 0.000535404 0.0979034 0.298855 -0.00151753 C 0.000546654 -0.100972 -1.095981 -0.998737 -1.195385 -1.59537 " transform="matrix(-0.70714,0.70706,0.70706,0.70714,81.91553,66.68039)"/>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-1" x="105.854" y="50.695"/>
</g>
</g>
</svg>