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/06_type/set_contains_itself.svg
Boris Marinov 55883b12bd stuff
2024-03-05 20:49:44 +02:00

261 lines
7.7 KiB
XML
Raw Permalink Blame History

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