mirror of
https://github.com/abuseofnotation/category-theory-illustrated.git
synced 2024-09-11 17:08:54 +03:00
305 lines
14 KiB
XML
305 lines
14 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<svg
|
|
viewBox="0 0 595.3 189.5"
|
|
version="1.1"
|
|
id="svg15613"
|
|
sodipodi:docname="product_set.svg"
|
|
inkscape:version="1.2.2 (1:1.2.2+202212051552+b0a8486541)"
|
|
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
|
|
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
|
|
xmlns="http://www.w3.org/2000/svg"
|
|
xmlns:svg="http://www.w3.org/2000/svg"
|
|
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
|
|
xmlns:cc="http://creativecommons.org/ns#"
|
|
xmlns:dc="http://purl.org/dc/elements/1.1/">
|
|
<metadata
|
|
id="metadata15619">
|
|
<rdf:RDF>
|
|
<cc:Work
|
|
rdf:about="">
|
|
<dc:format>image/svg+xml</dc:format>
|
|
<dc:type
|
|
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
|
|
</cc:Work>
|
|
</rdf:RDF>
|
|
</metadata>
|
|
<defs
|
|
id="defs15617" />
|
|
<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="1024"
|
|
id="namedview15615"
|
|
showgrid="false"
|
|
inkscape:zoom="2.6170507"
|
|
inkscape:cx="238.81845"
|
|
inkscape:cy="123.80349"
|
|
inkscape:window-x="0"
|
|
inkscape:window-y="0"
|
|
inkscape:window-maximized="1"
|
|
inkscape:current-layer="svg15613"
|
|
inkscape:showpageshadow="2"
|
|
inkscape:pagecheckerboard="0"
|
|
inkscape:deskcolor="#d1d1d1" />
|
|
<g
|
|
id="g42748"
|
|
transform="matrix(1.8064408,-0.18998633,0.18891275,1.7424528,-330.75204,148.75635)" />
|
|
<g
|
|
id="g42748-8"
|
|
transform="matrix(1.8064408,-0.18998633,0.18891275,1.7424528,96.344053,109.32562)" />
|
|
<g
|
|
id="g42748-3"
|
|
transform="matrix(1.8064408,-0.18998633,0.18891275,1.7424528,-426.34254,-30.478175)" />
|
|
<g
|
|
id="g42748-8-7"
|
|
transform="matrix(1.8064408,-0.18998633,0.18891275,1.7424528,0.75353121,-69.908903)" />
|
|
<ellipse
|
|
style="fill:#e6e7e8;stroke:#bbbcbe;stroke-width:0;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-4-6-1"
|
|
cy="122.63211"
|
|
cx="293.5394"
|
|
transform="matrix(0.99480921,-0.10175774,0.11080699,0.99384194,0,0)"
|
|
rx="97.769707"
|
|
ry="93.323944" />
|
|
<g
|
|
id="g22110"
|
|
transform="matrix(0.74973096,0,0,0.74973096,83.185131,-148.81291)">
|
|
<g
|
|
id="g16126-2-7-1-6"
|
|
transform="matrix(2.7210883,-0.31550515,0.31550515,2.7210883,-249.93277,163.80122)"
|
|
inkscape:transform-center-x="-1.7534042"
|
|
inkscape:transform-center-y="7.747707"
|
|
style="fill:#000000;fill-opacity:1;stroke-width:0.890368;stroke-dasharray:none">
|
|
<ellipse
|
|
ry="11.964526"
|
|
rx="12.399649"
|
|
transform="matrix(0.99721659,-0.07455915,0.0777593,0.99697216,0,0)"
|
|
style="opacity:0.203;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.89037;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-6-28-8-06-1"
|
|
cy="76.348717"
|
|
cx="173.35909" />
|
|
<ellipse
|
|
ry="11.964526"
|
|
rx="12.399649"
|
|
transform="matrix(0.99721659,-0.07455915,0.0777593,0.99697216,0,0)"
|
|
style="fill:#ffffff;fill-opacity:1;stroke:#bbbcbe;stroke-width:0.89037;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-9-4-32-5"
|
|
cy="73.518608"
|
|
cx="172.10857" />
|
|
</g>
|
|
<g
|
|
id="g16126-2"
|
|
transform="matrix(1.3429807,-0.15571613,0.15571613,1.3429807,32.435996,270.30315)"
|
|
inkscape:transform-center-x="-0.86538355"
|
|
inkscape:transform-center-y="3.8238437">
|
|
<ellipse
|
|
ry="11.964526"
|
|
rx="12.399649"
|
|
transform="matrix(0.99721659,-0.07455915,0.0777593,0.99697216,0,0)"
|
|
style="fill:#e6e7e8;stroke:#bbbcbe;stroke-width:2.21405;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-9"
|
|
cy="35.279018"
|
|
cx="171.4617" />
|
|
</g>
|
|
<g
|
|
id="g16126-2-7"
|
|
transform="matrix(1.3429807,-0.15571613,0.15571613,1.3429807,-17.352618,119.10263)"
|
|
inkscape:transform-center-x="-0.86537927"
|
|
inkscape:transform-center-y="3.8238434"
|
|
style="fill:#000000;fill-opacity:1">
|
|
<g
|
|
id="g21847"
|
|
transform="translate(14.664614,100.86343)">
|
|
<ellipse
|
|
ry="11.964526"
|
|
rx="12.399649"
|
|
transform="matrix(0.99721659,-0.07455915,0.0777593,0.99697216,0,0)"
|
|
style="fill:#ffffff;fill-opacity:1;stroke:#bbbcbe;stroke-width:2.21405;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-9-4"
|
|
cy="45.03503"
|
|
cx="154.82559" />
|
|
<path
|
|
fill="#808285"
|
|
d="m 160.16385,39.610842 -3.45322,-0.295187 0.56732,-6.636634 c 0.0692,-0.809346 0.13375,-1.564735 0.24301,-2.207605 -0.2389,0.251334 -0.53175,0.498054 -0.87854,0.740162 l -1.50433,1.067121 -1.59608,-2.310462 4.61631,-3.13818 3.07552,0.262902 z"
|
|
id="path12009"
|
|
style="stroke-width:0.541531" />
|
|
</g>
|
|
</g>
|
|
</g>
|
|
<g
|
|
id="g22140"
|
|
transform="matrix(0.74973096,0,0,0.74973096,65.831618,-141.89901)">
|
|
<ellipse
|
|
ry="32.774647"
|
|
rx="33.966583"
|
|
transform="matrix(0.98199269,-0.1889189,0.1920696,0.98138131,0,0)"
|
|
style="opacity:0.203;fill:#000000;fill-opacity:1;stroke:none;stroke-width:2.43901;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-6-28-8-06-1-7"
|
|
cy="325.43878"
|
|
cx="313.86319" />
|
|
<ellipse
|
|
ry="32.774647"
|
|
rx="33.966583"
|
|
transform="matrix(0.98199269,-0.1889189,0.1920696,0.98138131,0,0)"
|
|
style="fill:#ffffff;fill-opacity:1;stroke:#bbbcbe;stroke-width:2.43901;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-9-4-32-5-6"
|
|
cy="317.68619"
|
|
cx="310.43762" />
|
|
<g
|
|
id="g16126-2-5"
|
|
transform="matrix(1.3429807,-0.15571613,0.15571613,1.3429807,146.58262,251.0522)"
|
|
inkscape:transform-center-x="-0.86538355"
|
|
inkscape:transform-center-y="3.8238437">
|
|
<ellipse
|
|
ry="11.964526"
|
|
rx="12.399649"
|
|
transform="matrix(0.99721659,-0.07455915,0.0777593,0.99697216,0,0)"
|
|
style="fill:#e6e7e8;stroke:#bbbcbe;stroke-width:2.21405;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-9-6"
|
|
cy="35.279018"
|
|
cx="171.4617" />
|
|
</g>
|
|
<g
|
|
id="g16126-2-7-5"
|
|
transform="matrix(1.3429807,-0.15571613,0.15571613,1.3429807,102.42212,200.0054)"
|
|
inkscape:transform-center-x="-0.8653801"
|
|
inkscape:transform-center-y="3.8238434"
|
|
style="fill:#000000;fill-opacity:1">
|
|
<ellipse
|
|
ry="11.964526"
|
|
rx="12.399649"
|
|
transform="matrix(0.99721659,-0.07455915,0.0777593,0.99697216,0,0)"
|
|
style="fill:#ffffff;fill-opacity:1;stroke:#bbbcbe;stroke-width:2.21405;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-9-4-3"
|
|
cy="73.518608"
|
|
cx="172.10857" />
|
|
<path
|
|
fill="#808285"
|
|
d="m 182.04407,67.08842 -9.37018,-0.800982 0.19432,-2.273238 3.43525,-2.945649 c 0.96769,-0.86673 1.63446,-1.479933 1.94012,-1.788904 0.30566,-0.308972 0.50044,-0.627422 0.63029,-0.839722 0.12984,-0.2123 0.20898,-0.484785 0.23268,-0.76201 0.0284,-0.332668 -0.0588,-0.619372 -0.26631,-0.804664 -0.20282,-0.240738 -0.47531,-0.319881 -0.91887,-0.357797 -0.38811,-0.03318 -0.84115,0.0398 -1.24822,0.2284 -0.40708,0.188602 -0.93452,0.478615 -1.47617,0.934963 l -1.74625,-2.439122 c 0.71747,-0.553019 1.30509,-0.893738 1.77235,-1.133045 0.46726,-0.239308 0.98048,-0.362987 1.54915,-0.481926 0.56867,-0.11894 1.12785,-0.126989 1.79319,-0.07011 0.83167,0.07109 1.59368,0.303781 2.17988,0.63314 0.58619,0.329359 1.10273,0.820313 1.44344,1.407938 0.34072,0.587625 0.45492,1.211737 0.39805,1.877075 -0.0427,0.499004 -0.14076,0.993267 -0.28483,1.371903 -0.1488,0.434079 -0.40376,0.803235 -0.7189,1.223096 -0.31514,0.419861 -0.68098,0.779538 -1.1672,1.240625 -0.48147,0.405642 -1.49987,1.21219 -3.05044,2.364193 l -0.009,0.11089 4.87914,0.417079 -0.24645,2.883131 z"
|
|
id="path12021"
|
|
style="stroke-width:0.55647" />
|
|
</g>
|
|
</g>
|
|
<g
|
|
id="g22120"
|
|
transform="matrix(0.74973096,0,0,0.74973096,9.369262,-109.37006)">
|
|
<g
|
|
id="g16126-2-7-1-6-5"
|
|
transform="matrix(2.7210883,-0.31550515,0.31550515,2.7210883,-151.68119,214.18784)"
|
|
inkscape:transform-center-x="-1.7534042"
|
|
inkscape:transform-center-y="7.747707"
|
|
style="fill:#000000;fill-opacity:1;stroke-width:0.890368;stroke-dasharray:none">
|
|
<ellipse
|
|
ry="11.964526"
|
|
rx="12.399649"
|
|
transform="matrix(0.99721659,-0.07455915,0.0777593,0.99697216,0,0)"
|
|
style="opacity:0.203;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.89037;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-6-28-8-06-1-2"
|
|
cy="76.348717"
|
|
cx="173.35909" />
|
|
<ellipse
|
|
ry="11.964526"
|
|
rx="12.399649"
|
|
transform="matrix(0.99721659,-0.07455915,0.0777593,0.99697216,0,0)"
|
|
style="fill:#ffffff;fill-opacity:1;stroke:#bbbcbe;stroke-width:0.89037;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-9-4-32-5-5"
|
|
cy="73.518608"
|
|
cx="172.10857" />
|
|
</g>
|
|
<g
|
|
id="g16126-2-7-4"
|
|
transform="matrix(1.3429807,-0.15571613,0.15571613,1.3429807,80.898965,169.48925)"
|
|
inkscape:transform-center-x="-0.86537927"
|
|
inkscape:transform-center-y="3.8238434"
|
|
style="fill:#000000;fill-opacity:1">
|
|
<g
|
|
id="g21847-4"
|
|
transform="translate(14.664614,100.86343)">
|
|
<ellipse
|
|
ry="11.964526"
|
|
rx="12.399649"
|
|
transform="matrix(0.99721659,-0.07455915,0.0777593,0.99697216,0,0)"
|
|
style="fill:#ffffff;fill-opacity:1;stroke:#bbbcbe;stroke-width:2.21405;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-9-4-30"
|
|
cy="45.03503"
|
|
cx="154.82559" />
|
|
<path
|
|
fill="#808285"
|
|
d="m 160.16385,39.610842 -3.45322,-0.295187 0.56732,-6.636634 c 0.0692,-0.809346 0.13375,-1.564735 0.24301,-2.207605 -0.2389,0.251334 -0.53175,0.498054 -0.87854,0.740162 l -1.50433,1.067121 -1.59608,-2.310462 4.61631,-3.13818 3.07552,0.262902 z"
|
|
id="path12009-7"
|
|
style="stroke-width:0.541531" />
|
|
</g>
|
|
</g>
|
|
<ellipse
|
|
ry="15.883503"
|
|
rx="16.461149"
|
|
transform="matrix(-0.10421827,-0.99455445,0.99421484,-0.10740972,0,0)"
|
|
style="fill:#fce600;fill-opacity:1;stroke:#ffcc00;stroke-width:2.26678;stroke-miterlimit:10;stroke-opacity:1"
|
|
id="circle15605-9-9"
|
|
cy="331.84833"
|
|
cx="-361.1647" />
|
|
</g>
|
|
<g
|
|
id="g22129"
|
|
transform="matrix(0.74973096,0,0,0.74973096,-8.322411,-99.675654)">
|
|
<g
|
|
id="g16126-2-7-1-6-4-8"
|
|
transform="matrix(2.7210883,-0.31550515,0.31550515,2.7210883,-37.534557,194.93688)"
|
|
inkscape:transform-center-x="-1.7534042"
|
|
inkscape:transform-center-y="7.747707"
|
|
style="fill:#000000;fill-opacity:1;stroke-width:0.890368;stroke-dasharray:none">
|
|
<ellipse
|
|
ry="11.964526"
|
|
rx="12.399649"
|
|
transform="matrix(0.99721659,-0.07455915,0.0777593,0.99697216,0,0)"
|
|
style="opacity:0.203;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.89037;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-6-28-8-06-1-7-6"
|
|
cy="76.348717"
|
|
cx="173.35909" />
|
|
<ellipse
|
|
ry="11.964526"
|
|
rx="12.399649"
|
|
transform="matrix(0.99721659,-0.07455915,0.0777593,0.99697216,0,0)"
|
|
style="fill:#ffffff;fill-opacity:1;stroke:#bbbcbe;stroke-width:0.89037;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-9-4-32-5-6-8"
|
|
cy="73.518608"
|
|
cx="172.10857" />
|
|
</g>
|
|
<g
|
|
id="g16126-2-7-5-3"
|
|
transform="matrix(1.3429807,-0.15571613,0.15571613,1.3429807,200.6737,250.39202)"
|
|
inkscape:transform-center-x="-0.8653801"
|
|
inkscape:transform-center-y="3.8238434"
|
|
style="fill:#000000;fill-opacity:1">
|
|
<ellipse
|
|
ry="11.964526"
|
|
rx="12.399649"
|
|
transform="matrix(0.99721659,-0.07455915,0.0777593,0.99697216,0,0)"
|
|
style="fill:#ffffff;fill-opacity:1;stroke:#bbbcbe;stroke-width:2.21405;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
|
|
id="circle15601-9-4-9-4-3-1"
|
|
cy="73.518608"
|
|
cx="172.10857" />
|
|
<path
|
|
fill="#808285"
|
|
d="m 182.04407,67.08842 -9.37018,-0.800982 0.19432,-2.273238 3.43525,-2.945649 c 0.96769,-0.86673 1.63446,-1.479933 1.94012,-1.788904 0.30566,-0.308972 0.50044,-0.627422 0.63029,-0.839722 0.12984,-0.2123 0.20898,-0.484785 0.23268,-0.76201 0.0284,-0.332668 -0.0588,-0.619372 -0.26631,-0.804664 -0.20282,-0.240738 -0.47531,-0.319881 -0.91887,-0.357797 -0.38811,-0.03318 -0.84115,0.0398 -1.24822,0.2284 -0.40708,0.188602 -0.93452,0.478615 -1.47617,0.934963 l -1.74625,-2.439122 c 0.71747,-0.553019 1.30509,-0.893738 1.77235,-1.133045 0.46726,-0.239308 0.98048,-0.362987 1.54915,-0.481926 0.56867,-0.11894 1.12785,-0.126989 1.79319,-0.07011 0.83167,0.07109 1.59368,0.303781 2.17988,0.63314 0.58619,0.329359 1.10273,0.820313 1.44344,1.407938 0.34072,0.587625 0.45492,1.211737 0.39805,1.877075 -0.0427,0.499004 -0.14076,0.993267 -0.28483,1.371903 -0.1488,0.434079 -0.40376,0.803235 -0.7189,1.223096 -0.31514,0.419861 -0.68098,0.779538 -1.1672,1.240625 -0.48147,0.405642 -1.49987,1.21219 -3.05044,2.364193 l -0.009,0.11089 4.87914,0.417079 -0.24645,2.883131 z"
|
|
id="path12021-4"
|
|
style="stroke-width:0.55647" />
|
|
</g>
|
|
<ellipse
|
|
ry="15.883503"
|
|
rx="16.461149"
|
|
transform="matrix(-0.10421827,-0.99455445,0.99421484,-0.10740972,0,0)"
|
|
style="fill:#fce600;fill-opacity:1;stroke:#ffcc00;stroke-width:2.26678;stroke-miterlimit:10;stroke-opacity:1"
|
|
id="circle15605-9-9-2"
|
|
cy="447.02319"
|
|
cx="-353.06204" />
|
|
</g>
|
|
</svg>
|