mirror of
https://github.com/abuseofnotation/category-theory-illustrated.git
synced 2024-09-11 17:08:54 +03:00
274 lines
11 KiB
XML
274 lines
11 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="semilattice.svg"
|
||
|
|
inkscape:version="1.0.2 (e86c8708, 2021-01-15)">
|
||
|
|
<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="1395"
|
||
|
|
id="namedview3399"
|
||
|
|
showgrid="false"
|
||
|
|
inkscape:zoom="2.8284272"
|
||
|
|
inkscape:cx="260.22413"
|
||
|
|
inkscape:cy="87.505765"
|
||
|
|
inkscape:window-x="0"
|
||
|
|
inkscape:window-y="23"
|
||
|
|
inkscape:window-maximized="1"
|
||
|
|
inkscape:current-layer="svg3397"
|
||
|
|
inkscape:document-rotation="0"
|
||
|
|
showguides="true"
|
||
|
|
inkscape:guide-bbox="true" />
|
||
|
|
<g
|
||
|
|
id="g2760-9-8-7-3-3"
|
||
|
|
transform="matrix(0.501908,0.501908,-0.501908,0.501908,261.7471,-120.85675)"
|
||
|
|
style="fill:#cccccc">
|
||
|
|
<g
|
||
|
|
id="g2749-4-6-6-2"
|
||
|
|
style="fill:#cccccc;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-0"
|
||
|
|
style="opacity:0.13;fill:#cccccc;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-6"
|
||
|
|
style="fill:#cccccc;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-9-7"
|
||
|
|
transform="matrix(-0.11773242,-0.18294549,-0.22712045,0.19522801,380.49075,59.907391)"
|
||
|
|
inkscape:transform-center-x="9.0567839"
|
||
|
|
inkscape:transform-center-y="0.39149042">
|
||
|
|
<path
|
||
|
|
style="stroke-width:35.526"
|
||
|
|
inkscape:connector-curvature="0"
|
||
|
|
id="path1478-7-9-8-5-1-6-2-1-3-4"
|
||
|
|
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-5"
|
||
|
|
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-6-0-7"
|
||
|
|
transform="matrix(0.501908,0.501908,-0.501908,0.501908,334.21289,14.268073)"
|
||
|
|
style="fill:#cccccc">
|
||
|
|
<g
|
||
|
|
id="g2749-6-8-1-3-8"
|
||
|
|
style="fill:#cccccc;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-0-0-3"
|
||
|
|
style="opacity:0.13;fill:#cccccc;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-6-1-3"
|
||
|
|
style="fill:#cccccc;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-6-5"
|
||
|
|
transform="matrix(0.12528657,-0.17785739,0.21875,0.20456322,363.9094,11.492737)"
|
||
|
|
inkscape:transform-center-x="-9.0324619"
|
||
|
|
inkscape:transform-center-y="0.77022403" />
|
||
|
|
<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-7-9"
|
||
|
|
transform="matrix(0.11773242,-0.18294549,0.22712045,0.19522801,177.12086,62.180786)"
|
||
|
|
inkscape:transform-center-x="-9.0567829"
|
||
|
|
inkscape:transform-center-y="0.39149042">
|
||
|
|
<path
|
||
|
|
style="stroke-width:35.526"
|
||
|
|
inkscape:connector-curvature="0"
|
||
|
|
id="path1478-7-9-8-5-1-6-2-1-3-4-9"
|
||
|
|
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-5-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-6"
|
||
|
|
transform="matrix(0.501908,0.501908,-0.501908,0.501908,222.56732,-39.726205)"
|
||
|
|
style="fill:#cccccc">
|
||
|
|
<g
|
||
|
|
id="g2749-6-8-1"
|
||
|
|
style="fill:#cccccc;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-0"
|
||
|
|
style="opacity:0.13;fill:#cccccc;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-6"
|
||
|
|
style="fill:#cccccc;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-9-7-0"
|
||
|
|
transform="matrix(0.12754656,-0.17624372,-0.26450229,-0.14048564,329.05994,192.06887)"
|
||
|
|
inkscape:transform-center-x="3.3023805"
|
||
|
|
inkscape:transform-center-y="-8.2931016">
|
||
|
|
<path
|
||
|
|
style="stroke-width:35.526"
|
||
|
|
inkscape:connector-curvature="0"
|
||
|
|
id="path1478-7-9-8-5-1-6-2-1-3-4-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-5-9"
|
||
|
|
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
|
||
|
|
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-7-0-5"
|
||
|
|
transform="matrix(-0.12754656,-0.17624372,0.26450229,-0.14048564,230.97042,191.71195)"
|
||
|
|
inkscape:transform-center-x="-3.3023759"
|
||
|
|
inkscape:transform-center-y="-8.2931016">
|
||
|
|
<path
|
||
|
|
style="stroke-width:35.526"
|
||
|
|
inkscape:connector-curvature="0"
|
||
|
|
id="path1478-7-9-8-5-1-6-2-1-3-4-3-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="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-5-9-8"
|
||
|
|
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="g2749-7-7-5"
|
||
|
|
style="fill:#cccccc;fill-opacity:1;stroke:#666666"
|
||
|
|
transform="matrix(0.70959204,0.01739057,-0.01739057,0.70959204,246.70876,78.748804)">
|
||
|
|
<circle
|
||
|
|
cx="55.440796"
|
||
|
|
cy="90.58149"
|
||
|
|
r="24.6"
|
||
|
|
id="circle3369-7-4-0"
|
||
|
|
style="opacity:0.13;fill:#cccccc;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-3"
|
||
|
|
style="fill:#cccccc;fill-opacity:1;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
|
||
|
|
</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-7-0-5-0"
|
||
|
|
transform="matrix(-0.12754656,-0.17624372,0.26450229,-0.14048564,195.26153,136.91117)"
|
||
|
|
inkscape:transform-center-x="-3.3023759"
|
||
|
|
inkscape:transform-center-y="-8.2931016">
|
||
|
|
<path
|
||
|
|
style="stroke-width:35.526"
|
||
|
|
inkscape:connector-curvature="0"
|
||
|
|
id="path1478-7-9-8-5-1-6-2-1-3-4-3-5-4"
|
||
|
|
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-5-9-8-6"
|
||
|
|
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-9-8-7-9"
|
||
|
|
transform="matrix(0.501908,0.501908,-0.501908,0.501908,224.93483,-67.439073)"
|
||
|
|
style="fill:#cccccc;fill-opacity:1">
|
||
|
|
<g
|
||
|
|
id="g2749-4-6-4"
|
||
|
|
style="fill:#cccccc;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-78"
|
||
|
|
style="opacity:0.13;fill:#cccccc;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-4"
|
||
|
|
style="fill:#cccccc;fill-opacity:1;stroke:#666666;stroke-width:6;stroke-miterlimit:10" />
|
||
|
|
</g>
|
||
|
|
</g>
|
||
|
|
</svg>
|