Functions: Diagrammatic Mapping and Types

Apuntes

```svg <svg width="200" height="200" xmlns="http://www.w3.org/2000/svg"> <!-- First diagram --> <ellipse cx="50" cy="50" rx="20" ry="40" style="fill:none;stroke:black;stroke-width:1" /> <ellipse cx="150" cy="50" rx="20" ry="40" style="fill:none;stroke:black;stroke-width:1" /> <text x="45" y="30" font-family="Arial" font-size="12">X</text> <text x="145" y="30" font-family="Arial" font-size="12">Y</text> <text x="45" y="50" font-family="Arial" font-size="12">2</text> <text x="45" y="70" font-family="Arial" font-size="12">3</text> <text x="145" y="50" font-family="Arial" font-size="12">b</text> <text x="145" y="70" font-family="Arial" font-size="12">c</text> <line x1="50" y1="50" x2="150" y2="50" style="stroke:black;stroke-width:1" /> <line x1="50" y1="70" x2="150" y2="70" style="stroke:black;stroke-width:1" /> <!-- Second diagram --> <ellipse cx="50" cy="150" rx="20" ry="40" style="fill:none;stroke:black;stroke-width:1" /> <ellipse cx="150" cy="150" rx="20" ry="40" style="fill:none;stroke:black;stroke-width:1" /> <text x="45" y="130" font-family="Arial" font-size="12">X</text> <text x="145" y="130" font-family="Arial" font-size="12">Y</text> <text x="4...