abuseofnotation/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/abuseofnotation/category-theory-illustrated.git synced 2024-09-11 08:55:55 +03:00
Code Issues Packages Projects Releases Wiki Activity
master
category-theory-illustrated/_chapters/04_order/preorder_equivalence.svg
Boris Marinov 5fbf53e882 stuff
2021-12-25 18:31:58 +02:00

278 lines
16 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_equivalence.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="1440"
inkscape:window-height="2496"
id="namedview3399"
showgrid="false"
inkscape:zoom="2.3359375"
inkscape:cx="319.69709"
inkscape:cy="-18.092152"
inkscape:window-x="0"
inkscape:window-y="27"
inkscape:window-maximized="1"
inkscape:current-layer="g2760-0"
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="translate(392.18394,2.4928396)">
<g
id="g2760-0"
transform="matrix(0.58065273,0.58065273,-0.58065273,0.58065273,42.036768,-23.943945)">
<g
id="g2760-9-8-7-4"
transform="matrix(3.7238294,0,0,3.7238294,-609.47687,-296.97043)"
style="stroke-width:1.3735;stroke-miterlimit:4;stroke-dasharray:none;fill:#ececec">
<g
id="g2749-4-6-7"
style="fill:#ececec;stroke:#666666;stroke-width:1.3735;stroke-miterlimit:4;stroke-dasharray:none"
transform="rotate(-37.328029,178.27377,-57.179395)">
<g
id="g10519"
style="stroke-width:1.3735;stroke-miterlimit:4;stroke-dasharray:none;fill:#ececec">
<path
style="opacity:0.12999998;fill:#ececec;stroke:#666666;stroke-width:1.37349999;stroke-miterlimit:4;stroke-dasharray:none"
d="M 69.76424,85.225021 A 17.200493,17.200493 0 0 1 52.563747,102.42551 17.200493,17.200493 0 0 1 35.363255,85.225021 17.200493,17.200493 0 0 1 52.563747,68.024529 17.200493,17.200493 0 0 1 69.76424,85.225021 Z"
id="circle3369-5-5-8" />
<path
style="fill:#ececec;stroke:#666666;stroke-width:1.37349999;stroke-miterlimit:4;stroke-dasharray:none"
d="M 68.537605,84.338951 A 17.200493,17.200493 0 0 1 51.337112,101.53944 17.200493,17.200493 0 0 1 34.13662,84.338951 17.200493,17.200493 0 0 1 51.337112,67.138458 17.200493,17.200493 0 0 1 68.537605,84.338951 Z"
id="circle3383-6-6-4" />
</g>
</g>
</g>
<g
id="g2760-9-8-7"
transform="matrix(0.86438585,0,0,0.86438585,-158.15326,47.988659)">
<g
id="g2749-4-6"
style="fill:#cccccc;stroke:#666666"
transform="rotate(-37.328029,183.17645,-58.627543)">
<path
style="opacity:0.12999998;fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
d="m 80.040796,90.58149 a 24.6,24.6 0 0 1 -24.6,24.6 24.6,24.6 0 0 1 -24.6,-24.6 24.6,24.6 0 0 1 24.6,-24.600001 24.6,24.6 0 0 1 24.6,24.600001 z"
id="circle3369-5-5" />
<path
style="fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
d="m 76.107595,84.367409 a 24.6,24.6 0 0 1 -24.6,24.600001 24.6,24.6 0 0 1 -24.6,-24.600001 24.6,24.6 0 0 1 24.6,-24.600001 24.6,24.6 0 0 1 24.6,24.600001 z"
id="circle3383-6-6" />
</g>
<g
aria-label="G"
transform="matrix(0.69820387,-0.7467102,0.71451093,0.66809626,0,0)"
style="font-style:normal;font-weight:normal;font-size:28.54299927px;line-height:1.25;font-family:sans-serif;fill:#4d4d4d;fill-opacity:1;stroke:none;stroke-width:0.71357697"
id="text2753-2-9">
<path
d="m 23.307402,225.47818 q -2.00693,0.97559 -4.167166,1.46339 -2.160237,0.4878 -4.459844,0.4878 -5.1985053,0 -8.2367738,-2.8989 -3.0382685,-2.91284 -3.0382685,-7.88835 0,-5.03126 3.0940165,-7.91622 3.0940165,-2.88497 8.4737028,-2.88497 2.076615,0 3.972048,0.39024 1.909371,0.39024 3.595749,1.15677 v 4.30654 q -1.742126,-0.98953 -3.470316,-1.47732 -1.714252,-0.4878 -3.442441,-0.4878 -3.205513,0 -4.947639,1.79788 -1.7281898,1.78393 -1.7281898,5.11488 0,3.30307 1.6724418,5.10094 1.672441,1.79788 4.75252,1.79788 0.836221,0 1.547009,-0.0976 0.724724,-0.1115 1.296142,-0.33449 v -4.04173 h -3.275198 v -3.59575 h 8.362207 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.71357697"
id="path156224" />
</g>
</g>
<g
id="g10526"
transform="translate(-26.256642,65.320909)">
<g
id="g2749-7-7"
style="fill:#cccccc;stroke:#666666"
transform="matrix(0.62600464,-0.59605461,0.59605461,0.62600464,-23.306073,105.23298)">
<path
style="opacity:0.12999998;fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
d="m 80.040796,90.58149 a 24.6,24.6 0 0 1 -24.6,24.6 24.6,24.6 0 0 1 -24.6,-24.6 24.6,24.6 0 0 1 24.6,-24.600001 24.6,24.6 0 0 1 24.6,24.600001 z"
id="circle3369-7-4" />
<path
style="fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
d="m 76.107595,84.367409 a 24.6,24.6 0 0 1 -24.6,24.600001 24.6,24.6 0 0 1 -24.6,-24.600001 24.6,24.6 0 0 1 24.6,-24.600001 24.6,24.6 0 0 1 24.6,24.600001 z"
id="circle3383-4-5" />
</g>
<g
aria-label="F"
transform="matrix(0.72509778,-0.72062332,0.68954896,0.69383047,0,0)"
style="font-style:normal;font-weight:normal;font-size:24.67219925px;line-height:1.25;font-family:sans-serif;fill:#4d4d4d;fill-opacity:1;stroke:none;stroke-width:0.61680597"
id="text2753-1-2">
<path
d="m -51.666764,126.34067 h 12.516804 v 3.50567 h -7.87872 v 3.34906 h 7.408888 v 3.50566 h -7.408888 v 7.62574 h -4.638084 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.61680597"
id="path156229" />
</g>
</g>
<g
id="g2760-9-8-4-4"
transform="matrix(0.86438585,0,0,0.86438585,-99.622192,16.388398)">
<g
id="g2749-4-5-7"
style="fill:#cccccc;stroke:#666666"
transform="rotate(-37.328029,296.07441,96.778899)">
<path
style="opacity:0.12999998;fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
d="m 80.040796,90.58149 a 24.6,24.6 0 0 1 -24.6,24.6 24.6,24.6 0 0 1 -24.6,-24.6 24.6,24.6 0 0 1 24.6,-24.600001 24.6,24.6 0 0 1 24.6,24.600001 z"
id="circle3369-5-0-4" />
<path
style="fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
d="m 76.107595,84.367409 a 24.6,24.6 0 0 1 -24.6,24.600001 24.6,24.6 0 0 1 -24.6,-24.600001 24.6,24.6 0 0 1 24.6,-24.600001 24.6,24.6 0 0 1 24.6,24.600001 z"
id="circle3383-6-3-4" />
</g>
<g
aria-label="O"
transform="matrix(0.69820387,-0.7467102,0.71451093,0.66809626,0,0)"
style="font-style:normal;font-weight:normal;font-size:28.54299927px;line-height:1.25;font-family:sans-serif;fill:#4d4d4d;fill-opacity:1;stroke:none;stroke-width:0.71357697"
id="text2753-2-6-3">
<path
d="m -105.05794,226.65278 q -2.45292,0 -3.80481,1.81181 -1.35189,1.81181 -1.35189,5.10094 0,3.2752 1.35189,5.08701 1.35189,1.81182 3.80481,1.81182 2.46685,0 3.81874,-1.81182 1.351887,-1.81181 1.351887,-5.08701 0,-3.28913 -1.351887,-5.10094 -1.35189,-1.81181 -3.81874,-1.81181 z m 0,-3.88843 q 5.01732,0 7.860471,2.87103 2.84315,2.87102 2.84315,7.93015 0,5.0452 -2.84315,7.91623 -2.843151,2.87102 -7.860471,2.87102 -5.00339,0 -7.86048,-2.87102 -2.84315,-2.87103 -2.84315,-7.91623 0,-5.05913 2.84315,-7.93015 2.85709,-2.87103 7.86048,-2.87103 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.71357697"
id="path156234" />
</g>
</g>
<g
id="g2760-9-8-7-4-3"
transform="matrix(1.9814726,0,0,1.9814726,-441.18139,42.830367)"
style="fill:#ececec;stroke-width:2.60276008;stroke-miterlimit:4;stroke-dasharray:none">
<g
id="g2749-4-6-7-6"
style="fill:#ececec;stroke:#666666;stroke-width:2.60276008;stroke-miterlimit:4;stroke-dasharray:none"
transform="rotate(-37.328029,178.27377,-57.179395)">
<g
id="g10519-1"
style="fill:#ececec;stroke-width:2.60276008;stroke-miterlimit:4;stroke-dasharray:none">
<path
style="opacity:0.12999998;fill:#ececec;stroke:#666666;stroke-width:2.60276008;stroke-miterlimit:4;stroke-dasharray:none"
d="M 69.76424,85.225021 A 17.200493,17.200493 0 0 1 52.563747,102.42551 17.200493,17.200493 0 0 1 35.363255,85.225021 17.200493,17.200493 0 0 1 52.563747,68.024529 17.200493,17.200493 0 0 1 69.76424,85.225021 Z"
id="circle3369-5-5-8-0"
inkscape:connector-curvature="0" />
<path
style="fill:#ececec;stroke:#666666;stroke-width:2.60276008;stroke-miterlimit:4;stroke-dasharray:none"
d="M 68.537605,84.338951 A 17.200493,17.200493 0 0 1 51.337112,101.53944 17.200493,17.200493 0 0 1 34.13662,84.338951 17.200493,17.200493 0 0 1 51.337112,67.138458 17.200493,17.200493 0 0 1 68.537605,84.338951 Z"
id="circle3383-6-6-4-6"
inkscape:connector-curvature="0" />
</g>
</g>
</g>
<g
id="g2760-3"
transform="matrix(0.86438585,0,0,0.86438585,-162.45446,232.37431)">
<g
id="g2749-2"
style="fill:#cccccc;stroke:#666666"
transform="rotate(-44.545114,52.727379,84.306425)">
<path
style="opacity:0.12999998;fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
d="m 80.040796,90.58149 a 24.6,24.6 0 0 1 -24.6,24.6 24.6,24.6 0 0 1 -24.6,-24.6 24.6,24.6 0 0 1 24.6,-24.600001 24.6,24.6 0 0 1 24.6,24.600001 z"
id="circle3369-33-0"
inkscape:connector-curvature="0" />
<path
style="fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
d="m 76.107595,84.367409 a 24.6,24.6 0 0 1 -24.6,24.600001 24.6,24.6 0 0 1 -24.6,-24.600001 24.6,24.6 0 0 1 24.6,-24.600001 24.6,24.6 0 0 1 24.6,24.600001 z"
id="circle3383-85-6"
inkscape:connector-curvature="0" />
</g>
<g
aria-label="M"
transform="matrix(0.72045954,-0.72526052,0.69398619,0.68939224,0,0)"
style="font-style:normal;font-weight:normal;font-size:28.54299927px;line-height:1.25;font-family:sans-serif;fill:#4d4d4d;fill-opacity:1;stroke:none;stroke-width:0.71357697"
id="text2753-15">
<path
d="m -34.056867,88.279589 h 6.829136 l 4.738584,11.135672 4.766458,-11.135672 h 6.815198 v 20.807961 h -5.073072 V 93.868331 l -4.794332,11.219299 h -3.400631 l -4.794332,-11.219299 v 15.219219 h -5.087009 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.71357697"
id="path156241"
inkscape:connector-curvature="0" />
</g>
</g>
<g
id="g2760-9-8-7-4-3-3"
transform="matrix(1.9814726,0,0,1.9814726,-212.77496,-176.56862)"
style="fill:#ececec;stroke-width:2.60276008;stroke-miterlimit:4;stroke-dasharray:none">
<g
id="g2749-4-6-7-6-2"
style="fill:#ececec;stroke:#666666;stroke-width:2.60276008;stroke-miterlimit:4;stroke-dasharray:none"
transform="rotate(-37.328029,178.27377,-57.179395)">
<g
id="g10519-1-0"
style="fill:#ececec;stroke-width:2.60276008;stroke-miterlimit:4;stroke-dasharray:none">
<path
style="opacity:0.12999998;fill:#ececec;stroke:#666666;stroke-width:2.60276008;stroke-miterlimit:4;stroke-dasharray:none"
d="M 69.76424,85.225021 A 17.200493,17.200493 0 0 1 52.563747,102.42551 17.200493,17.200493 0 0 1 35.363255,85.225021 17.200493,17.200493 0 0 1 52.563747,68.024529 17.200493,17.200493 0 0 1 69.76424,85.225021 Z"
id="circle3369-5-5-8-0-6"
inkscape:connector-curvature="0" />
<path
style="fill:#ececec;stroke:#666666;stroke-width:2.60276008;stroke-miterlimit:4;stroke-dasharray:none"
d="M 68.537605,84.338951 A 17.200493,17.200493 0 0 1 51.337112,101.53944 17.200493,17.200493 0 0 1 34.13662,84.338951 17.200493,17.200493 0 0 1 51.337112,67.138458 17.200493,17.200493 0 0 1 68.537605,84.338951 Z"
id="circle3383-6-6-4-6-1"
inkscape:connector-curvature="0" />
</g>
</g>
</g>
<g
id="g2760-0-7"
transform="matrix(0.86438585,0,0,0.86438585,64.050054,12.208847)">
<g
id="g2749-6-8"
style="fill:#cccccc;stroke:#666666"
transform="rotate(-44.545114,52.727379,84.306425)">
<path
style="opacity:0.12999998;fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
d="m 80.040796,90.58149 a 24.6,24.6 0 0 1 -24.6,24.6 24.6,24.6 0 0 1 -24.6,-24.6 24.6,24.6 0 0 1 24.6,-24.600001 24.6,24.6 0 0 1 24.6,24.600001 z"
id="circle3369-33-3-6"
inkscape:connector-curvature="0" />
<path
style="fill:#cccccc;stroke:#666666;stroke-width:6;stroke-miterlimit:10"
d="m 76.107595,84.367409 a 24.6,24.6 0 0 1 -24.6,24.600001 24.6,24.6 0 0 1 -24.6,-24.600001 24.6,24.6 0 0 1 24.6,-24.600001 24.6,24.6 0 0 1 24.6,24.600001 z"
id="circle3383-85-2-8"
inkscape:connector-curvature="0" />
</g>
<g
aria-label="D"
transform="matrix(0.72045954,-0.72526052,0.69398619,0.68939224,0,0)"
style="font-style:normal;font-weight:normal;font-size:28.54299927px;line-height:1.25;font-family:sans-serif;fill:#4d4d4d;fill-opacity:1;stroke:none;stroke-width:0.71357697"
id="text2753-0-8">
<path
d="m -26.841538,91.417825 v 12.696615 h 1.923307 q 3.289135,0 5.017324,-1.63063 1.742127,-1.63063 1.742127,-4.738582 0,-3.094016 -1.72819,-4.71071 -1.728189,-1.616693 -5.031261,-1.616693 z m -5.36575,-4.05567 h 5.658427 q 4.738584,0 7.052128,0.682913 2.32748,0.668977 3.985985,2.28567 1.463386,1.407638 2.174174,3.247324 0.710787,1.839685 0.710787,4.167166 0,2.355352 -0.710787,4.208982 -0.710788,1.83968 -2.174174,3.24732 -1.672442,1.61669 -4.01386,2.29961 -2.341417,0.66897 -7.024253,0.66897 h -5.658427 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.71357697"
id="path156248"
inkscape:connector-curvature="0" />
</g>
</g>
</g>
</g>
</svg>
Reference in New Issue View Git Blame Copy Permalink