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_state_machine.svg
Boris Marinov c73480483c stuff
2021-10-31 02:21:39 +03:00

372 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: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_state_machine.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" />
<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="4.6422351"
inkscape:cx="351.1336"
inkscape:cy="95.155472"
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
inkscape:transform-center-y="0.49149457"
inkscape:transform-center-x="-2.0651961"
transform="matrix(0.1773733,0.01211596,-0.03469622,0.24601198,-127.91881,4.6805871)"
id="g1482-7-0-7-0-1"
style="display:inline;fill:#dddddd;stroke:#838383;stroke-width:6.38899994;stroke-miterlimit:10">
<path
d="m 315.1,101.79 c 10.682,-4.135 21.77,-7.738 33.127,-11.074 -8.518,-8.139 -17.577,-16.01 -27.178,-23.616 -2.04,12.119 -3.103,21.663 -5.949,34.69 z"
transform="matrix(0.4768,-0.02932,0.03214,0.42867,147.58,197.367)"
id="path1478-7-9-4-2-0"
inkscape:connector-curvature="0"
style="stroke-width:35.52600098" />
<path
d="m 197.036,89.49 c 39.237,-9.724 89.303,-9.828 120.462,-3.317"
transform="matrix(0.89574,0,0,0.81736,18.384,154.236)"
id="path1480-1-3-3-4-6"
inkscape:connector-curvature="0"
style="stroke-width:10.64900017;paint-order:markers fill stroke" />
</g>
<g
transform="matrix(0.55132065,0.22566204,-0.22566204,0.55132065,-70.537695,3.9947272)"
id="g2760-3">
<g
transform="rotate(-44.545114,52.727379,84.306425)"
style="fill:#cccccc;stroke:#666666"
id="g2749-2">
<circle
style="opacity:0.12999998;fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
id="circle3369-33-0"
r="24.6"
cy="90.58149"
cx="55.440796" />
<circle
style="fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
id="circle3383-85-6"
r="24.6"
cy="84.367409"
cx="51.507595" />
</g>
</g>
<g
inkscape:transform-center-y="2.3831131"
inkscape:transform-center-x="-5.5274026"
transform="matrix(-0.07526745,-0.16635085,-0.21254728,0.13417887,-29.869915,101.31853)"
id="g1482-7-0-25-1-3"
style="display:inline;fill:#dddddd;stroke:#838383;stroke-width:6.38899994;stroke-miterlimit:10">
<path
d="m 315.1,101.79 c 10.682,-4.135 21.77,-7.738 33.127,-11.074 -8.518,-8.139 -17.577,-16.01 -27.178,-23.616 -2.04,12.119 -3.103,21.663 -5.949,34.69 z"
transform="matrix(0.4768,-0.02932,0.03214,0.42867,147.58,197.367)"
id="path1478-7-9-8-5-1"
inkscape:connector-curvature="0"
style="stroke-width:35.52600098" />
<path
d="m 197.036,89.49 c 39.237,-9.724 89.303,-9.828 120.462,-3.317"
transform="matrix(0.89574,0,0,0.81736,18.384,154.236)"
id="path1480-1-3-9-5-4"
inkscape:connector-curvature="0"
style="stroke-width:10.64900017;paint-order:markers fill stroke" />
</g>
<g
inkscape:transform-center-y="-0.45478669"
inkscape:transform-center-x="-2.1021329"
transform="matrix(0.17777588,-0.00195446,-0.01512486,0.24798581,-160.62367,48.202481)"
id="g1482-7-0-7-0-3"
style="display:inline;fill:#dddddd;stroke:#838383;stroke-width:6.38899994;stroke-miterlimit:10">
<path
d="m 315.1,101.79 c 10.682,-4.135 21.77,-7.738 33.127,-11.074 -8.518,-8.139 -17.577,-16.01 -27.178,-23.616 -2.04,12.119 -3.103,21.663 -5.949,34.69 z"
transform="matrix(0.4768,-0.02932,0.03214,0.42867,147.58,197.367)"
id="path1478-7-9-4-2-6"
inkscape:connector-curvature="0"
style="stroke-width:35.52600098" />
<path
d="m 197.036,89.49 c 39.237,-9.724 89.303,-9.828 120.462,-3.317"
transform="matrix(0.89574,0,0,0.81736,18.384,154.236)"
id="path1480-1-3-3-4-7"
inkscape:connector-curvature="0"
style="stroke-width:10.64900017;paint-order:markers fill stroke" />
</g>
<g
inkscape:transform-center-y="-0.25109761"
inkscape:transform-center-x="36.275205"
transform="matrix(0.18258607,3.5008037e-4,-0.03510679,0.2488932,-186.18902,7.5096201)"
id="g1482-7-0-25-1-3-3"
style="display:inline;fill:#dddddd;stroke:#838383;stroke-width:6.38899994;stroke-miterlimit:10">
<path
d="m 315.1,101.79 c 10.682,-4.135 21.77,-7.738 33.127,-11.074 -8.518,-8.139 -17.577,-16.01 -27.178,-23.616 -2.04,12.119 -3.103,21.663 -5.949,34.69 z"
transform="matrix(0.4768,-0.02932,0.03214,0.42867,147.58,197.367)"
id="path1478-7-9-8-5-1-6"
inkscape:connector-curvature="0"
style="stroke-width:35.52600098" />
<path
d="m 197.036,89.49 c 39.237,-9.724 89.303,-9.828 120.462,-3.317"
transform="matrix(0.89574,0,0,0.81736,18.384,154.236)"
id="path1480-1-3-9-5-4-7"
inkscape:connector-curvature="0"
style="stroke-width:10.64900017;paint-order:markers fill stroke" />
</g>
<g
transform="matrix(0.49445064,0.33225952,-0.33225952,0.49445064,-171.09994,4.5943828)"
id="g2760-0-7"
inkscape:transform-center-x="-3.1142478"
inkscape:transform-center-y="1.8730961">
<g
transform="rotate(-44.545114,52.727379,84.306425)"
style="fill:#cccccc;stroke:#666666"
id="g2749-6-8">
<circle
style="opacity:0.12999998;fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
id="circle3369-33-3-6"
r="24.6"
cy="90.58149"
cx="55.440796" />
<circle
style="fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
id="circle3383-85-2-8"
r="24.6"
cy="84.367409"
cx="51.507595" />
</g>
</g>
<g
inkscape:transform-center-y="4.2619248"
inkscape:transform-center-x="-4.061621"
transform="matrix(-0.1817866,-0.01707114,0.05775464,-0.24463179,-81.3506,171.52052)"
id="g1482-7-0-25-1-3-7"
style="display:inline;fill:#dddddd;stroke:#b3b3b3;stroke-width:6.38899994;stroke-miterlimit:10">
<path
d="m 315.1,101.79 c 10.682,-4.135 21.77,-7.738 33.127,-11.074 -8.518,-8.139 -17.577,-16.01 -27.178,-23.616 -2.04,12.119 -3.103,21.663 -5.949,34.69 z"
transform="matrix(0.4768,-0.02932,0.03214,0.42867,147.58,197.367)"
id="path1478-7-9-8-5-1-3"
inkscape:connector-curvature="0"
style="stroke:#b3b3b3;stroke-width:35.52600098" />
<path
d="m 197.036,89.49 c 39.237,-9.724 89.303,-9.828 120.462,-3.317"
transform="matrix(0.89574,0,0,0.81736,18.384,154.236)"
id="path1480-1-3-9-5-4-6"
inkscape:connector-curvature="0"
style="stroke:#b3b3b3;stroke-width:10.64900017;paint-order:markers fill stroke" />
</g>
<g
inkscape:transform-center-y="-2.2543418"
inkscape:transform-center-x="5.6126517"
transform="matrix(0.07908191,0.1645717,0.20939792,-0.13904253,-174.84401,74.848155)"
id="g1482-7-0-25-1-3-1"
style="display:inline;fill:#dddddd;stroke:#838383;stroke-width:6.38899994;stroke-miterlimit:10">
<path
d="m 315.1,101.79 c 10.682,-4.135 21.77,-7.738 33.127,-11.074 -8.518,-8.139 -17.577,-16.01 -27.178,-23.616 -2.04,12.119 -3.103,21.663 -5.949,34.69 z"
transform="matrix(0.4768,-0.02932,0.03214,0.42867,147.58,197.367)"
id="path1478-7-9-8-5-1-0"
inkscape:connector-curvature="0"
style="stroke-width:35.52600098" />
<path
d="m 197.036,89.49 c 39.237,-9.724 89.303,-9.828 120.462,-3.317"
transform="matrix(0.89574,0,0,0.81736,18.384,154.236)"
id="path1480-1-3-9-5-4-4"
inkscape:connector-curvature="0"
style="stroke-width:10.64900017;paint-order:markers fill stroke" />
</g>
<g
transform="matrix(0.59046713,0.07890748,-0.07890748,0.59046713,-125.33356,-37.325752)"
id="g2760-9-8-4-4">
<g
transform="rotate(-37.328029,296.07441,96.778899)"
style="fill:#cccccc;stroke:#666666"
id="g2749-4-5-7">
<circle
style="opacity:0.12999998;fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
id="circle3369-5-0-4"
r="24.6"
cy="90.58149"
cx="55.440796" />
<circle
style="fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
id="circle3383-6-3-4"
r="24.6"
cy="84.367409"
cx="51.507595" />
</g>
</g>
<g
inkscape:transform-center-y="1.9216037"
inkscape:transform-center-x="1.2226319"
transform="matrix(-0.10676675,0.14215817,0.20886409,0.13454187,-152.75672,15.305394)"
id="g1482-7-0-7-0-3-3"
style="display:inline;fill:#dddddd;stroke:#838383;stroke-width:6.38899994;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1">
<path
d="m 315.1,101.79 c 10.682,-4.135 21.77,-7.738 33.127,-11.074 -8.518,-8.139 -17.577,-16.01 -27.178,-23.616 -2.04,12.119 -3.103,21.663 -5.949,34.69 z"
transform="matrix(0.4768,-0.02932,0.03214,0.42867,147.58,197.367)"
id="path1478-7-9-4-2-6-8"
inkscape:connector-curvature="0"
style="stroke-width:35.52600098" />
<path
d="m 197.036,89.49 c 39.237,-9.724 89.303,-9.828 120.462,-3.317"
transform="matrix(0.89574,0,0,0.81736,18.384,154.236)"
id="path1480-1-3-3-4-7-5"
inkscape:connector-curvature="0"
style="stroke-width:10.64900017;paint-order:markers fill stroke" />
</g>
<g
transform="matrix(0.59215452,0.06504492,-0.06504492,0.59215452,-206.41739,-27.079857)"
id="g2760-9-8-7">
<g
transform="rotate(-37.328029,183.17645,-58.627543)"
style="fill:#cccccc;stroke:#666666"
id="g2749-4-6">
<circle
style="opacity:0.12999998;fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
id="circle3369-5-5"
r="24.6"
cy="90.58149"
cx="55.440796" />
<circle
style="fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
id="circle3383-6-6"
r="24.6"
cy="84.367409"
cx="51.507595" />
</g>
</g>
<g
inkscape:transform-center-y="6.0345048"
inkscape:transform-center-x="-0.68228341"
transform="matrix(0.11380716,-0.14277858,-0.2162661,-0.12809872,-110.90637,156.52141)"
id="g1482-7-0-25-1-3-7-6"
style="display:inline;fill:#dddddd;stroke:#b3b3b3;stroke-width:6.38899994;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1">
<path
d="m 315.1,101.79 c 10.682,-4.135 21.77,-7.738 33.127,-11.074 -8.518,-8.139 -17.577,-16.01 -27.178,-23.616 -2.04,12.119 -3.103,21.663 -5.949,34.69 z"
transform="matrix(0.4768,-0.02932,0.03214,0.42867,147.58,197.367)"
id="path1478-7-9-8-5-1-3-1"
inkscape:connector-curvature="0"
style="stroke:#b3b3b3;stroke-width:35.52600098" />
<path
d="m 197.036,89.49 c 39.237,-9.724 89.303,-9.828 120.462,-3.317"
transform="matrix(0.89574,0,0,0.81736,18.384,154.236)"
id="path1480-1-3-9-5-4-6-1"
inkscape:connector-curvature="0"
style="stroke:#b3b3b3;stroke-width:10.64900017;paint-order:markers fill stroke" />
</g>
<g
transform="matrix(0.52489043,0.44660627,-0.44660627,0.52489043,-118.59453,16.200606)"
id="g35805">
<g
id="g2749-7-7"
style="fill:#cccccc;stroke:#666666"
transform="matrix(0.62600464,-0.59605461,0.59605461,0.62600464,-23.306073,105.23298)">
<circle
cx="55.440796"
cy="90.58149"
r="24.6"
id="circle3369-7-4"
style="opacity:0.12999998;fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
<circle
cx="51.507595"
cy="84.367409"
r="24.6"
id="circle3383-4-5"
style="fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
</g>
</g>
<path
inkscape:connector-curvature="0"
d="m -182.1089,57.412287 4.15886,-0.01381 2.90728,6.479477 2.88117,-6.4987 4.15037,-0.01378 0.0403,12.125366 -3.08943,0.01026 -0.0294,-8.868654 -2.89798,6.547486 -2.07095,0.0069 -2.9414,-6.528094 0.0294,8.868653 -3.09792,0.01029 z"
style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-size:20.2599659px;line-height:1.25;font-family:sans-serif;-inkscape-font-specification:'sans-serif Bold';fill:#4d4d4d;fill-opacity:1;stroke:none;stroke-width:0.42508939"
id="path7570" />
<g
aria-label="D"
transform="matrix(0.85796492,-0.00284915,0.00272628,0.82096815,-4.4270719,-51.159658)"
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"
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.85748654,-0.02878616,0.02754485,0.82051045,-49.986023,77.381668)"
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"
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.85796551,0.00265537,-0.00254086,0.82096874,-148.3355,37.246402)"
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"
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.85748654,-0.02878616,0.02754485,0.82051045,7.5050343,-15.00176)"
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"
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