abuseofnotation/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/abuseofnotation/category-theory-illustrated.git synced 2024-09-11 17:08:54 +03:00
Code Issues Packages Projects Releases Wiki Activity
master
category-theory-illustrated/_chapters/11_natural_transformations/product_set.svg
Boris Marinov f2d79ad574 stuff
2023-09-14 10:40:02 +03:00

305 lines
14 KiB
XML
Raw Permalink Blame History

<?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>
Reference in New Issue View Git Blame Copy Permalink