mirror of
https://github.com/abuseofnotation/category-theory-illustrated.git
synced 2024-09-11 08:55:55 +03:00
245 lines
9.2 KiB
XML
245 lines
9.2 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="non_maximal_element.svg"
|
|
inkscape:version="1.0.1 (0767f8302a, 2020-10-17)">
|
|
<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></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="1920"
|
|
inkscape:window-height="1016"
|
|
id="namedview3399"
|
|
showgrid="false"
|
|
inkscape:zoom="2.0000001"
|
|
inkscape:cx="306.81378"
|
|
inkscape:cy="131.56972"
|
|
inkscape:window-x="0"
|
|
inkscape:window-y="27"
|
|
inkscape:window-maximized="1"
|
|
inkscape:current-layer="svg3397"
|
|
inkscape:document-rotation="0"
|
|
showguides="true"
|
|
inkscape:guide-bbox="true" />
|
|
<g
|
|
id="g2760-9-8-7"
|
|
transform="matrix(0.501908,0.501908,-0.501908,0.501908,268.51903,-129.56203)"
|
|
style="fill:#ffaaaa">
|
|
<g
|
|
id="g2749-4-6"
|
|
style="fill:#ffaaaa;fill-opacity:1;stroke:#666666"
|
|
transform="rotate(-37.328029,183.17645,-58.627543)">
|
|
<circle
|
|
cx="55.440796"
|
|
cy="90.58149"
|
|
r="24.6"
|
|
id="circle3369-5-5"
|
|
style="opacity:0.13;fill:#ffaaaa;fill-opacity:1;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
|
|
<circle
|
|
fill="#d71920"
|
|
stroke="#be1e2d"
|
|
cx="51.507595"
|
|
cy="84.367409"
|
|
r="24.6"
|
|
id="circle3383-6-6"
|
|
style="fill:#ffaaaa;fill-opacity:1;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
|
|
</g>
|
|
</g>
|
|
<g
|
|
id="g2749-7-7"
|
|
style="fill:#f8f7cb;fill-opacity:1;stroke:#666666"
|
|
transform="matrix(0.70959204,0.01739057,-0.01739057,0.70959204,316.07313,29.710343)">
|
|
<circle
|
|
cx="55.440796"
|
|
cy="90.58149"
|
|
r="24.6"
|
|
id="circle3369-7-4"
|
|
style="opacity:0.13;fill:#f8f7cb;fill-opacity:1;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
|
|
<circle
|
|
fill="#d71920"
|
|
stroke="#be1e2d"
|
|
cx="51.507595"
|
|
cy="84.367409"
|
|
r="24.6"
|
|
id="circle3383-4-5"
|
|
style="fill:#f8f7cb;fill-opacity:1;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
|
|
</g>
|
|
<g
|
|
id="g2760-9-8-7-3"
|
|
transform="matrix(0.501908,0.501908,-0.501908,0.501908,335.70414,-129.52553)"
|
|
style="fill:#cee7cc;fill-opacity:1">
|
|
<g
|
|
id="g2749-4-6-6"
|
|
style="fill:#cee7cc;fill-opacity:1;stroke:#666666"
|
|
transform="rotate(-37.328029,183.17645,-58.627543)">
|
|
<circle
|
|
cx="55.440796"
|
|
cy="90.58149"
|
|
r="24.6"
|
|
id="circle3369-5-5-7"
|
|
style="opacity:0.13;fill:#cee7cc;fill-opacity:1;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
|
|
<circle
|
|
fill="#d71920"
|
|
stroke="#be1e2d"
|
|
cx="51.507595"
|
|
cy="84.367409"
|
|
r="24.6"
|
|
id="circle3383-6-6-5"
|
|
style="fill:#cee7cc;fill-opacity:1;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
|
|
</g>
|
|
</g>
|
|
<g
|
|
style="display:inline;fill:#dddddd;stroke:#838383;stroke-width:6.389;stroke-miterlimit:10"
|
|
id="g1482-7-0-25-1-3-3-20-7"
|
|
transform="matrix(0.00954049,-0.21981135,0.25957329,0.05660609,287.47122,101.05261)"
|
|
inkscape:transform-center-x="-6.8973456"
|
|
inkscape:transform-center-y="-4.2257898">
|
|
<path
|
|
style="stroke-width:35.526"
|
|
inkscape:connector-curvature="0"
|
|
id="path1478-7-9-8-5-1-6-2-5"
|
|
transform="matrix(0.4768,-0.02932,0.03214,0.42867,147.58,197.367)"
|
|
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" />
|
|
<path
|
|
style="stroke-width:10.649;paint-order:markers fill stroke"
|
|
inkscape:connector-curvature="0"
|
|
id="path1480-1-3-9-5-4-7-3-9"
|
|
transform="matrix(0.89574,0,0,0.81736,18.384,154.236)"
|
|
d="m 197.036,89.49 c 39.237,-9.724 89.303,-9.828 120.462,-3.317" />
|
|
</g>
|
|
<g
|
|
style="display:inline;fill:#dddddd;stroke:#838383;stroke-width:6.389;stroke-miterlimit:10"
|
|
id="g1482-7-0-25-1-3-3-20-6"
|
|
transform="matrix(0.19421178,-0.09803959,0.0968445,0.28340575,325.70724,61.394661)"
|
|
inkscape:transform-center-x="-10.568768"
|
|
inkscape:transform-center-y="-6.9099805">
|
|
<path
|
|
style="stroke-width:16.0981"
|
|
inkscape:connector-curvature="0"
|
|
id="path1478-7-9-8-5-1-6-2-1"
|
|
d="m -51.929716,115.29568 c 4.546773,-2.49497 9.332084,-4.78839 14.267291,-6.98503 -4.716389,-2.92882 -9.657465,-5.70609 -14.823979,-8.333021 0.212192,5.348811 0.630727,9.524671 0.556688,15.318051 z"
|
|
inkscape:transform-center-x="1.8126941"
|
|
inkscape:transform-center-y="1.4818538" />
|
|
<path
|
|
style="fill:none;stroke-width:9.11185;paint-order:markers fill stroke"
|
|
inkscape:connector-curvature="0"
|
|
id="path1480-1-3-9-5-4-7-3-2"
|
|
d="m -280.67764,131.2901 c 53.24188,-12.74301 165.31653,-32.911197 227.473321,-23.6651"
|
|
sodipodi:nodetypes="cc" />
|
|
</g>
|
|
<g
|
|
style="display:inline;fill:#dddddd;stroke:#838383;stroke-width:6.389;stroke-miterlimit:10"
|
|
id="g1482-7-0-25-1-3-3-20-6-9"
|
|
transform="matrix(0.00502584,-0.21749647,0.29560741,0.0481034,210.21336,100.97119)"
|
|
inkscape:transform-center-x="-12.275251"
|
|
inkscape:transform-center-y="-19.476187">
|
|
<path
|
|
style="stroke-width:35.526"
|
|
inkscape:connector-curvature="0"
|
|
id="path1478-7-9-8-5-1-6-2-1-3"
|
|
transform="matrix(0.4768,-0.02932,0.03214,0.42867,147.58,197.367)"
|
|
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" />
|
|
<path
|
|
style="fill:none;stroke-width:10.649;paint-order:markers fill stroke"
|
|
inkscape:connector-curvature="0"
|
|
id="path1480-1-3-9-5-4-7-3-2-1"
|
|
transform="matrix(0.89574,0,0,0.81736,18.384,154.236)"
|
|
d="M 47.872715,98.401069 C 126.06599,78.448462 241.85906,64.912232 317.498,86.173"
|
|
sodipodi:nodetypes="cc" />
|
|
</g>
|
|
<g
|
|
id="g2760-0-7"
|
|
transform="matrix(0.501908,0.501908,-0.501908,0.501908,303.94107,48.262589)">
|
|
<g
|
|
id="g2749-6-8"
|
|
style="fill:#caebfc;fill-opacity:1;stroke:#666666"
|
|
transform="rotate(-44.545114,52.727379,84.306425)">
|
|
<circle
|
|
cx="55.440796"
|
|
cy="90.58149"
|
|
r="24.6"
|
|
id="circle3369-33-3-6"
|
|
style="opacity:0.13;fill:#caebfc;fill-opacity:1;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
|
|
<circle
|
|
fill="#d71920"
|
|
stroke="#be1e2d"
|
|
cx="51.507595"
|
|
cy="84.367409"
|
|
r="24.6"
|
|
id="circle3383-85-2-8"
|
|
style="fill:#caebfc;fill-opacity:1;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
|
|
</g>
|
|
</g>
|
|
<g
|
|
style="display:inline;fill:#dddddd;stroke:#838383;stroke-width:6.389;stroke-miterlimit:10"
|
|
id="g1482-7-0-25-1-3-3-20-6-3"
|
|
transform="matrix(0.19421178,-0.09803959,0.0968445,0.28340575,262.46497,90.228138)"
|
|
inkscape:transform-center-x="-10.568768"
|
|
inkscape:transform-center-y="-6.9099805">
|
|
<path
|
|
style="stroke-width:16.0981"
|
|
inkscape:connector-curvature="0"
|
|
id="path1478-7-9-8-5-1-6-2-1-5"
|
|
d="m -51.929716,115.29568 c 4.546773,-2.49497 9.332084,-4.78839 14.267291,-6.98503 -4.716389,-2.92882 -9.657465,-5.70609 -14.823979,-8.333021 0.212192,5.348811 0.630727,9.524671 0.556688,15.318051 z"
|
|
inkscape:transform-center-x="1.8126941"
|
|
inkscape:transform-center-y="1.4818538" />
|
|
<path
|
|
style="fill:none;stroke-width:9.11185;paint-order:markers fill stroke"
|
|
inkscape:connector-curvature="0"
|
|
id="path1480-1-3-9-5-4-7-3-2-6"
|
|
d="m -280.67764,131.2901 c 53.24188,-12.74301 165.31653,-32.911197 227.473321,-23.6651"
|
|
sodipodi:nodetypes="cc" />
|
|
</g>
|
|
<g
|
|
id="g2760-0-7-3"
|
|
transform="matrix(0.501908,0.501908,-0.501908,0.501908,238.81616,77.988776)">
|
|
<g
|
|
id="g2749-6-8-6"
|
|
style="fill:#e6e6e6;fill-opacity:1;stroke:#666666"
|
|
transform="rotate(-44.545114,52.727379,84.306425)">
|
|
<circle
|
|
cx="55.440796"
|
|
cy="90.58149"
|
|
r="24.6"
|
|
id="circle3369-33-3-6-7"
|
|
style="opacity:0.13;fill:#e6e6e6;fill-opacity:1;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
|
|
<circle
|
|
fill="#d71920"
|
|
stroke="#be1e2d"
|
|
cx="51.507595"
|
|
cy="84.367409"
|
|
r="24.6"
|
|
id="circle3383-85-2-8-5"
|
|
style="fill:#e6e6e6;fill-opacity:1;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
|
|
</g>
|
|
</g>
|
|
</svg>
|
