abuseofnotation/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/abuseofnotation/category-theory-illustrated.git synced 2024-09-11 17:08:54 +03:00
Code Issues Packages Projects Releases Wiki Activity
master
category-theory-illustrated/_chapters/04_order/preorder_map.svg
Boris Marinov c73480483c stuff
2021-10-31 02:21:39 +03:00

265 lines
18 KiB
XML
Raw Permalink Blame History

<?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:xlink="http://www.w3.org/1999/xlink"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
viewBox="0 0 595.3 177"
version="1.1"
id="svg3397"
sodipodi:docname="preorder_map.svg"
inkscape:version="0.92.5 (2060ec1f9f, 2020-04-08)">
<metadata
id="metadata3403">
<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 />
</cc:Work>
</rdf:RDF>
</metadata>
<defs
id="defs3401">
<linearGradient
gradientTransform="matrix(1.4607598,0,0,1.4607598,63.162102,-46.120583)"
inkscape:collect="always"
xlink:href="#linearGradient36416"
id="linearGradient36418"
x1="-128.34242"
y1="98.776787"
x2="-122.51214"
y2="98.776787"
gradientUnits="userSpaceOnUse" />
<linearGradient
inkscape:collect="always"
id="linearGradient36416">
<stop
style="stop-color:#bb5353;stop-opacity:1;"
offset="0"
id="stop36412" />
<stop
style="stop-color:#bb5353;stop-opacity:0;"
offset="1"
id="stop36414" />
</linearGradient>
</defs>
<sodipodi:namedview
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1"
objecttolerance="10"
gridtolerance="10"
guidetolerance="10"
inkscape:pageopacity="0"
inkscape:pageshadow="2"
inkscape:window-width="2560"
inkscape:window-height="1376"
id="namedview3399"
showgrid="false"
inkscape:zoom="3.8916239"
inkscape:cx="250.09722"
inkscape:cy="89.123895"
inkscape:window-x="0"
inkscape:window-y="27"
inkscape:window-maximized="1"
inkscape:current-layer="g2760-8"
inkscape:document-rotation="0"
showguides="true"
inkscape:guide-bbox="true">
<sodipodi:guide
position="578.41487,-35.590171"
orientation="1,0"
id="guide3917"
inkscape:locked="false" />
</sodipodi:namedview>
<g
id="g2760-8"
transform="matrix(1.1915155,0,0,1.1915155,422.39644,-13.104354)"
style="stroke:#686868;stroke-width:3;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1">
<g
id="g10312"
transform="translate(-2.8277277,0.56368876)"
style="stroke:#664141;stroke-opacity:1">
<path
style="fill:#4d4d4d;fill-opacity:1;stroke:#664141;stroke-width:2.90167594;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
inkscape:connector-curvature="0"
id="path1478-7-9-4-2-6-0"
d="m -150.9577,51.179741 c -0.32491,-1.170989 -0.7209,-2.32588 -1.15669,-3.477631 1.23351,-0.07187 2.47847,-0.07932 3.73522,-0.02249 -0.90323,1.21988 -1.64902,2.139487 -2.57853,3.500126 z" />
<path
inkscape:connector-curvature="0"
id="path34554"
d="m -156.11112,43.627423 c -0.0131,4.928721 23.69469,13.807847 23.69469,14.216831 0,0.789818 -1.66303,-0.353227 -2.36947,0 -0.99905,0.499521 -1.86993,1.370411 -2.36946,2.369469 -0.30568,0.611357 9.00146,10.128237 10.07025,10.662612 0.70643,0.353226 1.66302,-0.353212 2.36947,0 1.71051,0.85526 3.02844,1.514224 4.73894,2.369484 1.89941,0.949698 4.62478,-1.413066 5.92367,1.184734 1.02677,2.053537 -1.02676,5.647244 0,7.700774 0.94079,1.88159 2.4064,7.03457 1.18474,9.47788 -0.70453,1.40905 -11.36287,8.643273 -13.03208,9.477893 -0.70645,0.35321 -1.7123,-0.43812 -2.36947,0 -0.36738,0.24491 -0.18244,1.02075 -0.59237,1.18474 -2.17269,0.86906 -4.7264,0.78144 -7.10842,2.36947 -2.83319,1.88877 -5.31265,7.14572 -3.5542,10.66261 0.77639,1.55279 11.78446,5.98658 10.66262,7.10841 -0.68526,0.68524 -7.45227,0.17192 -9.47789,1.18474 -3.4049,1.70245 -6.12802,5.43347 -9.47788,7.10842 -2.32656,1.16326 -4.84326,1.82925 -7.1084,2.96183 -0.9478,0.47389 -2.60644,-0.4739 -3.55421,0 -1.6596,0.82979 -3.41595,3.41596 -4.73895,4.73896"
style="fill:none;stroke:#664141;stroke-width:1.54756045;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1" />
<path
inkscape:connector-curvature="0"
id="path34715"
d="m -103.68658,79.169492 c -0.59116,-1.666186 0.786,-4.351647 0,-5.923673 -0.77532,-1.550626 -0.28596,-2.349033 -0.59237,-2.961851 -0.24978,-0.499522 -0.87495,-0.720038 -1.18473,-1.184735 -0.1643,-0.24643 0,-0.592367 0,-0.888551 0,-1.435211 -0.62794,-4.667814 0,-5.923673 0.12489,-0.249761 0.46747,-0.342607 0.59236,-0.592368 0.0952,-0.190614 0.0952,-7.51016 0,-7.700775 -0.42763,-0.85526 -0.75711,-1.514224 -1.18473,-2.369469 -0.10328,-0.206552 -0.10328,-8.086606 0,-8.293158 0.57007,-1.140166 2.58227,-2.179687 3.5542,-2.665653 0.78982,-0.394901 2.17201,0.394917 2.961839,0 2.943504,-1.471744 2.394287,-5.936082 3.554204,-6.516039 1.184734,-0.59237 3.25802,0.592366 4.442755,0 0.883467,-0.441731 1.465843,-1.325292 2.369469,-1.777105 0.632202,-0.316096 0.552547,0.316099 1.184735,0 1.21208,-0.60604 2.327662,-1.163825 3.554204,-1.777103 0.631866,-0.315927 1.737632,0.315932 2.369498,0 2.518058,-1.259032 -1.333338,0.07429 1.184735,-1.184736 0.631851,-0.315928 1.737603,0.315931 2.369469,0 0.841325,-0.420666 1.993996,-1.184735 2.961837,-1.184735"
style="fill:none;stroke:#664141;stroke-width:3.86890101;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1" />
<path
sodipodi:nodetypes="csssscscccccssssc"
inkscape:connector-curvature="0"
id="path34558"
d="m -62.813193,32.372442 c 1.575166,-0.78759 0.822072,-3.439346 2.961837,-2.369469 5.161916,2.580958 1.277376,14.85552 7.108408,17.771036 1.652338,0.826162 4.27132,0.358558 5.923658,1.184735 3.283365,1.641675 9.038496,7.414335 10.662612,10.662612 0.831158,1.662315 0.317832,4.189868 1.184749,5.923673 2.779666,5.55936 8.293143,3.241718 8.293143,10.662626 0,0.73076 0.310412,2.341014 0,2.961837 -0.499536,0.999055 -1.869948,1.370415 -2.369484,2.369465 -2.428645,4.85731 -1.4425,0.72125 -4.738924,2.36947 -0.499536,0.24976 -0.685213,0.93498 -1.184735,1.18474 -2.843369,1.42168 -7.819257,-1.42169 -10.662611,0 -2.473242,1.2366 0.103713,3.50232 -2.369484,4.73894 -3.093262,1.54664 -7.682779,-0.30518 -10.662612,1.18473 -2.949771,1.4749 -5.907299,1.18474 -9.477863,1.18474 -4.141269,0 -9.139142,7.57396 -14.809198,4.73895 -6.538697,-3.26934 -8.400085,-5.92369 -16.586314,-5.92369"
style="fill:none;stroke:#664141;stroke-width:1.54756045;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1" />
<path
style="fill:#4d4d4d;fill-opacity:1;stroke:#664141;stroke-width:2.90167594;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
inkscape:connector-curvature="0"
id="path1478-7-9-4-2-6-0-6"
d="m -133.19716,68.530077 c -0.033,-1.214782 -0.13892,-2.43107 -0.28407,-3.653915 1.21444,0.22763 2.42446,0.5206 3.63044,0.878764 -1.17073,0.966117 -2.11622,1.678778 -3.34637,2.775166 z" />
<path
inkscape:transform-center-y="0.43770242"
inkscape:transform-center-x="4.6665544"
style="fill:#4d4d4d;fill-opacity:1;stroke:#664141;stroke-width:2.90167594;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
inkscape:connector-curvature="0"
id="path1478-7-9-4-2-6-0-2-5"
d="m -136.6027,114.93632 c -1.13353,-0.43804 -2.24409,-0.94524 -3.34762,-1.49173 -0.19244,1.22051 -0.32168,2.45878 -0.38821,3.71502 1.30245,-0.77943 2.2907,-1.43153 3.73582,-2.22329 z" />
<path
inkscape:transform-center-y="3.9376395"
inkscape:transform-center-x="-4.707707"
style="fill:#4d4d4d;fill-opacity:1;stroke:#664141;stroke-width:4.48187304;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
inkscape:connector-curvature="0"
id="path1478-7-9-4-2-6-0-2-5-8"
d="m -106.82793,55.78952 c 0.72566,1.285512 1.39166,2.628944 2.02898,4.009595 0.86898,-1.175006 1.69365,-2.414504 2.47458,-3.718393 -1.57259,-0.09685 -2.80077,-0.105175 -4.50355,-0.291188 z" />
<path
inkscape:transform-center-y="-5.1191539"
inkscape:transform-center-x="0.17270519"
style="fill:#4d4d4d;fill-opacity:1;stroke:#664141;stroke-width:4.48708153;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
inkscape:connector-curvature="0"
id="path1478-7-9-4-2-6-0-2-5-8-7"
d="m -94.043435,38.191147 c 0.608319,-1.206471 1.300938,-2.384515 2.041777,-3.552942 -1.499864,-0.270856 -3.025394,-0.474087 -4.576824,-0.610266 0.88915,1.45168 1.638929,2.556241 2.535047,4.163193 z" />
<path
inkscape:transform-center-y="1.4016876"
inkscape:transform-center-x="4.3938467"
style="fill:#4d4d4d;fill-opacity:1;stroke:#664141;stroke-width:2.90167594;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
inkscape:connector-curvature="0"
id="path1478-7-9-4-2-6-0-2-5-8-9"
d="m -34.026437,58.951028 c -1.188211,-0.254786 -2.364605,-0.581471 -3.540195,-0.948048 0.0012,1.235598 0.06807,2.478792 0.199437,3.729933 1.16405,-0.974137 2.037746,-1.773202 3.340758,-2.781885 z" />
<path
inkscape:transform-center-y="-3.8103911"
inkscape:transform-center-x="-3.9356982"
style="fill:#4d4d4d;fill-opacity:1;stroke:#664141;stroke-width:2.90167594;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
inkscape:connector-curvature="0"
id="path1478-7-9-4-2-6-0-2-5-8-9-6"
d="m -85.212791,98.483277 c 1.16237,-0.35455 2.349325,-0.64048 3.554963,-0.89118 -0.601497,-1.07931 -1.263703,-2.13357 -1.986356,-3.16332 -0.544206,1.41695 -0.919694,2.53983 -1.568593,4.0545 z" />
<path
inkscape:transform-center-y="0.94237197"
inkscape:transform-center-x="4.5406006"
style="fill:#4d4d4d;fill-opacity:1;stroke:#664141;stroke-width:2.90167594;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
inkscape:connector-curvature="0"
id="path1478-7-9-4-2-6-0-2-5-8-9-4"
d="m -52.049409,44.908071 c -1.166577,-0.340444 -2.316093,-0.751765 -3.461957,-1.202804 -0.08838,1.232428 -0.112186,2.477186 -0.07216,3.734564 1.231756,-0.886973 2.161208,-1.620421 3.534089,-2.53176 z" />
<path
inkscape:transform-center-y="-4.6544661"
inkscape:transform-center-x="-2.2812907"
style="fill:#4d4d4d;fill-opacity:1;stroke:#664141;stroke-width:2.90167594;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
inkscape:connector-curvature="0"
id="path1478-7-9-4-2-6-0-2-5-8-9-6-8"
d="m -64.771225,94.818397 c 0.862564,-0.85604 1.77887,-1.66286 2.728174,-2.44724 -1.035664,-0.67385 -2.11334,-1.29722 -3.233027,-1.87071 0.179936,1.50717 0.371895,2.6755 0.504853,4.31793 z" />
<path
d="m -118.40352,99.099721 c 0.18039,-1.201773 0.43331,-2.396173 0.72609,-3.592293 -1.23312,0.0783 -2.46979,0.22205 -3.71033,0.430981 1.04461,1.101259 1.89647,1.92353 2.98424,3.161312 z"
id="path1478-7-9-4-2-6-0-2"
inkscape:connector-curvature="0"
style="fill:url(#linearGradient36418);fill-opacity:1;stroke:#664141;stroke-width:2.90167594;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
inkscape:transform-center-x="1.8093751"
inkscape:transform-center-y="-4.5118005" />
</g>
<circle
cx="-166.51453"
cy="40.364254"
r="11.831276"
id="circle3383-85-6"
style="fill:#ffffff;stroke:#2f2f2f;stroke-width:2.90167594;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1;fill-opacity:1"
transform="rotate(0.4548865)" />
<circle
cx="-93.889313"
cy="97.933929"
r="11.831278"
id="circle3383-6-6"
style="fill:#ffffff;stroke:#2f2f2f;stroke-width:2.90167594;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1;fill-opacity:1"
transform="rotate(7.6719707)" />
<circle
style="fill:#ffffff;stroke:#2f2f2f;stroke-width:2.90167594;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1;fill-opacity:1"
id="circle3383-4-5-1"
r="11.831276"
cy="89.783501"
cx="-33.279785"
transform="rotate(1.403915)" />
<circle
cx="-159.80888"
cy="134.81886"
r="11.831276"
id="circle3383-85-2-8"
style="fill:#ffffff;stroke:#2f2f2f;stroke-width:2.90167594;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1;fill-opacity:1"
transform="rotate(0.4548865)" />
<circle
cx="-65.455849"
cy="37.915871"
r="11.831278"
id="circle3383-6-3-4"
style="fill:#ffffff;stroke:#2f2f2f;stroke-width:2.90167594;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1;fill-opacity:1"
transform="rotate(7.6719707)" />
<g
aria-label="M"
transform="matrix(0.79119855,-0.00262742,0.00251413,0.75708086,-64.651462,3.2856454)"
style="font-style:normal;font-weight:normal;font-size:20.2599659px;line-height:1.25;font-family:sans-serif;fill:#4d4d4d;fill-opacity:1;stroke:none;stroke-width:0.5065006;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
id="text2753-15">
<path
inkscape:connector-curvature="0"
d="m -137.89372,38.839388 h 4.84735 l 3.36347,7.904156 3.38326,-7.904156 h 4.83746 v 14.769594 h -3.60089 V 42.806305 l -3.40304,7.963512 h -2.41379 l -3.40304,-7.963512 v 10.802677 h -3.61078 z"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#4d4d4d;stroke-width:0.5065006"
id="path7570" />
</g>
<g
aria-label="D"
transform="matrix(0.79119855,-0.00262742,0.00251413,0.75708086,-55.807739,27.713702)"
style="font-style:normal;font-weight:normal;font-size:20.2599659px;line-height:1.25;font-family:sans-serif;fill:#4d4d4d;fill-opacity:1;stroke:none;stroke-width:0.5065006;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
id="text2753-0-8">
<path
inkscape:connector-curvature="0"
d="m -135.51178,133.83532 v 9.01213 h 1.36517 q 2.33464,0 3.56132,-1.15743 1.23657,-1.15743 1.23657,-3.36347 0,-2.19615 -1.22668,-3.34369 -1.22667,-1.14754 -3.57121,-1.14754 z m -3.80864,-2.87873 h 4.01638 q 3.36347,0 5.00564,0.48473 1.65205,0.47485 2.82927,1.62238 1.03872,0.99915 1.54324,2.30497 0.50452,1.30582 0.50452,2.95788 0,1.67184 -0.50452,2.98755 -0.50452,1.30582 -1.54324,2.30497 -1.18711,1.14753 -2.84906,1.63227 -1.66195,0.47484 -4.98585,0.47484 h -4.01638 z"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#4d4d4d;stroke-width:0.5065006"
id="path7564" />
</g>
<g
aria-label="O"
transform="matrix(0.79075741,-0.02654604,0.02540133,0.75665877,-34.530531,-1.1719276)"
style="font-style:normal;font-weight:normal;font-size:20.2599659px;line-height:1.25;font-family:sans-serif;fill:#4d4d4d;fill-opacity:1;stroke:none;stroke-width:0.5065006;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
id="text2753-2-6-3">
<path
inkscape:connector-curvature="0"
d="m -46.060014,32.667759 q -1.74109,0 -2.700669,1.286033 -0.959578,1.286033 -0.959578,3.620677 0,2.324752 0.959578,3.610785 0.959579,1.286033 2.700669,1.286033 1.750984,0 2.710562,-1.286033 0.959579,-1.286033 0.959579,-3.610785 0,-2.334644 -0.959579,-3.620677 -0.959578,-1.286033 -2.710562,-1.286033 z m 0,-2.760025 q 3.561323,0 5.579405,2.037868 2.018083,2.037867 2.018083,5.628867 0,3.581107 -2.018083,5.618975 -2.018082,2.037868 -5.579405,2.037868 -3.551429,0 -5.579404,-2.037868 -2.018083,-2.037868 -2.018083,-5.618975 0,-3.591 2.018083,-5.628867 2.027975,-2.037868 5.579404,-2.037868 z"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#4d4d4d;stroke-width:0.5065006"
id="path7561" />
</g>
<g
aria-label="F"
transform="matrix(0.79119911,0.00244873,-0.00234313,0.7570814,-37.72473,21.751225)"
style="font-style:normal;font-weight:normal;font-size:20.25999451px;line-height:1.25;font-family:sans-serif;fill:#4d4d4d;fill-opacity:1;stroke:none;stroke-width:0.50650066;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
id="text2753-1-2">
<path
inkscape:connector-curvature="0"
d="M -0.67049691,82.246758 H 9.607889 v 2.878739 H 3.1381446 v 2.750136 h 6.0839339 v 2.878739 H 3.1381446 v 6.262001 h -3.80864151 z"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#4d4d4d;stroke-width:0.50650066"
id="path7558" />
</g>
<g
aria-label="G"
transform="matrix(0.79075741,-0.02654604,0.02540133,0.75665877,-42.132193,12.802013)"
style="font-style:normal;font-weight:normal;font-size:20.2599659px;line-height:1.25;font-family:sans-serif;fill:#4d4d4d;fill-opacity:1;stroke:none;stroke-width:0.5065006;stroke-miterlimit:9;stroke-dasharray:none;stroke-opacity:1"
id="text2753-2-9">
<path
inkscape:connector-curvature="0"
d="m -77.288247,97.913332 q -1.424529,0.692479 -2.957876,1.038719 -1.533347,0.346239 -3.16562,0.346239 -3.689925,0 -5.846504,-2.057653 -2.156578,-2.067545 -2.156578,-5.599189 0,-3.571215 2.196149,-5.618975 2.196148,-2.04776 6.014677,-2.04776 1.473992,0 2.81938,0.276991 1.355281,0.276992 2.552281,0.821083 v 3.056801 q -1.23657,-0.702372 -2.463248,-1.048611 -1.216785,-0.34624 -2.443463,-0.34624 -2.275289,0 -3.511859,1.276141 -1.226678,1.266247 -1.226678,3.63057 0,2.344537 1.187108,3.620677 1.187107,1.276141 3.373363,1.276141 0.593554,0 1.098075,-0.06925 0.514413,-0.07914 0.920008,-0.237422 v -2.868843 h -2.324752 V 90.81047 h 5.935537 z"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#4d4d4d;stroke-width:0.5065006"
id="path7567" />
</g>
</g>
</svg>
Reference in New Issue View Git Blame Copy Permalink