category-theory-illustrated/_chapters/06_type/int_nat_type.svg.2023_11_22_14_29_41.0.svg

<?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>