mirror of
https://github.com/abuseofnotation/category-theory-illustrated.git
synced 2024-09-11 08:55:55 +03:00
278 lines
16 KiB
XML
278 lines
16 KiB
XML
<?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>
|