mirror of
https://github.com/abuseofnotation/category-theory-illustrated.git
synced 2024-09-11 17:08:54 +03:00
261 lines
7.7 KiB
XML
261 lines
7.7 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 432.9"
|
|
version="1.1"
|
|
id="svg7816"
|
|
sodipodi:docname="set_contains_itself.svg"
|
|
inkscape:version="0.92.4 (5da689c313, 2019-01-14)">
|
|
<metadata
|
|
id="metadata7822">
|
|
<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="defs7820" />
|
|
<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="1057"
|
|
id="namedview7818"
|
|
showgrid="false"
|
|
inkscape:zoom="1"
|
|
inkscape:cx="339.26542"
|
|
inkscape:cy="186.6675"
|
|
inkscape:window-x="-8"
|
|
inkscape:window-y="-8"
|
|
inkscape:window-maximized="1"
|
|
inkscape:current-layer="svg7816"
|
|
inkscape:snap-global="false" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="310.18488"
|
|
cy="223.98688"
|
|
r="169.69373"
|
|
id="circle7764"
|
|
style="opacity:0.13999999;stroke:#000000;stroke-width:6;stroke-miterlimit:10;stroke-dasharray:none" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="293.36841"
|
|
cy="213.28549"
|
|
r="169.69373"
|
|
id="circle7766"
|
|
style="fill:#f8f6c1;stroke:#808285;stroke-width:6;stroke-miterlimit:10;stroke-dasharray:none" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="252.09149"
|
|
cy="313.67484"
|
|
r="27.008314"
|
|
id="circle7800"
|
|
style="fill:#fce600;stroke:#ffdd00;stroke-width:6;stroke-miterlimit:10;stroke-dasharray:none" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="261.26416"
|
|
cy="112.6413"
|
|
r="27.008314"
|
|
id="circle7802"
|
|
style="fill:#39bced;stroke:#008dd2;stroke-width:6;stroke-miterlimit:10;stroke-dasharray:none" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="366.49469"
|
|
cy="144.23593"
|
|
r="27.008314"
|
|
id="circle7804"
|
|
style="fill:#54b948;stroke:#00873a;stroke-width:6;stroke-miterlimit:10;stroke-dasharray:none" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="218.71332"
|
|
cy="232.6499"
|
|
r="27.008314"
|
|
id="circle7806"
|
|
style="fill:#d71920;stroke:#be1e2d;stroke-width:6;stroke-miterlimit:10;stroke-dasharray:none" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="359.34811"
|
|
cy="261.84"
|
|
r="66.599998"
|
|
id="circle7764-0"
|
|
style="opacity:0.13999999;stroke:#000000;stroke-width:6;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="352.74811"
|
|
cy="257.64001"
|
|
r="66.599998"
|
|
id="circle7766-2"
|
|
style="fill:#f8f6c1;stroke:#808285;stroke-width:6;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="336.5481"
|
|
cy="297.04001"
|
|
r="10.6"
|
|
id="circle7800-8"
|
|
style="fill:#fce600;stroke:#ffdd00;stroke-width:6;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="340.1481"
|
|
cy="218.14"
|
|
r="10.6"
|
|
id="circle7802-8"
|
|
style="fill:#39bced;stroke:#008dd2;stroke-width:6;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="381.44812"
|
|
cy="230.53999"
|
|
r="10.6"
|
|
id="circle7804-1"
|
|
style="fill:#54b948;stroke:#00873a;stroke-width:6;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="323.44809"
|
|
cy="265.23999"
|
|
r="10.6"
|
|
id="circle7806-3"
|
|
style="fill:#d71920;stroke:#be1e2d;stroke-width:6;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="377.58902"
|
|
cy="275.51328"
|
|
r="20.385567"
|
|
id="circle7764-0-2"
|
|
style="opacity:0.13999999;stroke:#000000;stroke-width:1.8365376;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="375.56882"
|
|
cy="274.22769"
|
|
r="20.385567"
|
|
id="circle7766-2-0"
|
|
style="fill:#f8f6c1;stroke:#808285;stroke-width:3;stroke-miterlimit:10;stroke-dasharray:none" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="370.61017"
|
|
cy="286.28763"
|
|
r="3.24455"
|
|
id="circle7800-8-1"
|
|
style="fill:#fce600;stroke:#ffdd00;stroke-width:1.8365376;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="371.71207"
|
|
cy="262.13715"
|
|
r="3.24455"
|
|
id="circle7802-8-4"
|
|
style="fill:#39bced;stroke:#008dd2;stroke-width:1.8365376;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="384.35358"
|
|
cy="265.93265"
|
|
r="3.24455"
|
|
id="circle7804-1-8"
|
|
style="fill:#54b948;stroke:#00873a;stroke-width:1.8365376;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="366.60037"
|
|
cy="276.55396"
|
|
r="3.24455"
|
|
id="circle7806-3-1"
|
|
style="fill:#d71920;stroke:#be1e2d;stroke-width:1.8365376;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="385.00928"
|
|
cy="280.49823"
|
|
r="7.0693583"
|
|
id="circle7764-0-2-4"
|
|
style="opacity:0.13999999;stroke:#000000;stroke-width:0.63687915;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="384.30869"
|
|
cy="280.0524"
|
|
r="7.0693583"
|
|
id="circle7766-2-0-0"
|
|
style="fill:#f8f6c1;stroke:#808285;stroke-width:2;stroke-miterlimit:10;stroke-dasharray:none" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="382.58911"
|
|
cy="284.23456"
|
|
r="1.1251533"
|
|
id="circle7800-8-1-9"
|
|
style="fill:#fce600;stroke:#ffdd00;stroke-width:0.63687915;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="382.97125"
|
|
cy="275.85962"
|
|
r="1.1251533"
|
|
id="circle7802-8-4-0"
|
|
style="fill:#39bced;stroke:#008dd2;stroke-width:0.63687915;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="387.3551"
|
|
cy="277.17581"
|
|
r="1.1251533"
|
|
id="circle7804-1-8-6"
|
|
style="fill:#54b948;stroke:#00873a;stroke-width:0.63687915;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="381.19861"
|
|
cy="280.8591"
|
|
r="1.1251533"
|
|
id="circle7806-3-1-2"
|
|
style="fill:#d71920;stroke:#be1e2d;stroke-width:0.63687915;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="387.1557"
|
|
cy="281.75592"
|
|
r="2.4034812"
|
|
id="circle7764-0-2-4-5"
|
|
style="opacity:0.13999999;stroke:#000000;stroke-width:0.21652985;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="386.91751"
|
|
cy="281.60434"
|
|
r="2.4034812"
|
|
id="circle7766-2-0-0-4"
|
|
style="fill:#f8f6c1;stroke:#808285;stroke-width:0.21652985;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="386.33289"
|
|
cy="283.02625"
|
|
r="0.38253611"
|
|
id="circle7800-8-1-9-4"
|
|
style="fill:#fce600;stroke:#ffdd00;stroke-width:0.21652985;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="386.4628"
|
|
cy="280.17886"
|
|
r="0.38253611"
|
|
id="circle7802-8-4-0-2"
|
|
style="fill:#39bced;stroke:#008dd2;stroke-width:0.21652985;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="387.95325"
|
|
cy="280.62634"
|
|
r="0.38253611"
|
|
id="circle7804-1-8-6-3"
|
|
style="fill:#54b948;stroke:#00873a;stroke-width:0.21652985;stroke-miterlimit:10" />
|
|
<circle
|
|
stroke-miterlimit="10"
|
|
cx="385.86014"
|
|
cy="281.87863"
|
|
r="0.38253611"
|
|
id="circle7806-3-1-2-3"
|
|
style="fill:#d71920;stroke:#be1e2d;stroke-width:0.21652985;stroke-miterlimit:10" />
|
|
</svg>
|