mirror of
https://github.com/abuseofnotation/category-theory-illustrated.git
synced 2024-09-11 17:08:54 +03:00
106 lines
2.5 KiB
XML
106 lines
2.5 KiB
XML
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
||
|
|
<svg
|
||
|
|
viewBox="0 0 595.3 359"
|
||
|
|
version="1.1"
|
||
|
|
id="svg9"
|
||
|
|
sodipodi:docname="sets.svg"
|
||
|
|
inkscape:version="1.3 (1:1.3+202307231459+0e150ed6c4)"
|
||
|
|
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">
|
||
|
|
<defs
|
||
|
|
id="defs9" />
|
||
|
|
<sodipodi:namedview
|
||
|
|
id="namedview9"
|
||
|
|
pagecolor="#ffffff"
|
||
|
|
bordercolor="#666666"
|
||
|
|
borderopacity="1.0"
|
||
|
|
inkscape:showpageshadow="2"
|
||
|
|
inkscape:pageopacity="0.0"
|
||
|
|
inkscape:pagecheckerboard="0"
|
||
|
|
inkscape:deskcolor="#d1d1d1"
|
||
|
|
showgrid="false"
|
||
|
|
inkscape:zoom="0.7357635"
|
||
|
|
inkscape:cx="297.64999"
|
||
|
|
inkscape:cy="180.08504"
|
||
|
|
inkscape:window-width="1080"
|
||
|
|
inkscape:window-height="1864"
|
||
|
|
inkscape:window-x="0"
|
||
|
|
inkscape:window-y="0"
|
||
|
|
inkscape:window-maximized="1"
|
||
|
|
inkscape:current-layer="svg9" />
|
||
|
|
<switch
|
||
|
|
id="switch9">
|
||
|
|
<g
|
||
|
|
id="g9">
|
||
|
|
<g
|
||
|
|
stroke-width="6"
|
||
|
|
stroke-miterlimit="10"
|
||
|
|
id="g2">
|
||
|
|
<circle
|
||
|
|
opacity=".14"
|
||
|
|
stroke="#000"
|
||
|
|
cx="265.4"
|
||
|
|
cy="214.7"
|
||
|
|
r="114.6"
|
||
|
|
id="circle1" />
|
||
|
|
<circle
|
||
|
|
fill="#E9E5CC"
|
||
|
|
stroke="#808285"
|
||
|
|
cx="256.4"
|
||
|
|
cy="208.1"
|
||
|
|
r="113.5"
|
||
|
|
id="circle2" />
|
||
|
|
</g>
|
||
|
|
<g
|
||
|
|
stroke-width="6"
|
||
|
|
stroke-miterlimit="10"
|
||
|
|
id="g8">
|
||
|
|
<circle
|
||
|
|
fill="#FCE600"
|
||
|
|
stroke="#FD0"
|
||
|
|
cx="261.2"
|
||
|
|
cy="257.4"
|
||
|
|
r="24.6"
|
||
|
|
id="circle3" />
|
||
|
|
<circle
|
||
|
|
fill="#39BCED"
|
||
|
|
stroke="#008DD2"
|
||
|
|
cx="244.8"
|
||
|
|
cy="53.9"
|
||
|
|
r="24.6"
|
||
|
|
id="circle4" />
|
||
|
|
<circle
|
||
|
|
fill="#D71920"
|
||
|
|
stroke="#BE1E2D"
|
||
|
|
cx="220.2"
|
||
|
|
cy="149.1"
|
||
|
|
r="24.6"
|
||
|
|
id="circle5" />
|
||
|
|
<circle
|
||
|
|
fill="#F58235"
|
||
|
|
stroke="#E76524"
|
||
|
|
cx="322.3"
|
||
|
|
cy="214.7"
|
||
|
|
r="24.6"
|
||
|
|
id="circle6" />
|
||
|
|
<circle
|
||
|
|
fill="#8967AC"
|
||
|
|
stroke="#651C5F"
|
||
|
|
cx="420"
|
||
|
|
cy="224.5"
|
||
|
|
r="24.6"
|
||
|
|
id="circle7" />
|
||
|
|
<circle
|
||
|
|
fill="#54B948"
|
||
|
|
stroke="#00873A"
|
||
|
|
cx="365.4"
|
||
|
|
cy="103.1"
|
||
|
|
r="24.6"
|
||
|
|
id="circle8" />
|
||
|
|
</g>
|
||
|
|
</g>
|
||
|
|
</switch>
|
||
|
|
</svg>
|