mirror of
https://github.com/abuseofnotation/category-theory-illustrated.git
synced 2024-09-11 17:08:54 +03:00
170 lines
6.0 KiB
XML
170 lines
6.0 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
||
<svg
|
||
viewBox="0 0 595.3 300"
|
||
version="1.1"
|
||
id="svg9"
|
||
sodipodi:docname="int_nat_type.svg"
|
||
inkscape:version="1.3 (1:1.3+202307231459+0e150ed6c4)"
|
||
width="595.29999"
|
||
height="300"
|
||
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.79127337"
|
||
inkscape:cx="218.63493"
|
||
inkscape:cy="360.81083"
|
||
inkscape:window-width="1080"
|
||
inkscape:window-height="1864"
|
||
inkscape:window-x="0"
|
||
inkscape:window-y="0"
|
||
inkscape:window-maximized="1"
|
||
inkscape:current-layer="svg9" />
|
||
<circle
|
||
fill="#ffffff"
|
||
stroke="#939598"
|
||
stroke-width="6"
|
||
stroke-miterlimit="10"
|
||
cx="255.50369"
|
||
cy="-90.912781"
|
||
r="24.6"
|
||
id="circle9-5" />
|
||
<circle
|
||
opacity="0.14"
|
||
stroke="#000000"
|
||
cx="426.80408"
|
||
cy="146.5955"
|
||
r="128.93355"
|
||
id="circle1"
|
||
style="stroke-width:6.75045;stroke-miterlimit:10" />
|
||
<circle
|
||
fill="#e9e5cc"
|
||
stroke="#808285"
|
||
cx="416.67841"
|
||
cy="139.17003"
|
||
r="127.69597"
|
||
id="circle2"
|
||
style="stroke-width:6.75045;stroke-miterlimit:10;fill:#e2e3db" />
|
||
<circle
|
||
opacity="0.14"
|
||
stroke="#000000"
|
||
cx="136.57906"
|
||
cy="153.5271"
|
||
r="95.558693"
|
||
id="circle1-3"
|
||
style="stroke-width:5.00307;stroke-miterlimit:10" />
|
||
<circle
|
||
fill="#e9e5cc"
|
||
stroke="#808285"
|
||
cx="129.07445"
|
||
cy="148.02374"
|
||
r="94.641464"
|
||
id="circle2-6"
|
||
style="stroke-width:5.00307;stroke-miterlimit:10" />
|
||
<circle
|
||
fill="#ffffff"
|
||
stroke="#939598"
|
||
stroke-width="6"
|
||
stroke-miterlimit="10"
|
||
cx="300.01419"
|
||
cy="-144.41519"
|
||
r="24.6"
|
||
id="circle5-3" />
|
||
<path
|
||
fill="#808285"
|
||
d="m 309.21418,-145.01519 c 0,4.1 -0.7,7.1 -2.1,9.1 -1.4,1.9 -3.5,2.9 -6.3,2.9 -2.8,0 -4.9,-1 -6.3,-3 -1.4,-2 -2.1,-5 -2.1,-8.9 0,-4.1 0.7,-7.2 2.1,-9.1 1.4,-1.9 3.5,-2.9 6.3,-2.9 2.8,0 4.9,1 6.3,3 1.4,1.9 2.1,4.9 2.1,8.9 z m -10.6,0 c 0,2.6 0.2,4.5 0.5,5.4 0.3,1 0.9,1.5 1.7,1.5 0.8,0 1.3,-0.5 1.7,-1.5 0.3,-1 0.5,-2.8 0.5,-5.4 0,-2.6 -0.2,-4.4 -0.5,-5.4 -0.3,-1 -0.9,-1.6 -1.7,-1.6 -0.8,0 -1.3,0.5 -1.7,1.5 -0.3,1 -0.5,2.9 -0.5,5.5 z"
|
||
id="path5" />
|
||
<path
|
||
fill="#808285"
|
||
d="m 260.91418,-81.415186 h -6.4 v -12.3 c 0,-1.5 0,-2.9 0.1,-4.1 -0.4,0.5 -0.9,1 -1.5,1.5 l -2.6,2.2 -3.3,-4 8,-6.500004 h 5.7 z"
|
||
id="path6" />
|
||
<circle
|
||
fill="#ffffff"
|
||
stroke="#939598"
|
||
stroke-width="6"
|
||
stroke-miterlimit="10"
|
||
cx="374.81418"
|
||
cy="-90.515182"
|
||
r="24.6"
|
||
id="circle7-6" />
|
||
<path
|
||
fill="#808285"
|
||
d="m 382.91418,-80.415186 h -16.9 v -4.1 l 5.7,-5.8 c 1.6,-1.7 2.7,-2.9 3.2,-3.5 0.5,-0.6 0.8,-1.2 1,-1.6 0.2,-0.4 0.3,-0.9 0.3,-1.4 0,-0.6 -0.2,-1.1 -0.6,-1.4 -0.4,-0.4 -0.9,-0.5 -1.7,-0.5 -0.7,0 -1.5,0.2 -2.2,0.6 -0.7,0.4 -1.6,1 -2.5,1.9 l -3.5,-4.100004 c 1.2,-1.1 2.2,-1.8 3,-2.3 0.8,-0.5 1.7,-0.8 2.7,-1.1 1,-0.3 2,-0.4 3.2,-0.4 1.5,0 2.9,0.3 4,0.8 1.1,0.5 2.1,1.3 2.8,2.3 0.7,1 1,2.100004 1,3.300004 0,0.9 -0.1,1.8 -0.3,2.5 -0.2,0.8 -0.6,1.5 -1.1,2.3 -0.5,0.8 -1.1,1.5 -1.9,2.4 -0.8,0.8 -2.5,2.4 -5.1,4.7 v 0.2 h 8.8 v 5.2 z"
|
||
id="path7" />
|
||
<circle
|
||
fill="#ffffff"
|
||
stroke="#939598"
|
||
stroke-width="6"
|
||
stroke-miterlimit="10"
|
||
cx="360.01419"
|
||
cy="-11.91519"
|
||
r="24.6"
|
||
id="circle8-7" />
|
||
<path
|
||
fill="#808285"
|
||
d="m 367.31418,-20.115186 c 0,1.4 -0.4,2.7 -1.3,3.7 -0.9,1 -2.2,1.8 -3.8,2.3 v 0.1 c 3.9,0.5 5.8,2.3 5.8,5.4999996 0,2.2 -0.9,3.9 -2.6,5.1 -1.7,1.2 -4.1,1.9 -7.2,1.9 -1.3,0 -2.4,-0.1 -3.5,-0.3 -1.1,-0.2 -2.2,-0.5 -3.5,-1 v -5.2 c 1,0.5 2.1,0.9 3.1,1.2 1,0.3 2,0.4 2.9,0.4 1.4,0 2.4,-0.2 3,-0.6 0.6,-0.4 0.9,-1 0.9,-1.8 0,-0.6 -0.2,-1.1 -0.5,-1.4999996 -0.3,-0.4 -0.9,-0.6 -1.6,-0.8 -0.7,-0.2 -1.7,-0.3 -2.9,-0.3 h -1.4 v -4.7 h 1.5 c 3.2,0 4.8,-0.8 4.8,-2.5 0,-0.6 -0.2,-1.1 -0.7,-1.4 -0.5,-0.3 -1.1,-0.4 -1.9,-0.4 -1.5,0 -3,0.5 -4.6,1.5 l -2.6,-4.2 c 1.2,-0.9 2.5,-1.5 3.8,-1.8 1.3,-0.4 2.8,-0.5 4.4,-0.5 2.4,0 4.3,0.5 5.7,1.4 1.5,0.9 2.2,2.2 2.2,3.9 z"
|
||
id="path8" />
|
||
<circle
|
||
fill="#ffffff"
|
||
stroke="#939598"
|
||
stroke-width="6"
|
||
stroke-miterlimit="10"
|
||
cx="263.71417"
|
||
cy="-9.2151928"
|
||
r="24.6"
|
||
id="circle9" />
|
||
<path
|
||
fill="#808285"
|
||
d="m 272.51418,-3.6151864 h -2.6 v 4.49999997 h -6.2 V -3.6151864 h -9.3 v -4.6 l 9.7,-14.1999996 h 5.8 v 14.0999996 h 2.6 z m -8.8,-4.7 v -2.6999996 c 0,-0.5 0,-1.2 0.1,-2.1 0,-0.9 0.1,-1.3 0.1,-1.4 h -0.2 c -0.4,0.8 -0.8,1.6 -1.2,2.3 l -2.6,3.7999996 h 3.8 z"
|
||
id="path9" />
|
||
<circle
|
||
fill="#ffffff"
|
||
stroke="#939598"
|
||
stroke-width="6"
|
||
stroke-miterlimit="10"
|
||
cx="90.21418"
|
||
cy="-72.015182"
|
||
r="24.6"
|
||
id="circle10" />
|
||
<g
|
||
fill="#808285"
|
||
id="g11"
|
||
transform="translate(-115.68582,-225.11519)">
|
||
<path
|
||
d="m 192.1,156.9 v -5 h 9 v 5 z m 24.7,6.3 h -6.4 v -12.3 c 0,-1.5 0,-2.9 0.1,-4.1 -0.4,0.5 -0.9,1 -1.5,1.5 l -2.6,2.2 -3.3,-4 8,-6.5 h 5.7 z"
|
||
id="path11" />
|
||
</g>
|
||
<text
|
||
xml:space="preserve"
|
||
style="font-size:40px;line-height:1.25;font-family:'Mell Display 0.6';-inkscape-font-specification:'Mell Display 0.6, ';word-spacing:0px"
|
||
x="172.46959"
|
||
y="-114.79131"
|
||
id="text1"><tspan
|
||
sodipodi:role="line"
|
||
id="tspan1"
|
||
x="172.46959"
|
||
y="-114.79131">ℤ</tspan></text>
|
||
<text
|
||
xml:space="preserve"
|
||
style="font-size:40px;line-height:1.25;font-family:'Mell Display 0.6';-inkscape-font-specification:'Mell Display 0.6, ';word-spacing:0px"
|
||
x="82.927071"
|
||
y="-129.36371"
|
||
id="text2"><tspan
|
||
sodipodi:role="line"
|
||
id="tspan2"
|
||
x="82.927071"
|
||
y="-129.36371">ℕ</tspan></text>
|
||
</svg>
|