pictures/dependency-map.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.43.0 (0)
 -->
<!-- Title: dependencyMap Pages: 1 -->
<svg width="3999pt" height="1556pt"
 viewBox="0.00 0.00 3999.08 1556.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1552)">
<title>dependencyMap</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-1552 3995.08,-1552 3995.08,4 -4,4"/>
<!-- Algebra/Basic -->
<g id="node1" class="node">
<title>Algebra/Basic</title>
<ellipse fill="none" stroke="black" cx="1734.99" cy="-522" rx="74.99" ry="18"/>
<text text-anchor="middle" x="1734.99" y="-518.3" font-family="Times,serif" font-size="14.00">Algebra/Basic</text>
</g>
<!-- Algebra/Category -->
<g id="node2" class="node">
<title>Algebra/Category</title>
<ellipse fill="none" stroke="black" cx="1923.99" cy="-450" rx="92.08" ry="18"/>
<text text-anchor="middle" x="1923.99" y="-446.3" font-family="Times,serif" font-size="14.00">Algebra/Category</text>
</g>
<!-- Algebra/Basic&#45;&gt;Algebra/Category -->
<g id="edge1" class="edge">
<title>Algebra/Basic&#45;&gt;Algebra/Category</title>
<path fill="none" stroke="black" d="M1774.15,-506.5C1802.96,-495.83 1842.36,-481.23 1873.53,-469.69"/>
<polygon fill="black" stroke="black" points="1874.75,-472.97 1882.92,-466.21 1872.32,-466.4 1874.75,-472.97"/>
</g>
<!-- Algebra/Geometry -->
<g id="node3" class="node">
<title>Algebra/Geometry</title>
<ellipse fill="none" stroke="black" cx="1717.99" cy="-450" rx="95.58" ry="18"/>
<text text-anchor="middle" x="1717.99" y="-446.3" font-family="Times,serif" font-size="14.00">Algebra/Geometry</text>
</g>
<!-- Algebra/Basic&#45;&gt;Algebra/Geometry -->
<g id="edge2" class="edge">
<title>Algebra/Basic&#45;&gt;Algebra/Geometry</title>
<path fill="none" stroke="black" d="M1730.79,-503.7C1728.89,-495.9 1726.61,-486.51 1724.5,-477.83"/>
<polygon fill="black" stroke="black" points="1727.9,-477 1722.14,-468.1 1721.1,-478.65 1727.9,-477"/>
</g>
<!-- Algebra/Group/Basic -->
<g id="node4" class="node">
<title>Algebra/Group/Basic</title>
<ellipse fill="none" stroke="black" cx="1442.99" cy="-450" rx="106.68" ry="18"/>
<text text-anchor="middle" x="1442.99" y="-446.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Basic</text>
</g>
<!-- Algebra/Basic&#45;&gt;Algebra/Group/Basic -->
<g id="edge3" class="edge">
<title>Algebra/Basic&#45;&gt;Algebra/Group/Basic</title>
<path fill="none" stroke="black" d="M1684.13,-508.81C1636.39,-497.36 1564.61,-480.16 1511.77,-467.49"/>
<polygon fill="black" stroke="black" points="1512.34,-464.03 1501.8,-465.1 1510.71,-470.83 1512.34,-464.03"/>
</g>
<!-- Algebra/Monoid -->
<g id="node5" class="node">
<title>Algebra/Monoid</title>
<ellipse fill="none" stroke="black" cx="361.99" cy="-378" rx="84.49" ry="18"/>
<text text-anchor="middle" x="361.99" y="-374.3" font-family="Times,serif" font-size="14.00">Algebra/Monoid</text>
</g>
<!-- Algebra/Basic&#45;&gt;Algebra/Monoid -->
<g id="edge4" class="edge">
<title>Algebra/Basic&#45;&gt;Algebra/Monoid</title>
<path fill="none" stroke="black" d="M1666.21,-514.79C1511.21,-500.79 1147.99,-468 1147.99,-468 1147.99,-468 1104.99,-432 1104.99,-432 1104.99,-432 455.99,-396 455.99,-396 455.99,-396 446.88,-394.35 434.33,-392.08"/>
<polygon fill="black" stroke="black" points="434.63,-388.58 424.16,-390.24 433.38,-395.47 434.63,-388.58"/>
</g>
<!-- Algebra/Group/Automorphism -->
<g id="node8" class="node">
<title>Algebra/Group/Automorphism</title>
<ellipse fill="none" stroke="black" cx="1673.99" cy="-378" rx="149.47" ry="18"/>
<text text-anchor="middle" x="1673.99" y="-374.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Automorphism</text>
</g>
<!-- Algebra/Group/Basic&#45;&gt;Algebra/Group/Automorphism -->
<g id="edge9" class="edge">
<title>Algebra/Group/Basic&#45;&gt;Algebra/Group/Automorphism</title>
<path fill="none" stroke="black" d="M1492.54,-433.98C1527.35,-423.44 1574.17,-409.25 1611.53,-397.93"/>
<polygon fill="black" stroke="black" points="1612.75,-401.22 1621.3,-394.97 1610.72,-394.52 1612.75,-401.22"/>
</g>
<!-- Algebra/EilenbergMacLane -->
<g id="node10" class="node">
<title>Algebra/EilenbergMacLane</title>
<ellipse fill="none" stroke="black" cx="601.99" cy="-378" rx="137.28" ry="18"/>
<text text-anchor="middle" x="601.99" y="-374.3" font-family="Times,serif" font-size="14.00">Algebra/EilenbergMacLane</text>
</g>
<!-- Algebra/Group/Basic&#45;&gt;Algebra/EilenbergMacLane -->
<g id="edge7" class="edge">
<title>Algebra/Group/Basic&#45;&gt;Algebra/EilenbergMacLane</title>
<path fill="none" stroke="black" d="M1356.65,-439.41C1321.95,-435.55 1289.99,-432 1289.99,-432 1289.99,-432 747.99,-396 747.99,-396 747.99,-396 732.23,-394.16 711.06,-391.7"/>
<polygon fill="black" stroke="black" points="711.33,-388.21 700.99,-390.53 710.52,-395.16 711.33,-388.21"/>
</g>
<!-- Algebra/Group/Absolutizer -->
<g id="node11" class="node">
<title>Algebra/Group/Absolutizer</title>
<ellipse fill="none" stroke="black" cx="1104.99" cy="-306" rx="133.78" ry="18"/>
<text text-anchor="middle" x="1104.99" y="-302.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Absolutizer</text>
</g>
<!-- Algebra/Group/Basic&#45;&gt;Algebra/Group/Absolutizer -->
<g id="edge8" class="edge">
<title>Algebra/Group/Basic&#45;&gt;Algebra/Group/Absolutizer</title>
<path fill="none" stroke="black" d="M1367.29,-437.3C1266.28,-421.7 1099.99,-396 1099.99,-396 1099.99,-396 1099.99,-360 1099.99,-360 1099.99,-360 1101.19,-347.27 1102.41,-334.29"/>
<polygon fill="black" stroke="black" points="1105.92,-334.35 1103.38,-324.06 1098.96,-333.69 1105.92,-334.35"/>
</g>
<!-- Algebra/Group/Finite -->
<g id="node12" class="node">
<title>Algebra/Group/Finite</title>
<ellipse fill="none" stroke="black" cx="2180.99" cy="-378" rx="108.58" ry="18"/>
<text text-anchor="middle" x="2180.99" y="-374.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Finite</text>
</g>
<!-- Algebra/Group/Basic&#45;&gt;Algebra/Group/Finite -->
<g id="edge10" class="edge">
<title>Algebra/Group/Basic&#45;&gt;Algebra/Group/Finite</title>
<path fill="none" stroke="black" d="M1532.47,-440.05C1573.42,-435.96 1612.99,-432 1612.99,-432 1612.99,-432 2019.99,-396 2019.99,-396 2019.99,-396 2048.81,-392.96 2082.06,-389.45"/>
<polygon fill="black" stroke="black" points="2082.44,-392.93 2092.01,-388.4 2081.7,-385.96 2082.44,-392.93"/>
</g>
<!-- Algebra/Group/Free -->
<g id="node13" class="node">
<title>Algebra/Group/Free</title>
<ellipse fill="none" stroke="black" cx="2118.99" cy="-234" rx="102.88" ry="18"/>
<text text-anchor="middle" x="2118.99" y="-230.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Free</text>
</g>
<!-- Algebra/Group/Basic&#45;&gt;Algebra/Group/Free -->
<g id="edge11" class="edge">
<title>Algebra/Group/Basic&#45;&gt;Algebra/Group/Free</title>
<path fill="none" stroke="black" d="M1532.47,-440.05C1573.42,-435.96 1612.99,-432 1612.99,-432 1612.99,-432 1986.99,-396 1986.99,-396 1986.99,-396 2061.64,-304.95 2098.66,-259.79"/>
<polygon fill="black" stroke="black" points="2101.48,-261.88 2105.11,-251.93 2096.06,-257.44 2101.48,-261.88"/>
</g>
<!-- Algebra/Group/Homotopy -->
<g id="node14" class="node">
<title>Algebra/Group/Homotopy</title>
<ellipse fill="none" stroke="black" cx="885.99" cy="-378" rx="129.18" ry="18"/>
<text text-anchor="middle" x="885.99" y="-374.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Homotopy</text>
</g>
<!-- Algebra/Group/Basic&#45;&gt;Algebra/Group/Homotopy -->
<g id="edge12" class="edge">
<title>Algebra/Group/Basic&#45;&gt;Algebra/Group/Homotopy</title>
<path fill="none" stroke="black" d="M1360.2,-438.6C1261.26,-426.16 1095.69,-405.35 988.69,-391.91"/>
<polygon fill="black" stroke="black" points="988.88,-388.4 978.52,-390.63 988.01,-395.35 988.88,-388.4"/>
</g>
<!-- Algebra/Group/Periodic -->
<g id="node15" class="node">
<title>Algebra/Group/Periodic</title>
<ellipse fill="none" stroke="black" cx="1387.99" cy="-378" rx="118.88" ry="18"/>
<text text-anchor="middle" x="1387.99" y="-374.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Periodic</text>
</g>
<!-- Algebra/Group/Basic&#45;&gt;Algebra/Group/Periodic -->
<g id="edge13" class="edge">
<title>Algebra/Group/Basic&#45;&gt;Algebra/Group/Periodic</title>
<path fill="none" stroke="black" d="M1429.67,-432.05C1423.15,-423.75 1415.16,-413.58 1407.93,-404.38"/>
<polygon fill="black" stroke="black" points="1410.49,-401.98 1401.56,-396.28 1404.99,-406.3 1410.49,-401.98"/>
</g>
<!-- Algebra/Group/Product -->
<g id="node16" class="node">
<title>Algebra/Group/Product</title>
<ellipse fill="none" stroke="black" cx="984.99" cy="-234" rx="118.08" ry="18"/>
<text text-anchor="middle" x="984.99" y="-230.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Product</text>
</g>
<!-- Algebra/Group/Basic&#45;&gt;Algebra/Group/Product -->
<g id="edge14" class="edge">
<title>Algebra/Group/Basic&#45;&gt;Algebra/Group/Product</title>
<path fill="none" stroke="black" d="M1366.84,-437.37C1264.69,-421.77 1095.99,-396 1095.99,-396 1095.99,-396 961.99,-324 961.99,-324 961.99,-324 961.99,-288 961.99,-288 961.99,-288 967.73,-274.76 973.48,-261.52"/>
<polygon fill="black" stroke="black" points="976.81,-262.63 977.58,-252.06 970.39,-259.84 976.81,-262.63"/>
</g>
<!-- Algebra/Group/Subgroup -->
<g id="node17" class="node">
<title>Algebra/Group/Subgroup</title>
<ellipse fill="none" stroke="black" cx="2472.99" cy="-378" rx="126.98" ry="18"/>
<text text-anchor="middle" x="2472.99" y="-374.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Subgroup</text>
</g>
<!-- Algebra/Group/Basic&#45;&gt;Algebra/Group/Subgroup -->
<g id="edge15" class="edge">
<title>Algebra/Group/Basic&#45;&gt;Algebra/Group/Subgroup</title>
<path fill="none" stroke="black" d="M1532.47,-440.05C1573.42,-435.96 1612.99,-432 1612.99,-432 1612.99,-432 2298.99,-396 2298.99,-396 2298.99,-396 2327.57,-393.21 2361.57,-389.89"/>
<polygon fill="black" stroke="black" points="2362.16,-393.34 2371.77,-388.89 2361.48,-386.38 2362.16,-393.34"/>
</g>
<!-- Algebra/Group/Action -->
<g id="node6" class="node">
<title>Algebra/Group/Action</title>
<ellipse fill="none" stroke="black" cx="1631.99" cy="-234" rx="110.48" ry="18"/>
<text text-anchor="middle" x="1631.99" y="-230.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Action</text>
</g>
<!-- Algebra/Transformational -->
<g id="node7" class="node">
<title>Algebra/Transformational</title>
<ellipse fill="none" stroke="black" cx="1358.99" cy="-162" rx="129.98" ry="18"/>
<text text-anchor="middle" x="1358.99" y="-158.3" font-family="Times,serif" font-size="14.00">Algebra/Transformational</text>
</g>
<!-- Algebra/Group/Action&#45;&gt;Algebra/Transformational -->
<g id="edge5" class="edge">
<title>Algebra/Group/Action&#45;&gt;Algebra/Transformational</title>
<path fill="none" stroke="black" d="M1575.42,-218.5C1532.5,-207.49 1473.29,-192.31 1427.65,-180.61"/>
<polygon fill="black" stroke="black" points="1428.4,-177.18 1417.84,-178.09 1426.66,-183.96 1428.4,-177.18"/>
</g>
<!-- Algebra/Group/Semidirect -->
<g id="node9" class="node">
<title>Algebra/Group/Semidirect</title>
<ellipse fill="none" stroke="black" cx="1426.99" cy="-306" rx="131.88" ry="18"/>
<text text-anchor="middle" x="1426.99" y="-302.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Semidirect</text>
</g>
<!-- Algebra/Group/Automorphism&#45;&gt;Algebra/Group/Semidirect -->
<g id="edge6" class="edge">
<title>Algebra/Group/Automorphism&#45;&gt;Algebra/Group/Semidirect</title>
<path fill="none" stroke="black" d="M1618.25,-361.2C1580.6,-350.53 1530.79,-336.42 1491.44,-325.27"/>
<polygon fill="black" stroke="black" points="1492.25,-321.86 1481.67,-322.5 1490.34,-328.59 1492.25,-321.86"/>
</g>
<!-- Algebra/Group/Presentation -->
<g id="node22" class="node">
<title>Algebra/Group/Presentation</title>
<ellipse fill="none" stroke="black" cx="2308.99" cy="-162" rx="141.07" ry="18"/>
<text text-anchor="middle" x="2308.99" y="-158.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Presentation</text>
</g>
<!-- Algebra/Group/Free&#45;&gt;Algebra/Group/Presentation -->
<g id="edge19" class="edge">
<title>Algebra/Group/Free&#45;&gt;Algebra/Group/Presentation</title>
<path fill="none" stroke="black" d="M2161.16,-217.46C2188.98,-207.22 2225.66,-193.7 2255.52,-182.7"/>
<polygon fill="black" stroke="black" points="2256.79,-185.96 2264.96,-179.22 2254.37,-179.39 2256.79,-185.96"/>
</g>
<!-- Algebra/Group/Product&#45;&gt;Algebra/Transformational -->
<g id="edge21" class="edge">
<title>Algebra/Group/Product&#45;&gt;Algebra/Transformational</title>
<path fill="none" stroke="black" d="M1056.66,-219.59C1119,-207.92 1209.39,-191 1275.09,-178.7"/>
<polygon fill="black" stroke="black" points="1275.82,-182.13 1285,-176.85 1274.53,-175.25 1275.82,-182.13"/>
</g>
<!-- Algebra/Group/Factor -->
<g id="node18" class="node">
<title>Algebra/Group/Factor</title>
<ellipse fill="none" stroke="black" cx="1904.99" cy="-306" rx="111.28" ry="18"/>
<text text-anchor="middle" x="1904.99" y="-302.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Factor</text>
</g>
<!-- Algebra/Group/Subgroup&#45;&gt;Algebra/Group/Factor -->
<g id="edge23" class="edge">
<title>Algebra/Group/Subgroup&#45;&gt;Algebra/Group/Factor</title>
<path fill="none" stroke="black" d="M2380.78,-365.64C2276.24,-352.75 2106.61,-331.85 2000.65,-318.79"/>
<polygon fill="black" stroke="black" points="2000.95,-315.3 1990.6,-317.55 2000.1,-322.25 2000.95,-315.3"/>
</g>
<!-- Algebra/Group/Differential -->
<g id="node23" class="node">
<title>Algebra/Group/Differential</title>
<ellipse fill="none" stroke="black" cx="2453.99" cy="-306" rx="133.78" ry="18"/>
<text text-anchor="middle" x="2453.99" y="-302.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Differential</text>
</g>
<!-- Algebra/Group/Subgroup&#45;&gt;Algebra/Group/Differential -->
<g id="edge22" class="edge">
<title>Algebra/Group/Subgroup&#45;&gt;Algebra/Group/Differential</title>
<path fill="none" stroke="black" d="M2468.29,-359.7C2466.18,-351.9 2463.63,-342.51 2461.27,-333.83"/>
<polygon fill="black" stroke="black" points="2464.63,-332.84 2458.63,-324.1 2457.87,-334.67 2464.63,-332.84"/>
</g>
<!-- Algebra/Group/Lemmas -->
<g id="node24" class="node">
<title>Algebra/Group/Lemmas</title>
<ellipse fill="none" stroke="black" cx="3007.99" cy="-306" rx="120.48" ry="18"/>
<text text-anchor="middle" x="3007.99" y="-302.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Lemmas</text>
</g>
<!-- Algebra/Group/Subgroup&#45;&gt;Algebra/Group/Lemmas -->
<g id="edge24" class="edge">
<title>Algebra/Group/Subgroup&#45;&gt;Algebra/Group/Lemmas</title>
<path fill="none" stroke="black" d="M2562.84,-365.27C2682.43,-349.66 2878.99,-324 2878.99,-324 2878.99,-324 2892.56,-322.21 2910.89,-319.8"/>
<polygon fill="black" stroke="black" points="2911.41,-323.26 2920.87,-318.48 2910.5,-316.32 2911.41,-323.26"/>
</g>
<!-- Algebra/Group/Symmetric -->
<g id="node25" class="node">
<title>Algebra/Group/Symmetric</title>
<ellipse fill="none" stroke="black" cx="2737.99" cy="-306" rx="131.88" ry="18"/>
<text text-anchor="middle" x="2737.99" y="-302.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Symmetric</text>
</g>
<!-- Algebra/Group/Subgroup&#45;&gt;Algebra/Group/Symmetric -->
<g id="edge25" class="edge">
<title>Algebra/Group/Subgroup&#45;&gt;Algebra/Group/Symmetric</title>
<path fill="none" stroke="black" d="M2530.16,-361.9C2571.24,-351.05 2626.78,-336.38 2670.11,-324.93"/>
<polygon fill="black" stroke="black" points="2671.23,-328.26 2680,-322.32 2669.44,-321.49 2671.23,-328.26"/>
</g>
<!-- Algebra/Group/Alternating -->
<g id="node19" class="node">
<title>Algebra/Group/Alternating</title>
<ellipse fill="none" stroke="black" cx="1369.99" cy="-234" rx="133.78" ry="18"/>
<text text-anchor="middle" x="1369.99" y="-230.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Alternating</text>
</g>
<!-- Algebra/Group/Factor&#45;&gt;Algebra/Group/Alternating -->
<g id="edge16" class="edge">
<title>Algebra/Group/Factor&#45;&gt;Algebra/Group/Alternating</title>
<path fill="none" stroke="black" d="M1823.94,-293.61C1801.9,-290.52 1783.99,-288 1783.99,-288 1783.99,-288 1595.96,-263.93 1473.34,-248.23"/>
<polygon fill="black" stroke="black" points="1473.52,-244.73 1463.16,-246.93 1472.63,-251.67 1473.52,-244.73"/>
</g>
<!-- Algebra/Group/Isomorphism -->
<g id="node20" class="node">
<title>Algebra/Group/Isomorphism</title>
<ellipse fill="none" stroke="black" cx="2380.99" cy="-234" rx="141.88" ry="18"/>
<text text-anchor="middle" x="2380.99" y="-230.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Isomorphism</text>
</g>
<!-- Algebra/Group/Factor&#45;&gt;Algebra/Group/Isomorphism -->
<g id="edge17" class="edge">
<title>Algebra/Group/Factor&#45;&gt;Algebra/Group/Isomorphism</title>
<path fill="none" stroke="black" d="M1984.39,-293.32C2066.15,-281.3 2193.73,-262.54 2282.01,-249.56"/>
<polygon fill="black" stroke="black" points="2282.66,-253 2292.04,-248.08 2281.64,-246.07 2282.66,-253"/>
</g>
<!-- Algebra/Ring -->
<g id="node21" class="node">
<title>Algebra/Ring</title>
<ellipse fill="none" stroke="black" cx="1888.99" cy="-234" rx="71.49" ry="18"/>
<text text-anchor="middle" x="1888.99" y="-230.3" font-family="Times,serif" font-size="14.00">Algebra/Ring</text>
</g>
<!-- Algebra/Group/Factor&#45;&gt;Algebra/Ring -->
<g id="edge18" class="edge">
<title>Algebra/Group/Factor&#45;&gt;Algebra/Ring</title>
<path fill="none" stroke="black" d="M1901.03,-287.7C1899.27,-279.98 1897.15,-270.71 1895.19,-262.11"/>
<polygon fill="black" stroke="black" points="1898.54,-261.07 1892.9,-252.1 1891.71,-262.63 1898.54,-261.07"/>
</g>
<!-- Algebra/Group/Isomorphism&#45;&gt;Algebra/Group/Presentation -->
<g id="edge20" class="edge">
<title>Algebra/Group/Isomorphism&#45;&gt;Algebra/Group/Presentation</title>
<path fill="none" stroke="black" d="M2363.56,-216.05C2354.6,-207.35 2343.54,-196.59 2333.72,-187.04"/>
<polygon fill="black" stroke="black" points="2336.12,-184.49 2326.51,-180.03 2331.24,-189.51 2336.12,-184.49"/>
</g>
<!-- Algebra/Orgraph -->
<g id="node28" class="node">
<title>Algebra/Orgraph</title>
<ellipse fill="none" stroke="black" cx="2035.99" cy="-162" rx="89.08" ry="18"/>
<text text-anchor="middle" x="2035.99" y="-158.3" font-family="Times,serif" font-size="14.00">Algebra/Orgraph</text>
</g>
<!-- Algebra/Ring&#45;&gt;Algebra/Orgraph -->
<g id="edge34" class="edge">
<title>Algebra/Ring&#45;&gt;Algebra/Orgraph</title>
<path fill="none" stroke="black" d="M1920.89,-217.81C1942.19,-207.67 1970.44,-194.22 1993.62,-183.18"/>
<polygon fill="black" stroke="black" points="1995.36,-186.23 2002.88,-178.77 1992.35,-179.91 1995.36,-186.23"/>
</g>
<!-- Algebra/Boolean -->
<g id="node31" class="node">
<title>Algebra/Boolean</title>
<ellipse fill="none" stroke="black" cx="1841.99" cy="-162" rx="87.18" ry="18"/>
<text text-anchor="middle" x="1841.99" y="-158.3" font-family="Times,serif" font-size="14.00">Algebra/Boolean</text>
</g>
<!-- Algebra/Ring&#45;&gt;Algebra/Boolean -->
<g id="edge33" class="edge">
<title>Algebra/Ring&#45;&gt;Algebra/Boolean</title>
<path fill="none" stroke="black" d="M1877.61,-216.05C1872.09,-207.84 1865.35,-197.79 1859.22,-188.66"/>
<polygon fill="black" stroke="black" points="1862.07,-186.63 1853.59,-180.28 1856.26,-190.53 1862.07,-186.63"/>
</g>
<!-- Algebra/Group/Symmetric&#45;&gt;Algebra/Group/Action -->
<g id="edge26" class="edge">
<title>Algebra/Group/Symmetric&#45;&gt;Algebra/Group/Action</title>
<path fill="none" stroke="black" d="M2642.77,-293.52C2617.44,-290.47 2596.99,-288 2596.99,-288 2596.99,-288 1808.99,-252 1808.99,-252 1808.99,-252 1773.55,-248.6 1734.39,-244.84"/>
<polygon fill="black" stroke="black" points="1734.67,-241.35 1724.38,-243.87 1734,-248.31 1734.67,-241.35"/>
</g>
<!-- Algebra/Group/Symmetric&#45;&gt;Algebra/Group/Isomorphism -->
<g id="edge27" class="edge">
<title>Algebra/Group/Symmetric&#45;&gt;Algebra/Group/Isomorphism</title>
<path fill="none" stroke="black" d="M2665.74,-290.83C2607.56,-279.42 2525.68,-263.37 2464.65,-251.4"/>
<polygon fill="black" stroke="black" points="2465.14,-247.93 2454.66,-249.45 2463.8,-254.8 2465.14,-247.93"/>
</g>
<!-- Algebra/Group/Limited -->
<g id="node26" class="node">
<title>Algebra/Group/Limited</title>
<ellipse fill="none" stroke="black" cx="2737.99" cy="-18" rx="116.98" ry="18"/>
<text text-anchor="middle" x="2737.99" y="-14.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Limited</text>
</g>
<!-- Algebra/Group/Symmetric&#45;&gt;Algebra/Group/Limited -->
<g id="edge28" class="edge">
<title>Algebra/Group/Symmetric&#45;&gt;Algebra/Group/Limited</title>
<path fill="none" stroke="black" d="M2737.99,-287.97C2737.99,-240.29 2737.99,-105.18 2737.99,-46.63"/>
<polygon fill="black" stroke="black" points="2741.49,-46.31 2737.99,-36.31 2734.49,-46.31 2741.49,-46.31"/>
</g>
<!-- Algebra/Group/Z -->
<g id="node27" class="node">
<title>Algebra/Group/Z</title>
<ellipse fill="none" stroke="black" cx="3004.99" cy="-234" rx="87.99" ry="18"/>
<text text-anchor="middle" x="3004.99" y="-230.3" font-family="Times,serif" font-size="14.00">Algebra/Group/Z</text>
</g>
<!-- Algebra/Group/Symmetric&#45;&gt;Algebra/Group/Z -->
<g id="edge29" class="edge">
<title>Algebra/Group/Symmetric&#45;&gt;Algebra/Group/Z</title>
<path fill="none" stroke="black" d="M2795.92,-289.81C2839.41,-278.41 2898.86,-262.83 2943.24,-251.19"/>
<polygon fill="black" stroke="black" points="2944.26,-254.54 2953.04,-248.62 2942.48,-247.77 2944.26,-254.54"/>
</g>
<!-- Algebra/Reals -->
<g id="node29" class="node">
<title>Algebra/Reals</title>
<ellipse fill="none" stroke="black" cx="2533.99" cy="-90" rx="75.29" ry="18"/>
<text text-anchor="middle" x="2533.99" y="-86.3" font-family="Times,serif" font-size="14.00">Algebra/Reals</text>
</g>
<!-- Algebra/Orgraph&#45;&gt;Algebra/Reals -->
<g id="edge30" class="edge">
<title>Algebra/Orgraph&#45;&gt;Algebra/Reals</title>
<path fill="none" stroke="black" d="M2106.81,-151.05C2200.73,-137.84 2365.68,-114.66 2460.78,-101.29"/>
<polygon fill="black" stroke="black" points="2461.48,-104.73 2470.89,-99.87 2460.5,-97.79 2461.48,-104.73"/>
</g>
<!-- Algebra/Reals&#45;&gt;Algebra/Group/Limited -->
<g id="edge31" class="edge">
<title>Algebra/Reals&#45;&gt;Algebra/Group/Limited</title>
<path fill="none" stroke="black" d="M2575.27,-74.83C2606.21,-64.22 2648.87,-49.58 2682.75,-37.95"/>
<polygon fill="black" stroke="black" points="2684.19,-41.16 2692.51,-34.61 2681.91,-34.54 2684.19,-41.16"/>
</g>
<!-- HITs/Topologization -->
<g id="node30" class="node">
<title>HITs/Topologization</title>
<ellipse fill="none" stroke="black" cx="2499.99" cy="-18" rx="102.88" ry="18"/>
<text text-anchor="middle" x="2499.99" y="-14.3" font-family="Times,serif" font-size="14.00">HITs/Topologization</text>
</g>
<!-- Algebra/Reals&#45;&gt;HITs/Topologization -->
<g id="edge32" class="edge">
<title>Algebra/Reals&#45;&gt;HITs/Topologization</title>
<path fill="none" stroke="black" d="M2525.76,-72.05C2521.89,-64.09 2517.19,-54.41 2512.86,-45.51"/>
<polygon fill="black" stroke="black" points="2515.9,-43.74 2508.38,-36.28 2509.6,-46.8 2515.9,-43.74"/>
</g>
<!-- Cubical/Path -->
<g id="node32" class="node">
<title>Cubical/Path</title>
<ellipse fill="none" stroke="black" cx="3269.99" cy="-738" rx="69.59" ry="18"/>
<text text-anchor="middle" x="3269.99" y="-734.3" font-family="Times,serif" font-size="14.00">Cubical/Path</text>
</g>
<!-- Cubical/Connection -->
<g id="node33" class="node">
<title>Cubical/Connection</title>
<ellipse fill="none" stroke="black" cx="3412.99" cy="-666" rx="100.98" ry="18"/>
<text text-anchor="middle" x="3412.99" y="-662.3" font-family="Times,serif" font-size="14.00">Cubical/Connection</text>
</g>
<!-- Cubical/Path&#45;&gt;Cubical/Connection -->
<g id="edge35" class="edge">
<title>Cubical/Path&#45;&gt;Cubical/Connection</title>
<path fill="none" stroke="black" d="M3301.02,-721.81C3321.43,-711.82 3348.4,-698.61 3370.76,-687.67"/>
<polygon fill="black" stroke="black" points="3372.59,-690.67 3380.03,-683.13 3369.51,-684.39 3372.59,-690.67"/>
</g>
<!-- Cubical/V -->
<g id="node34" class="node">
<title>Cubical/V</title>
<ellipse fill="none" stroke="black" cx="3286.99" cy="-594" rx="54.69" ry="18"/>
<text text-anchor="middle" x="3286.99" y="-590.3" font-family="Times,serif" font-size="14.00">Cubical/V</text>
</g>
<!-- Cubical/Path&#45;&gt;Cubical/V -->
<g id="edge36" class="edge">
<title>Cubical/Path&#45;&gt;Cubical/V</title>
<path fill="none" stroke="black" d="M3272.04,-719.87C3274.94,-695.67 3280.26,-651.21 3283.71,-622.39"/>
<polygon fill="black" stroke="black" points="3287.22,-622.53 3284.93,-612.19 3280.27,-621.7 3287.22,-622.53"/>
</g>
<!-- Cubical/Example -->
<g id="node35" class="node">
<title>Cubical/Example</title>
<ellipse fill="none" stroke="black" cx="3320.99" cy="-522" rx="89.08" ry="18"/>
<text text-anchor="middle" x="3320.99" y="-518.3" font-family="Times,serif" font-size="14.00">Cubical/Example</text>
</g>
<!-- Cubical/V&#45;&gt;Cubical/Example -->
<g id="edge37" class="edge">
<title>Cubical/V&#45;&gt;Cubical/Example</title>
<path fill="none" stroke="black" d="M3295.22,-576.05C3299.09,-568.09 3303.79,-558.41 3308.11,-549.51"/>
<polygon fill="black" stroke="black" points="3311.38,-550.8 3312.6,-540.28 3305.08,-547.74 3311.38,-550.8"/>
</g>
<!-- Exercises/Chap1 -->
<g id="node36" class="node">
<title>Exercises/Chap1</title>
<ellipse fill="none" stroke="black" cx="3724.99" cy="-522" rx="88.28" ry="18"/>
<text text-anchor="middle" x="3724.99" y="-518.3" font-family="Times,serif" font-size="14.00">Exercises/Chap1</text>
</g>
<!-- Exercises/Chap3 -->
<g id="node37" class="node">
<title>Exercises/Chap3</title>
<ellipse fill="none" stroke="black" cx="3724.99" cy="-450" rx="88.28" ry="18"/>
<text text-anchor="middle" x="3724.99" y="-446.3" font-family="Times,serif" font-size="14.00">Exercises/Chap3</text>
</g>
<!-- Exercises/Chap1&#45;&gt;Exercises/Chap3 -->
<g id="edge38" class="edge">
<title>Exercises/Chap1&#45;&gt;Exercises/Chap3</title>
<path fill="none" stroke="black" d="M3724.99,-503.7C3724.99,-495.98 3724.99,-486.71 3724.99,-478.11"/>
<polygon fill="black" stroke="black" points="3728.49,-478.1 3724.99,-468.1 3721.49,-478.1 3728.49,-478.1"/>
</g>
<!-- Exercises/Chap2 -->
<g id="node38" class="node">
<title>Exercises/Chap2</title>
<ellipse fill="none" stroke="black" cx="3080.99" cy="-594" rx="88.28" ry="18"/>
<text text-anchor="middle" x="3080.99" y="-590.3" font-family="Times,serif" font-size="14.00">Exercises/Chap2</text>
</g>
<!-- Exercises/Chap4 -->
<g id="node39" class="node">
<title>Exercises/Chap4</title>
<ellipse fill="none" stroke="black" cx="3269.99" cy="-378" rx="88.28" ry="18"/>
<text text-anchor="middle" x="3269.99" y="-374.3" font-family="Times,serif" font-size="14.00">Exercises/Chap4</text>
</g>
<!-- Exercises/Chap2&#45;&gt;Exercises/Chap4 -->
<g id="edge39" class="edge">
<title>Exercises/Chap2&#45;&gt;Exercises/Chap4</title>
<path fill="none" stroke="black" d="M3095.82,-576.21C3129,-538.64 3209.34,-447.67 3248.21,-403.66"/>
<polygon fill="black" stroke="black" points="3250.97,-405.82 3254.97,-396.01 3245.72,-401.19 3250.97,-405.82"/>
</g>
<!-- Exercises/Chap5 -->
<g id="node40" class="node">
<title>Exercises/Chap5</title>
<ellipse fill="none" stroke="black" cx="3288.99" cy="-306" rx="88.28" ry="18"/>
<text text-anchor="middle" x="3288.99" y="-302.3" font-family="Times,serif" font-size="14.00">Exercises/Chap5</text>
</g>
<!-- Exercises/Chap4&#45;&gt;Exercises/Chap5 -->
<g id="edge40" class="edge">
<title>Exercises/Chap4&#45;&gt;Exercises/Chap5</title>
<path fill="none" stroke="black" d="M3274.69,-359.7C3276.8,-351.9 3279.35,-342.51 3281.71,-333.83"/>
<polygon fill="black" stroke="black" points="3285.1,-334.67 3284.35,-324.1 3278.35,-332.84 3285.1,-334.67"/>
</g>
<!-- HITs/Circle -->
<g id="node41" class="node">
<title>HITs/Circle</title>
<ellipse fill="none" stroke="black" cx="2677.99" cy="-450" rx="62.29" ry="18"/>
<text text-anchor="middle" x="2677.99" y="-446.3" font-family="Times,serif" font-size="14.00">HITs/Circle</text>
</g>
<!-- HITs/Circle&#45;&gt;Algebra/Group/Z -->
<g id="edge41" class="edge">
<title>HITs/Circle&#45;&gt;Algebra/Group/Z</title>
<path fill="none" stroke="black" d="M2725.66,-438.34C2794.87,-422.86 2914.99,-396 2914.99,-396 2914.99,-396 2990.99,-360 2990.99,-360 2990.99,-360 3136.99,-324 3136.99,-324 3136.99,-324 3136.99,-288 3136.99,-288 3136.99,-288 3090.39,-269.29 3052.56,-254.1"/>
<polygon fill="black" stroke="black" points="3053.75,-250.81 3043.17,-250.33 3051.14,-257.3 3053.75,-250.81"/>
</g>
<!-- HITs/Circle&#45;&gt;Exercises/Chap4 -->
<g id="edge42" class="edge">
<title>HITs/Circle&#45;&gt;Exercises/Chap4</title>
<path fill="none" stroke="black" d="M2735.74,-442.82C2866.32,-428.84 3172.99,-396 3172.99,-396 3172.99,-396 3182.38,-394.35 3195.32,-392.09"/>
<polygon fill="black" stroke="black" points="3196.04,-395.51 3205.29,-390.34 3194.83,-388.62 3196.04,-395.51"/>
</g>
<!-- HITs/Moebius -->
<g id="node42" class="node">
<title>HITs/Moebius</title>
<ellipse fill="none" stroke="black" cx="2830.99" cy="-378" rx="74.99" ry="18"/>
<text text-anchor="middle" x="2830.99" y="-374.3" font-family="Times,serif" font-size="14.00">HITs/Moebius</text>
</g>
<!-- HITs/Circle&#45;&gt;HITs/Moebius -->
<g id="edge43" class="edge">
<title>HITs/Circle&#45;&gt;HITs/Moebius</title>
<path fill="none" stroke="black" d="M2709.69,-434.5C2732.51,-424.06 2763.54,-409.86 2788.5,-398.44"/>
<polygon fill="black" stroke="black" points="2790.1,-401.56 2797.74,-394.21 2787.19,-395.19 2790.1,-401.56"/>
</g>
<!-- HITs/Reals -->
<g id="node43" class="node">
<title>HITs/Reals</title>
<ellipse fill="none" stroke="black" cx="2677.99" cy="-378" rx="60.39" ry="18"/>
<text text-anchor="middle" x="2677.99" y="-374.3" font-family="Times,serif" font-size="14.00">HITs/Reals</text>
</g>
<!-- HITs/Circle&#45;&gt;HITs/Reals -->
<g id="edge44" class="edge">
<title>HITs/Circle&#45;&gt;HITs/Reals</title>
<path fill="none" stroke="black" d="M2677.99,-431.7C2677.99,-423.98 2677.99,-414.71 2677.99,-406.11"/>
<polygon fill="black" stroke="black" points="2681.49,-406.1 2677.99,-396.1 2674.49,-406.1 2681.49,-406.1"/>
</g>
<!-- HITs/Sphere -->
<g id="node44" class="node">
<title>HITs/Sphere</title>
<ellipse fill="none" stroke="black" cx="1909.99" cy="-378" rx="68.49" ry="18"/>
<text text-anchor="middle" x="1909.99" y="-374.3" font-family="Times,serif" font-size="14.00">HITs/Sphere</text>
</g>
<!-- HITs/Circle&#45;&gt;HITs/Sphere -->
<g id="edge45" class="edge">
<title>HITs/Circle&#45;&gt;HITs/Sphere</title>
<path fill="none" stroke="black" d="M2619.02,-443.92C2465.09,-430.65 2062.99,-396 2062.99,-396 2062.99,-396 2021.56,-391.4 1981.82,-386.98"/>
<polygon fill="black" stroke="black" points="1982.1,-383.49 1971.78,-385.87 1981.33,-390.45 1982.1,-383.49"/>
</g>
<!-- Theorems/Hopf -->
<g id="node45" class="node">
<title>Theorems/Hopf</title>
<ellipse fill="none" stroke="black" cx="3081.99" cy="-378" rx="81.79" ry="18"/>
<text text-anchor="middle" x="3081.99" y="-374.3" font-family="Times,serif" font-size="14.00">Theorems/Hopf</text>
</g>
<!-- HITs/Circle&#45;&gt;Theorems/Hopf -->
<g id="edge46" class="edge">
<title>HITs/Circle&#45;&gt;Theorems/Hopf</title>
<path fill="none" stroke="black" d="M2729.98,-439.99C2801.2,-427.65 2929.43,-405.43 3009.89,-391.49"/>
<polygon fill="black" stroke="black" points="3010.69,-394.91 3019.95,-389.75 3009.5,-388.01 3010.69,-394.91"/>
</g>
<!-- Types/CellComplex -->
<g id="node63" class="node">
<title>Types/CellComplex</title>
<ellipse fill="none" stroke="black" cx="1675.99" cy="-306" rx="99.38" ry="18"/>
<text text-anchor="middle" x="1675.99" y="-302.3" font-family="Times,serif" font-size="14.00">Types/CellComplex</text>
</g>
<!-- HITs/Sphere&#45;&gt;Types/CellComplex -->
<g id="edge67" class="edge">
<title>HITs/Sphere&#45;&gt;Types/CellComplex</title>
<path fill="none" stroke="black" d="M1866.52,-364C1829.45,-352.91 1775.81,-336.86 1734.88,-324.62"/>
<polygon fill="black" stroke="black" points="1735.88,-321.26 1725.3,-321.75 1733.87,-327.97 1735.88,-321.26"/>
</g>
<!-- HITs/Coequalizer -->
<g id="node46" class="node">
<title>HITs/Coequalizer</title>
<ellipse fill="none" stroke="black" cx="2341.99" cy="-882" rx="90.18" ry="18"/>
<text text-anchor="middle" x="2341.99" y="-878.3" font-family="Times,serif" font-size="14.00">HITs/Coequalizer</text>
</g>
<!-- HITs/Flattening -->
<g id="node47" class="node">
<title>HITs/Flattening</title>
<ellipse fill="none" stroke="black" cx="1520.99" cy="-594" rx="83.39" ry="18"/>
<text text-anchor="middle" x="1520.99" y="-590.3" font-family="Times,serif" font-size="14.00">HITs/Flattening</text>
</g>
<!-- HITs/Coequalizer&#45;&gt;HITs/Flattening -->
<g id="edge47" class="edge">
<title>HITs/Coequalizer&#45;&gt;HITs/Flattening</title>
<path fill="none" stroke="black" d="M2292.95,-866.8C2238.74,-851.1 2158.99,-828 2158.99,-828 2158.99,-828 2082.99,-720 2082.99,-720 2082.99,-720 1734.82,-642.56 1586.57,-609.59"/>
<polygon fill="black" stroke="black" points="1587.19,-606.14 1576.67,-607.38 1585.67,-612.97 1587.19,-606.14"/>
</g>
<!-- HITs/Colimit -->
<g id="node48" class="node">
<title>HITs/Colimit</title>
<ellipse fill="none" stroke="black" cx="2518.99" cy="-882" rx="68.79" ry="18"/>
<text text-anchor="middle" x="2518.99" y="-878.3" font-family="Times,serif" font-size="14.00">HITs/Colimit</text>
</g>
<!-- HITs/Merely -->
<g id="node49" class="node">
<title>HITs/Merely</title>
<ellipse fill="none" stroke="black" cx="2696.99" cy="-810" rx="67.69" ry="18"/>
<text text-anchor="middle" x="2696.99" y="-806.3" font-family="Times,serif" font-size="14.00">HITs/Merely</text>
</g>
<!-- HITs/Colimit&#45;&gt;HITs/Merely -->
<g id="edge48" class="edge">
<title>HITs/Colimit&#45;&gt;HITs/Merely</title>
<path fill="none" stroke="black" d="M2555.44,-866.67C2583.16,-855.77 2621.47,-840.7 2651.24,-828.99"/>
<polygon fill="black" stroke="black" points="2652.56,-832.23 2660.59,-825.32 2650,-825.72 2652.56,-832.23"/>
</g>
<!-- Theorems/Equiv -->
<g id="node53" class="node">
<title>Theorems/Equiv</title>
<ellipse fill="none" stroke="black" cx="3080.99" cy="-738" rx="86.38" ry="18"/>
<text text-anchor="middle" x="3080.99" y="-734.3" font-family="Times,serif" font-size="14.00">Theorems/Equiv</text>
</g>
<!-- HITs/Merely&#45;&gt;Theorems/Equiv -->
<g id="edge56" class="edge">
<title>HITs/Merely&#45;&gt;Theorems/Equiv</title>
<path fill="none" stroke="black" d="M2751.19,-799.12C2818.33,-786.88 2932.96,-765.98 3007.84,-752.33"/>
<polygon fill="black" stroke="black" points="3008.93,-755.69 3018.14,-750.46 3007.67,-748.81 3008.93,-755.69"/>
</g>
<!-- HITs/Simplicial -->
<g id="node55" class="node">
<title>HITs/Simplicial</title>
<ellipse fill="none" stroke="black" cx="2494.99" cy="-738" rx="81.49" ry="18"/>
<text text-anchor="middle" x="2494.99" y="-734.3" font-family="Times,serif" font-size="14.00">HITs/Simplicial</text>
</g>
<!-- HITs/Merely&#45;&gt;HITs/Simplicial -->
<g id="edge54" class="edge">
<title>HITs/Merely&#45;&gt;HITs/Simplicial</title>
<path fill="none" stroke="black" d="M2657.56,-795.34C2625.76,-784.32 2580.79,-768.73 2546.21,-756.75"/>
<polygon fill="black" stroke="black" points="2547.34,-753.44 2536.75,-753.47 2545.05,-760.05 2547.34,-753.44"/>
</g>
<!-- HITs/Trunc -->
<g id="node56" class="node">
<title>HITs/Trunc</title>
<ellipse fill="none" stroke="black" cx="1218.99" cy="-450" rx="61.99" ry="18"/>
<text text-anchor="middle" x="1218.99" y="-446.3" font-family="Times,serif" font-size="14.00">HITs/Trunc</text>
</g>
<!-- HITs/Merely&#45;&gt;HITs/Trunc -->
<g id="edge55" class="edge">
<title>HITs/Merely&#45;&gt;HITs/Trunc</title>
<path fill="none" stroke="black" d="M2642.75,-799.16C2558.31,-783.83 2404.99,-756 2404.99,-756 2404.99,-756 2310.99,-684 2310.99,-684 2310.99,-684 2272.99,-648 2272.99,-648 2272.99,-648 1837.99,-612 1837.99,-612 1837.99,-612 1424.65,-504.49 1273.5,-465.18"/>
<polygon fill="black" stroke="black" points="1274.06,-461.71 1263.51,-462.58 1272.3,-468.48 1274.06,-461.71"/>
</g>
<!-- Theorems/Functions -->
<g id="node57" class="node">
<title>Theorems/Functions</title>
<ellipse fill="none" stroke="black" cx="2699.99" cy="-738" rx="105.08" ry="18"/>
<text text-anchor="middle" x="2699.99" y="-734.3" font-family="Times,serif" font-size="14.00">Theorems/Functions</text>
</g>
<!-- HITs/Merely&#45;&gt;Theorems/Functions -->
<g id="edge57" class="edge">
<title>HITs/Merely&#45;&gt;Theorems/Functions</title>
<path fill="none" stroke="black" d="M2697.73,-791.7C2698.06,-783.98 2698.46,-774.71 2698.83,-766.11"/>
<polygon fill="black" stroke="black" points="2702.32,-766.25 2699.26,-756.1 2695.33,-765.95 2702.32,-766.25"/>
</g>
<!-- HITs/Generalized -->
<g id="node50" class="node">
<title>HITs/Generalized</title>
<ellipse fill="none" stroke="black" cx="2696.99" cy="-882" rx="90.98" ry="18"/>
<text text-anchor="middle" x="2696.99" y="-878.3" font-family="Times,serif" font-size="14.00">HITs/Generalized</text>
</g>
<!-- HITs/Generalized&#45;&gt;HITs/Merely -->
<g id="edge49" class="edge">
<title>HITs/Generalized&#45;&gt;HITs/Merely</title>
<path fill="none" stroke="black" d="M2696.99,-863.7C2696.99,-855.98 2696.99,-846.71 2696.99,-838.11"/>
<polygon fill="black" stroke="black" points="2700.49,-838.1 2696.99,-828.1 2693.49,-838.1 2700.49,-838.1"/>
</g>
<!-- HITs/Interval -->
<g id="node51" class="node">
<title>HITs/Interval</title>
<ellipse fill="none" stroke="black" cx="3174.99" cy="-810" rx="71.49" ry="18"/>
<text text-anchor="middle" x="3174.99" y="-806.3" font-family="Times,serif" font-size="14.00">HITs/Interval</text>
</g>
<!-- HITs/Interval&#45;&gt;Cubical/Path -->
<g id="edge51" class="edge">
<title>HITs/Interval&#45;&gt;Cubical/Path</title>
<path fill="none" stroke="black" d="M3197.02,-792.76C3209.73,-783.4 3225.89,-771.49 3239.78,-761.26"/>
<polygon fill="black" stroke="black" points="3242.1,-763.9 3248.07,-755.15 3237.95,-758.26 3242.1,-763.9"/>
</g>
<!-- Cubical/Cubes -->
<g id="node52" class="node">
<title>Cubical/Cubes</title>
<ellipse fill="none" stroke="black" cx="3434.99" cy="-738" rx="77.19" ry="18"/>
<text text-anchor="middle" x="3434.99" y="-734.3" font-family="Times,serif" font-size="14.00">Cubical/Cubes</text>
</g>
<!-- HITs/Interval&#45;&gt;Cubical/Cubes -->
<g id="edge50" class="edge">
<title>HITs/Interval&#45;&gt;Cubical/Cubes</title>
<path fill="none" stroke="black" d="M3222.07,-796.32C3265.52,-784.63 3330.17,-767.22 3376.82,-754.66"/>
<polygon fill="black" stroke="black" points="3377.75,-758.04 3386.49,-752.06 3375.93,-751.28 3377.75,-758.04"/>
</g>
<!-- HITs/Interval&#45;&gt;Theorems/Equiv -->
<g id="edge52" class="edge">
<title>HITs/Interval&#45;&gt;Theorems/Equiv</title>
<path fill="none" stroke="black" d="M3153.19,-792.76C3140.79,-783.53 3125.07,-771.83 3111.47,-761.7"/>
<polygon fill="black" stroke="black" points="3113.44,-758.8 3103.32,-755.63 3109.25,-764.41 3113.44,-758.8"/>
</g>
<!-- Theorems/Fibration -->
<g id="node54" class="node">
<title>Theorems/Fibration</title>
<ellipse fill="none" stroke="black" cx="3633.99" cy="-666" rx="102.88" ry="18"/>
<text text-anchor="middle" x="3633.99" y="-662.3" font-family="Times,serif" font-size="14.00">Theorems/Fibration</text>
</g>
<!-- HITs/Interval&#45;&gt;Theorems/Fibration -->
<g id="edge53" class="edge">
<title>HITs/Interval&#45;&gt;Theorems/Fibration</title>
<path fill="none" stroke="black" d="M3228.11,-797.85C3243.38,-794.65 3255.99,-792 3255.99,-792 3255.99,-792 3520.99,-756 3520.99,-756 3520.99,-756 3571.14,-716.5 3604.62,-690.13"/>
<polygon fill="black" stroke="black" points="3607.04,-692.68 3612.73,-683.74 3602.71,-687.18 3607.04,-692.68"/>
</g>
<!-- Theorems/Equiv&#45;&gt;Exercises/Chap3 -->
<g id="edge93" class="edge">
<title>Theorems/Equiv&#45;&gt;Exercises/Chap3</title>
<path fill="none" stroke="black" d="M3121.02,-721.95C3162.7,-706.28 3221.99,-684 3221.99,-684 3221.99,-684 3559.88,-527.48 3681.79,-471.01"/>
<polygon fill="black" stroke="black" points="3683.6,-474.03 3691.2,-466.65 3680.66,-467.68 3683.6,-474.03"/>
</g>
<!-- Theorems/Equiv&#45;&gt;Exercises/Chap4 -->
<g id="edge94" class="edge">
<title>Theorems/Equiv&#45;&gt;Exercises/Chap4</title>
<path fill="none" stroke="black" d="M3113.1,-721.24C3144.94,-705.62 3188.99,-684 3188.99,-684 3188.99,-684 3222.99,-504 3222.99,-504 3222.99,-504 3246.12,-442.47 3259.93,-405.75"/>
<polygon fill="black" stroke="black" points="3263.31,-406.71 3263.55,-396.12 3256.76,-404.25 3263.31,-406.71"/>
</g>
<!-- Theorems/Pullback -->
<g id="node82" class="node">
<title>Theorems/Pullback</title>
<ellipse fill="none" stroke="black" cx="3080.99" cy="-666" rx="98.58" ry="18"/>
<text text-anchor="middle" x="3080.99" y="-662.3" font-family="Times,serif" font-size="14.00">Theorems/Pullback</text>
</g>
<!-- Theorems/Equiv&#45;&gt;Theorems/Pullback -->
<g id="edge95" class="edge">
<title>Theorems/Equiv&#45;&gt;Theorems/Pullback</title>
<path fill="none" stroke="black" d="M3080.99,-719.7C3080.99,-711.98 3080.99,-702.71 3080.99,-694.11"/>
<polygon fill="black" stroke="black" points="3084.49,-694.1 3080.99,-684.1 3077.49,-694.1 3084.49,-694.1"/>
</g>
<!-- Theorems/Univalence -->
<g id="node83" class="node">
<title>Theorems/Univalence</title>
<ellipse fill="none" stroke="black" cx="2430.99" cy="-666" rx="111.28" ry="18"/>
<text text-anchor="middle" x="2430.99" y="-662.3" font-family="Times,serif" font-size="14.00">Theorems/Univalence</text>
</g>
<!-- Theorems/Equiv&#45;&gt;Theorems/Univalence -->
<g id="edge96" class="edge">
<title>Theorems/Equiv&#45;&gt;Theorems/Univalence</title>
<path fill="none" stroke="black" d="M3004.77,-729.38C2858.11,-714.71 2550.99,-684 2550.99,-684 2550.99,-684 2538.7,-682.26 2521.99,-679.89"/>
<polygon fill="black" stroke="black" points="2522.09,-676.37 2511.7,-678.43 2521.11,-683.3 2522.09,-676.37"/>
</g>
<!-- Types/Precategory -->
<g id="node84" class="node">
<title>Types/Precategory</title>
<ellipse fill="none" stroke="black" cx="2828.99" cy="-666" rx="97.48" ry="18"/>
<text text-anchor="middle" x="2828.99" y="-662.3" font-family="Times,serif" font-size="14.00">Types/Precategory</text>
</g>
<!-- Theorems/Equiv&#45;&gt;Types/Precategory -->
<g id="edge97" class="edge">
<title>Theorems/Equiv&#45;&gt;Types/Precategory</title>
<path fill="none" stroke="black" d="M3031.2,-723.17C2990.88,-711.97 2933.88,-696.14 2890.67,-684.13"/>
<polygon fill="black" stroke="black" points="2891.41,-680.71 2880.84,-681.4 2889.54,-687.45 2891.41,-680.71"/>
</g>
<!-- Theorems/Fibration&#45;&gt;Theorems/Hopf -->
<g id="edge98" class="edge">
<title>Theorems/Fibration&#45;&gt;Theorems/Hopf</title>
<path fill="none" stroke="black" d="M3611.79,-648.38C3556.86,-607.24 3418.99,-504 3418.99,-504 3418.99,-504 3225.2,-432.12 3131.53,-397.37"/>
<polygon fill="black" stroke="black" points="3132.56,-394.03 3121.97,-393.83 3130.13,-400.59 3132.56,-394.03"/>
</g>
<!-- HITs/Trunc&#45;&gt;Algebra/Monoid -->
<g id="edge73" class="edge">
<title>HITs/Trunc&#45;&gt;Algebra/Monoid</title>
<path fill="none" stroke="black" d="M1171.29,-438.33C1156.02,-434.91 1142.99,-432 1142.99,-432 1142.99,-432 455.99,-396 455.99,-396 455.99,-396 446.88,-394.35 434.33,-392.08"/>
<polygon fill="black" stroke="black" points="434.63,-388.58 424.16,-390.24 433.38,-395.47 434.63,-388.58"/>
</g>
<!-- HITs/Trunc&#45;&gt;Algebra/EilenbergMacLane -->
<g id="edge71" class="edge">
<title>HITs/Trunc&#45;&gt;Algebra/EilenbergMacLane</title>
<path fill="none" stroke="black" d="M1171.29,-438.33C1156.02,-434.91 1142.99,-432 1142.99,-432 1142.99,-432 747.99,-396 747.99,-396 747.99,-396 732.23,-394.16 711.06,-391.7"/>
<polygon fill="black" stroke="black" points="711.33,-388.21 700.99,-390.53 710.52,-395.16 711.33,-388.21"/>
</g>
<!-- HITs/Trunc&#45;&gt;Algebra/Group/Homotopy -->
<g id="edge72" class="edge">
<title>HITs/Trunc&#45;&gt;Algebra/Group/Homotopy</title>
<path fill="none" stroke="black" d="M1171.29,-438.33C1156.02,-434.91 1142.99,-432 1142.99,-432 1142.99,-432 1040.71,-410.91 965.2,-395.33"/>
<polygon fill="black" stroke="black" points="965.7,-391.86 955.2,-393.27 964.28,-398.72 965.7,-391.86"/>
</g>
<!-- HITs/Trunc&#45;&gt;HITs/Sphere -->
<g id="edge75" class="edge">
<title>HITs/Trunc&#45;&gt;HITs/Sphere</title>
<path fill="none" stroke="black" d="M1272.04,-440.65C1299.35,-436.35 1326.99,-432 1326.99,-432 1326.99,-432 1831.99,-396 1831.99,-396 1831.99,-396 1839.25,-394.42 1849.34,-392.22"/>
<polygon fill="black" stroke="black" points="1850.24,-395.6 1859.27,-390.05 1848.75,-388.76 1850.24,-395.6"/>
</g>
<!-- HITs/Setquot -->
<g id="node62" class="node">
<title>HITs/Setquot</title>
<ellipse fill="none" stroke="black" cx="1179.99" cy="-378" rx="71.49" ry="18"/>
<text text-anchor="middle" x="1179.99" y="-374.3" font-family="Times,serif" font-size="14.00">HITs/Setquot</text>
</g>
<!-- HITs/Trunc&#45;&gt;HITs/Setquot -->
<g id="edge74" class="edge">
<title>HITs/Trunc&#45;&gt;HITs/Setquot</title>
<path fill="none" stroke="black" d="M1209.55,-432.05C1205.06,-424.01 1199.6,-414.2 1194.6,-405.23"/>
<polygon fill="black" stroke="black" points="1197.54,-403.31 1189.61,-396.28 1191.42,-406.71 1197.54,-403.31"/>
</g>
<!-- Theorems/Connectedness -->
<g id="node65" class="node">
<title>Theorems/Connectedness</title>
<ellipse fill="none" stroke="black" cx="129.99" cy="-378" rx="129.98" ry="18"/>
<text text-anchor="middle" x="129.99" y="-374.3" font-family="Times,serif" font-size="14.00">Theorems/Connectedness</text>
</g>
<!-- HITs/Trunc&#45;&gt;Theorems/Connectedness -->
<g id="edge76" class="edge">
<title>HITs/Trunc&#45;&gt;Theorems/Connectedness</title>
<path fill="none" stroke="black" d="M1165.33,-441C1135.76,-436.59 1104.99,-432 1104.99,-432 1104.99,-432 268.99,-396 268.99,-396 268.99,-396 253.96,-394.16 233.79,-391.7"/>
<polygon fill="black" stroke="black" points="234.21,-388.22 223.86,-390.48 233.36,-395.17 234.21,-388.22"/>
</g>
<!-- Theorems/Functions&#45;&gt;Exercises/Chap4 -->
<g id="edge99" class="edge">
<title>Theorems/Functions&#45;&gt;Exercises/Chap4</title>
<path fill="none" stroke="black" d="M2704.42,-719.84C2711.11,-693.98 2722.99,-648 2722.99,-648 2722.99,-648 2741.99,-576 2741.99,-576 2741.99,-576 2874.99,-540 2874.99,-540 2874.99,-540 2939.99,-432 2939.99,-432 2939.99,-432 3172.99,-396 3172.99,-396 3172.99,-396 3182.38,-394.35 3195.32,-392.09"/>
<polygon fill="black" stroke="black" points="3196.04,-395.51 3205.29,-390.34 3194.83,-388.62 3196.04,-395.51"/>
</g>
<!-- Modal/Etale -->
<g id="node74" class="node">
<title>Modal/Etale</title>
<ellipse fill="none" stroke="black" cx="2196.99" cy="-666" rx="66.89" ry="18"/>
<text text-anchor="middle" x="2196.99" y="-662.3" font-family="Times,serif" font-size="14.00">Modal/Etale</text>
</g>
<!-- Theorems/Functions&#45;&gt;Modal/Etale -->
<g id="edge100" class="edge">
<title>Theorems/Functions&#45;&gt;Modal/Etale</title>
<path fill="none" stroke="black" d="M2623.28,-725.66C2602.19,-722.54 2584.99,-720 2584.99,-720 2584.99,-720 2310.99,-684 2310.99,-684 2310.99,-684 2288.78,-680.69 2263.96,-676.99"/>
<polygon fill="black" stroke="black" points="2264.4,-673.51 2253.99,-675.5 2263.36,-680.44 2264.4,-673.51"/>
</g>
<!-- Theorems/Functions&#45;&gt;Theorems/Univalence -->
<g id="edge101" class="edge">
<title>Theorems/Functions&#45;&gt;Theorems/Univalence</title>
<path fill="none" stroke="black" d="M2644.58,-722.58C2601.73,-711.43 2542.29,-695.96 2496.98,-684.17"/>
<polygon fill="black" stroke="black" points="2497.81,-680.77 2487.25,-681.64 2496.05,-687.55 2497.81,-680.77"/>
</g>
<!-- Theorems/Functions&#45;&gt;Types/Precategory -->
<g id="edge102" class="edge">
<title>Theorems/Functions&#45;&gt;Types/Precategory</title>
<path fill="none" stroke="black" d="M2730.23,-720.59C2748.11,-710.89 2770.92,-698.51 2790.12,-688.09"/>
<polygon fill="black" stroke="black" points="2791.81,-691.15 2798.93,-683.31 2788.47,-685 2791.81,-691.15"/>
</g>
<!-- HITs/Pushout -->
<g id="node58" class="node">
<title>HITs/Pushout</title>
<ellipse fill="none" stroke="black" cx="2122.99" cy="-882" rx="73.39" ry="18"/>
<text text-anchor="middle" x="2122.99" y="-878.3" font-family="Times,serif" font-size="14.00">HITs/Pushout</text>
</g>
<!-- HITs/Suspension -->
<g id="node59" class="node">
<title>HITs/Suspension</title>
<ellipse fill="none" stroke="black" cx="2023.99" cy="-810" rx="88.28" ry="18"/>
<text text-anchor="middle" x="2023.99" y="-806.3" font-family="Times,serif" font-size="14.00">HITs/Suspension</text>
</g>
<!-- HITs/Pushout&#45;&gt;HITs/Suspension -->
<g id="edge58" class="edge">
<title>HITs/Pushout&#45;&gt;HITs/Suspension</title>
<path fill="none" stroke="black" d="M2100.03,-864.76C2086.75,-855.38 2069.86,-843.44 2055.38,-833.19"/>
<polygon fill="black" stroke="black" points="2057.35,-830.31 2047.17,-827.39 2053.31,-836.02 2057.35,-830.31"/>
</g>
<!-- HITs/Wedge -->
<g id="node60" class="node">
<title>HITs/Wedge</title>
<ellipse fill="none" stroke="black" cx="1850.99" cy="-810" rx="66.09" ry="18"/>
<text text-anchor="middle" x="1850.99" y="-806.3" font-family="Times,serif" font-size="14.00">HITs/Wedge</text>
</g>
<!-- HITs/Pushout&#45;&gt;HITs/Wedge -->
<g id="edge59" class="edge">
<title>HITs/Pushout&#45;&gt;HITs/Wedge</title>
<path fill="none" stroke="black" d="M2074.36,-868.49C2027.47,-856.42 1956.55,-838.17 1907.25,-825.48"/>
<polygon fill="black" stroke="black" points="1907.94,-822.04 1897.38,-822.94 1906.19,-828.82 1907.94,-822.04"/>
</g>
<!-- HITs/Suspension&#45;&gt;Algebra/EilenbergMacLane -->
<g id="edge68" class="edge">
<title>HITs/Suspension&#45;&gt;Algebra/EilenbergMacLane</title>
<path fill="none" stroke="black" d="M1959.17,-797.76C1940.94,-794.59 1925.99,-792 1925.99,-792 1925.99,-792 937.99,-667 937.99,-667 937.99,-667 937.99,-667 937.99,-521 937.99,-521 742.84,-438.53 649.99,-399.29"/>
<polygon fill="black" stroke="black" points="651.11,-395.96 640.53,-395.29 648.38,-402.41 651.11,-395.96"/>
</g>
<!-- HITs/Suspension&#45;&gt;HITs/Circle -->
<g id="edge69" class="edge">
<title>HITs/Suspension&#45;&gt;HITs/Circle</title>
<path fill="none" stroke="black" d="M2042.66,-792.23C2059.94,-776.7 2082.99,-756 2082.99,-756 2082.99,-756 2120.99,-648 2120.99,-648 2120.99,-648 2506.99,-504 2506.99,-504 2506.99,-504 2576.82,-482.36 2627.23,-466.73"/>
<polygon fill="black" stroke="black" points="2628.51,-470 2637.03,-463.69 2626.44,-463.31 2628.51,-470"/>
</g>
<!-- HITs/Join -->
<g id="node64" class="node">
<title>HITs/Join</title>
<ellipse fill="none" stroke="black" cx="2020.99" cy="-738" rx="52.79" ry="18"/>
<text text-anchor="middle" x="2020.99" y="-734.3" font-family="Times,serif" font-size="14.00">HITs/Join</text>
</g>
<!-- HITs/Suspension&#45;&gt;HITs/Join -->
<g id="edge70" class="edge">
<title>HITs/Suspension&#45;&gt;HITs/Join</title>
<path fill="none" stroke="black" d="M2023.25,-791.7C2022.92,-783.98 2022.52,-774.71 2022.15,-766.11"/>
<polygon fill="black" stroke="black" points="2025.65,-765.95 2021.72,-756.1 2018.65,-766.25 2025.65,-765.95"/>
</g>
<!-- HITs/Quotient -->
<g id="node61" class="node">
<title>HITs/Quotient</title>
<ellipse fill="none" stroke="black" cx="2518.99" cy="-954" rx="75.29" ry="18"/>
<text text-anchor="middle" x="2518.99" y="-950.3" font-family="Times,serif" font-size="14.00">HITs/Quotient</text>
</g>
<!-- HITs/Quotient&#45;&gt;HITs/Coequalizer -->
<g id="edge60" class="edge">
<title>HITs/Quotient&#45;&gt;HITs/Coequalizer</title>
<path fill="none" stroke="black" d="M2481.88,-938.33C2455.29,-927.81 2419.22,-913.54 2390.37,-902.13"/>
<polygon fill="black" stroke="black" points="2391.47,-898.81 2380.88,-898.38 2388.9,-905.31 2391.47,-898.81"/>
</g>
<!-- HITs/Quotient&#45;&gt;HITs/Colimit -->
<g id="edge61" class="edge">
<title>HITs/Quotient&#45;&gt;HITs/Colimit</title>
<path fill="none" stroke="black" d="M2518.99,-935.7C2518.99,-927.98 2518.99,-918.71 2518.99,-910.11"/>
<polygon fill="black" stroke="black" points="2522.49,-910.1 2518.99,-900.1 2515.49,-910.1 2522.49,-910.1"/>
</g>
<!-- HITs/Quotient&#45;&gt;HITs/Generalized -->
<g id="edge62" class="edge">
<title>HITs/Quotient&#45;&gt;HITs/Generalized</title>
<path fill="none" stroke="black" d="M2556.3,-938.33C2583.05,-927.81 2619.32,-913.54 2648.34,-902.13"/>
<polygon fill="black" stroke="black" points="2649.85,-905.3 2657.87,-898.38 2647.29,-898.78 2649.85,-905.3"/>
</g>
<!-- HITs/Quotient&#45;&gt;HITs/Pushout -->
<g id="edge63" class="edge">
<title>HITs/Quotient&#45;&gt;HITs/Pushout</title>
<path fill="none" stroke="black" d="M2460.13,-942.6C2388.17,-929.88 2266.62,-908.39 2190.81,-894.99"/>
<polygon fill="black" stroke="black" points="2191.34,-891.53 2180.88,-893.23 2190.12,-898.42 2191.34,-891.53"/>
</g>
<!-- HITs/Setquot&#45;&gt;Algebra/Group/Action -->
<g id="edge65" class="edge">
<title>HITs/Setquot&#45;&gt;Algebra/Group/Action</title>
<path fill="none" stroke="black" d="M1201.13,-360.52C1221.09,-344.96 1247.99,-324 1247.99,-324 1247.99,-324 1285.99,-288 1285.99,-288 1285.99,-288 1441.78,-264.14 1544.28,-248.43"/>
<polygon fill="black" stroke="black" points="1544.98,-251.87 1554.34,-246.89 1543.92,-244.95 1544.98,-251.87"/>
</g>
<!-- HITs/Setquot&#45;&gt;Algebra/Group/Absolutizer -->
<g id="edge64" class="edge">
<title>HITs/Setquot&#45;&gt;Algebra/Group/Absolutizer</title>
<path fill="none" stroke="black" d="M1162.21,-360.41C1152.83,-351.65 1141.13,-340.73 1130.76,-331.06"/>
<polygon fill="black" stroke="black" points="1132.85,-328.22 1123.16,-323.96 1128.08,-333.34 1132.85,-328.22"/>
</g>
<!-- HITs/Setquot&#45;&gt;Algebra/Group/Factor -->
<g id="edge66" class="edge">
<title>HITs/Setquot&#45;&gt;Algebra/Group/Factor</title>
<path fill="none" stroke="black" d="M1232.9,-365.76C1247.78,-362.59 1259.99,-360 1259.99,-360 1259.99,-360 1783.99,-324 1783.99,-324 1783.99,-324 1796.74,-322.21 1813.97,-319.79"/>
<polygon fill="black" stroke="black" points="1814.53,-323.24 1823.94,-318.39 1813.55,-316.31 1814.53,-323.24"/>
</g>
<!-- Meta/Basic -->
<g id="node66" class="node">
<title>Meta/Basic</title>
<ellipse fill="none" stroke="black" cx="2778.99" cy="-1458" rx="62.29" ry="18"/>
<text text-anchor="middle" x="2778.99" y="-1454.3" font-family="Times,serif" font-size="14.00">Meta/Basic</text>
</g>
<!-- Proto -->
<g id="node67" class="node">
<title>Proto</title>
<ellipse fill="none" stroke="black" cx="2778.99" cy="-1386" rx="36.29" ry="18"/>
<text text-anchor="middle" x="2778.99" y="-1382.3" font-family="Times,serif" font-size="14.00">Proto</text>
</g>
<!-- Meta/Basic&#45;&gt;Proto -->
<g id="edge77" class="edge">
<title>Meta/Basic&#45;&gt;Proto</title>
<path fill="none" stroke="black" d="M2778.99,-1439.7C2778.99,-1431.98 2778.99,-1422.71 2778.99,-1414.11"/>
<polygon fill="black" stroke="black" points="2782.49,-1414.1 2778.99,-1404.1 2775.49,-1414.1 2782.49,-1414.1"/>
</g>
<!-- Theorems/Ontological -->
<g id="node76" class="node">
<title>Theorems/Ontological</title>
<ellipse fill="none" stroke="black" cx="2688.99" cy="-1314" rx="112.38" ry="18"/>
<text text-anchor="middle" x="2688.99" y="-1310.3" font-family="Times,serif" font-size="14.00">Theorems/Ontological</text>
</g>
<!-- Proto&#45;&gt;Theorems/Ontological -->
<g id="edge84" class="edge">
<title>Proto&#45;&gt;Theorems/Ontological</title>
<path fill="none" stroke="black" d="M2760.34,-1370.5C2748.32,-1361.14 2732.42,-1348.78 2718.68,-1338.09"/>
<polygon fill="black" stroke="black" points="2720.5,-1335.08 2710.46,-1331.7 2716.2,-1340.6 2720.5,-1335.08"/>
</g>
<!-- Types/Id -->
<g id="node77" class="node">
<title>Types/Id</title>
<ellipse fill="none" stroke="black" cx="2868.99" cy="-1314" rx="50.09" ry="18"/>
<text text-anchor="middle" x="2868.99" y="-1310.3" font-family="Times,serif" font-size="14.00">Types/Id</text>
</g>
<!-- Proto&#45;&gt;Types/Id -->
<g id="edge85" class="edge">
<title>Proto&#45;&gt;Types/Id</title>
<path fill="none" stroke="black" d="M2797.64,-1370.5C2810.12,-1360.79 2826.78,-1347.83 2840.86,-1336.88"/>
<polygon fill="black" stroke="black" points="2843.05,-1339.6 2848.8,-1330.7 2838.76,-1334.08 2843.05,-1339.6"/>
</g>
<!-- Meta/HottTheory -->
<g id="node68" class="node">
<title>Meta/HottTheory</title>
<ellipse fill="none" stroke="black" cx="2591.99" cy="-1530" rx="90.98" ry="18"/>
<text text-anchor="middle" x="2591.99" y="-1526.3" font-family="Times,serif" font-size="14.00">Meta/HottTheory</text>
</g>
<!-- Meta/HottTheory&#45;&gt;Meta/Basic -->
<g id="edge78" class="edge">
<title>Meta/HottTheory&#45;&gt;Meta/Basic</title>
<path fill="none" stroke="black" d="M2632.56,-1513.81C2662.03,-1502.78 2701.95,-1487.84 2732.67,-1476.34"/>
<polygon fill="black" stroke="black" points="2734.16,-1479.52 2742.29,-1472.74 2731.7,-1472.96 2734.16,-1479.52"/>
</g>
<!-- Meta/Notation -->
<g id="node69" class="node">
<title>Meta/Notation</title>
<ellipse fill="none" stroke="black" cx="2778.99" cy="-1530" rx="77.99" ry="18"/>
<text text-anchor="middle" x="2778.99" y="-1526.3" font-family="Times,serif" font-size="14.00">Meta/Notation</text>
</g>
<!-- Meta/Notation&#45;&gt;Meta/Basic -->
<g id="edge79" class="edge">
<title>Meta/Notation&#45;&gt;Meta/Basic</title>
<path fill="none" stroke="black" d="M2778.99,-1511.7C2778.99,-1503.98 2778.99,-1494.71 2778.99,-1486.11"/>
<polygon fill="black" stroke="black" points="2782.49,-1486.1 2778.99,-1476.1 2775.49,-1486.1 2782.49,-1486.1"/>
</g>
<!-- Meta/Tactic -->
<g id="node70" class="node">
<title>Meta/Tactic</title>
<ellipse fill="none" stroke="black" cx="2939.99" cy="-1530" rx="64.99" ry="18"/>
<text text-anchor="middle" x="2939.99" y="-1526.3" font-family="Times,serif" font-size="14.00">Meta/Tactic</text>
</g>
<!-- Meta/Tactic&#45;&gt;Meta/Basic -->
<g id="edge80" class="edge">
<title>Meta/Tactic&#45;&gt;Meta/Basic</title>
<path fill="none" stroke="black" d="M2906.63,-1514.5C2881.94,-1503.76 2848.11,-1489.05 2821.48,-1477.48"/>
<polygon fill="black" stroke="black" points="2822.6,-1474.14 2812.03,-1473.37 2819.8,-1480.56 2822.6,-1474.14"/>
</g>
<!-- Meta/Trust -->
<g id="node71" class="node">
<title>Meta/Trust</title>
<ellipse fill="none" stroke="black" cx="2868.99" cy="-1242" rx="62.29" ry="18"/>
<text text-anchor="middle" x="2868.99" y="-1238.3" font-family="Times,serif" font-size="14.00">Meta/Trust</text>
</g>
<!-- Types/Equiv -->
<g id="node72" class="node">
<title>Types/Equiv</title>
<ellipse fill="none" stroke="black" cx="2868.99" cy="-1170" rx="67.69" ry="18"/>
<text text-anchor="middle" x="2868.99" y="-1166.3" font-family="Times,serif" font-size="14.00">Types/Equiv</text>
</g>
<!-- Meta/Trust&#45;&gt;Types/Equiv -->
<g id="edge81" class="edge">
<title>Meta/Trust&#45;&gt;Types/Equiv</title>
<path fill="none" stroke="black" d="M2868.99,-1223.7C2868.99,-1215.98 2868.99,-1206.71 2868.99,-1198.11"/>
<polygon fill="black" stroke="black" points="2872.49,-1198.1 2868.99,-1188.1 2865.49,-1198.1 2872.49,-1198.1"/>
</g>
<!-- Modal/Infinitesimal -->
<g id="node75" class="node">
<title>Modal/Infinitesimal</title>
<ellipse fill="none" stroke="black" cx="2537.99" cy="-1026" rx="100.98" ry="18"/>
<text text-anchor="middle" x="2537.99" y="-1022.3" font-family="Times,serif" font-size="14.00">Modal/Infinitesimal</text>
</g>
<!-- Types/Equiv&#45;&gt;Modal/Infinitesimal -->
<g id="edge123" class="edge">
<title>Types/Equiv&#45;&gt;Modal/Infinitesimal</title>
<path fill="none" stroke="black" d="M2824.93,-1156.17C2771.07,-1140.48 2686.99,-1116 2686.99,-1116 2686.99,-1116 2618.51,-1075.1 2574.4,-1048.75"/>
<polygon fill="black" stroke="black" points="2576.04,-1045.65 2565.67,-1043.53 2572.46,-1051.66 2576.04,-1045.65"/>
</g>
<!-- Types/Coproduct -->
<g id="node91" class="node">
<title>Types/Coproduct</title>
<ellipse fill="none" stroke="black" cx="2784.99" cy="-1098" rx="89.08" ry="18"/>
<text text-anchor="middle" x="2784.99" y="-1094.3" font-family="Times,serif" font-size="14.00">Types/Coproduct</text>
</g>
<!-- Types/Equiv&#45;&gt;Types/Coproduct -->
<g id="edge124" class="edge">
<title>Types/Equiv&#45;&gt;Types/Coproduct</title>
<path fill="none" stroke="black" d="M2849.08,-1152.41C2838.28,-1143.41 2824.76,-1132.14 2812.92,-1122.27"/>
<polygon fill="black" stroke="black" points="2814.97,-1119.43 2805.04,-1115.71 2810.49,-1124.8 2814.97,-1119.43"/>
</g>
<!-- Types/HEq -->
<g id="node93" class="node">
<title>Types/HEq</title>
<ellipse fill="none" stroke="black" cx="2953.99" cy="-1098" rx="61.99" ry="18"/>
<text text-anchor="middle" x="2953.99" y="-1094.3" font-family="Times,serif" font-size="14.00">Types/HEq</text>
</g>
<!-- Types/Equiv&#45;&gt;Types/HEq -->
<g id="edge125" class="edge">
<title>Types/Equiv&#45;&gt;Types/HEq</title>
<path fill="none" stroke="black" d="M2888.7,-1152.76C2899.97,-1143.49 2914.26,-1131.71 2926.6,-1121.55"/>
<polygon fill="black" stroke="black" points="2928.89,-1124.21 2934.38,-1115.15 2924.44,-1118.8 2928.89,-1124.21"/>
</g>
<!-- Types/Lost -->
<g id="node94" class="node">
<title>Types/Lost</title>
<ellipse fill="none" stroke="black" cx="3929.99" cy="-522" rx="61.19" ry="18"/>
<text text-anchor="middle" x="3929.99" y="-518.3" font-family="Times,serif" font-size="14.00">Types/Lost</text>
</g>
<!-- Types/Equiv&#45;&gt;Types/Lost -->
<g id="edge126" class="edge">
<title>Types/Equiv&#45;&gt;Types/Lost</title>
<path fill="none" stroke="black" d="M2927.55,-1160.86C3144.5,-1130.68 3889.99,-1027 3889.99,-1027 3889.99,-1027 3889.99,-1027 3889.99,-665 3889.99,-665 3910.84,-590.97 3922.43,-549.82"/>
<polygon fill="black" stroke="black" points="3925.82,-550.7 3925.16,-540.13 3919.08,-548.8 3925.82,-550.7"/>
</g>
<!-- Types/Sigma -->
<g id="node95" class="node">
<title>Types/Sigma</title>
<ellipse fill="none" stroke="black" cx="3455.99" cy="-954" rx="70.39" ry="18"/>
<text text-anchor="middle" x="3455.99" y="-950.3" font-family="Times,serif" font-size="14.00">Types/Sigma</text>
</g>
<!-- Types/Equiv&#45;&gt;Types/Sigma -->
<g id="edge127" class="edge">
<title>Types/Equiv&#45;&gt;Types/Sigma</title>
<path fill="none" stroke="black" d="M2909.16,-1155.35C2955.38,-1139.65 3024.99,-1116 3024.99,-1116 3024.99,-1116 3296.22,-1014.68 3408.35,-972.79"/>
<polygon fill="black" stroke="black" points="3409.6,-976.07 3417.74,-969.29 3407.15,-969.51 3409.6,-976.07"/>
</g>
<!-- Types/Unit -->
<g id="node96" class="node">
<title>Types/Unit</title>
<ellipse fill="none" stroke="black" cx="2077.99" cy="-954" rx="61.99" ry="18"/>
<text text-anchor="middle" x="2077.99" y="-950.3" font-family="Times,serif" font-size="14.00">Types/Unit</text>
</g>
<!-- Types/Equiv&#45;&gt;Types/Unit -->
<g id="edge128" class="edge">
<title>Types/Equiv&#45;&gt;Types/Unit</title>
<path fill="none" stroke="black" d="M2818.34,-1157.95C2747.13,-1142.42 2625.99,-1116 2625.99,-1116 2625.99,-1116 2266.61,-1010.42 2129.91,-970.26"/>
<polygon fill="black" stroke="black" points="2130.66,-966.83 2120.08,-967.37 2128.69,-973.54 2130.66,-966.83"/>
</g>
<!-- Modal/Disc -->
<g id="node73" class="node">
<title>Modal/Disc</title>
<ellipse fill="none" stroke="black" cx="2229.99" cy="-810" rx="62.29" ry="18"/>
<text text-anchor="middle" x="2229.99" y="-806.3" font-family="Times,serif" font-size="14.00">Modal/Disc</text>
</g>
<!-- Modal/Disc&#45;&gt;Modal/Etale -->
<g id="edge82" class="edge">
<title>Modal/Disc&#45;&gt;Modal/Etale</title>
<path fill="none" stroke="black" d="M2226.01,-791.87C2220.36,-767.56 2209.96,-722.82 2203.27,-694.01"/>
<polygon fill="black" stroke="black" points="2206.66,-693.14 2200.98,-684.19 2199.84,-694.72 2206.66,-693.14"/>
</g>
<!-- Modal/Infinitesimal&#45;&gt;Modal/Disc -->
<g id="edge83" class="edge">
<title>Modal/Infinitesimal&#45;&gt;Modal/Disc</title>
<path fill="none" stroke="black" d="M2500.63,-1009.17C2421.25,-975.53 2242.99,-900 2242.99,-900 2242.99,-900 2237.8,-864.48 2233.98,-838.32"/>
<polygon fill="black" stroke="black" points="2237.4,-837.55 2232.49,-828.16 2230.48,-838.56 2237.4,-837.55"/>
</g>
<!-- Types/Id&#45;&gt;Meta/Trust -->
<g id="edge131" class="edge">
<title>Types/Id&#45;&gt;Meta/Trust</title>
<path fill="none" stroke="black" d="M2868.99,-1295.7C2868.99,-1287.98 2868.99,-1278.71 2868.99,-1270.11"/>
<polygon fill="black" stroke="black" points="2872.49,-1270.1 2868.99,-1260.1 2865.49,-1270.1 2872.49,-1270.1"/>
</g>
<!-- Structures -->
<g id="node78" class="node">
<title>Structures</title>
<ellipse fill="none" stroke="black" cx="2865.99" cy="-882" rx="60.39" ry="18"/>
<text text-anchor="middle" x="2865.99" y="-878.3" font-family="Times,serif" font-size="14.00">Structures</text>
</g>
<!-- Structures&#45;&gt;HITs/Merely -->
<g id="edge87" class="edge">
<title>Structures&#45;&gt;HITs/Merely</title>
<path fill="none" stroke="black" d="M2832.19,-867C2806.06,-856.18 2769.65,-841.1 2741.2,-829.31"/>
<polygon fill="black" stroke="black" points="2742.46,-826.05 2731.89,-825.45 2739.78,-832.51 2742.46,-826.05"/>
</g>
<!-- Structures&#45;&gt;HITs/Interval -->
<g id="edge86" class="edge">
<title>Structures&#45;&gt;HITs/Interval</title>
<path fill="none" stroke="black" d="M2912.58,-870.44C2966.21,-858.3 3054.49,-838.3 3113.66,-824.89"/>
<polygon fill="black" stroke="black" points="3114.65,-828.26 3123.63,-822.63 3113.1,-821.43 3114.65,-828.26"/>
</g>
<!-- Structures&#45;&gt;Modal/Disc -->
<g id="edge88" class="edge">
<title>Structures&#45;&gt;Modal/Disc</title>
<path fill="none" stroke="black" d="M2820.73,-869.85C2807.73,-866.65 2796.99,-864 2796.99,-864 2796.99,-864 2449.13,-831.48 2298.34,-817.39"/>
<polygon fill="black" stroke="black" points="2298.55,-813.89 2288.27,-816.45 2297.9,-820.86 2298.55,-813.89"/>
</g>
<!-- Theorems/Weak -->
<g id="node79" class="node">
<title>Theorems/Weak</title>
<ellipse fill="none" stroke="black" cx="3348.99" cy="-810" rx="84.49" ry="18"/>
<text text-anchor="middle" x="3348.99" y="-806.3" font-family="Times,serif" font-size="14.00">Theorems/Weak</text>
</g>
<!-- Structures&#45;&gt;Theorems/Weak -->
<g id="edge89" class="edge">
<title>Structures&#45;&gt;Theorems/Weak</title>
<path fill="none" stroke="black" d="M2919.67,-873.69C3026.38,-859.15 3254.99,-828 3254.99,-828 3254.99,-828 3264.1,-826.35 3276.64,-824.08"/>
<polygon fill="black" stroke="black" points="3277.6,-827.47 3286.81,-822.24 3276.35,-820.58 3277.6,-827.47"/>
</g>
<!-- Types/Nat -->
<g id="node80" class="node">
<title>Types/Nat</title>
<ellipse fill="none" stroke="black" cx="2617.99" cy="-666" rx="57.69" ry="18"/>
<text text-anchor="middle" x="2617.99" y="-662.3" font-family="Times,serif" font-size="14.00">Types/Nat</text>
</g>
<!-- Structures&#45;&gt;Types/Nat -->
<g id="edge90" class="edge">
<title>Structures&#45;&gt;Types/Nat</title>
<path fill="none" stroke="black" d="M2860.42,-863.77C2847.01,-822.24 2813.99,-720 2813.99,-720 2813.99,-720 2727.88,-696.72 2669.81,-681.01"/>
<polygon fill="black" stroke="black" points="2670.6,-677.6 2660.04,-678.37 2668.78,-684.36 2670.6,-677.6"/>
</g>
<!-- Theorems/Nat -->
<g id="node87" class="node">
<title>Theorems/Nat</title>
<ellipse fill="none" stroke="black" cx="2617.99" cy="-594" rx="76.89" ry="18"/>
<text text-anchor="middle" x="2617.99" y="-590.3" font-family="Times,serif" font-size="14.00">Theorems/Nat</text>
</g>
<!-- Types/Nat&#45;&gt;Theorems/Nat -->
<g id="edge135" class="edge">
<title>Types/Nat&#45;&gt;Theorems/Nat</title>
<path fill="none" stroke="black" d="M2617.99,-647.7C2617.99,-639.98 2617.99,-630.71 2617.99,-622.11"/>
<polygon fill="black" stroke="black" points="2621.49,-622.1 2617.99,-612.1 2614.49,-622.1 2621.49,-622.1"/>
</g>
<!-- Theorems/Classical -->
<g id="node81" class="node">
<title>Theorems/Classical</title>
<ellipse fill="none" stroke="black" cx="2100.99" cy="-522" rx="100.98" ry="18"/>
<text text-anchor="middle" x="2100.99" y="-518.3" font-family="Times,serif" font-size="14.00">Theorems/Classical</text>
</g>
<!-- Theorems/Classical&#45;&gt;Algebra/Category -->
<g id="edge91" class="edge">
<title>Theorems/Classical&#45;&gt;Algebra/Category</title>
<path fill="none" stroke="black" d="M2061.27,-505.29C2035.01,-494.91 2000.42,-481.23 1972.53,-470.2"/>
<polygon fill="black" stroke="black" points="1973.56,-466.84 1962.97,-466.42 1970.98,-473.35 1973.56,-466.84"/>
</g>
<!-- Theorems/Classical&#45;&gt;Algebra/Orgraph -->
<g id="edge92" class="edge">
<title>Theorems/Classical&#45;&gt;Algebra/Orgraph</title>
<path fill="none" stroke="black" d="M2095.4,-503.87C2077.85,-450.06 2024.99,-288 2024.99,-288 2024.99,-288 2006.99,-252 2006.99,-252 2006.99,-252 2006.99,-216 2006.99,-216 2006.99,-216 2014.37,-202.5 2021.69,-189.13"/>
<polygon fill="black" stroke="black" points="2024.92,-190.51 2026.65,-180.06 2018.78,-187.15 2024.92,-190.51"/>
</g>
<!-- Theorems/Pullback&#45;&gt;Exercises/Chap2 -->
<g id="edge111" class="edge">
<title>Theorems/Pullback&#45;&gt;Exercises/Chap2</title>
<path fill="none" stroke="black" d="M3080.99,-647.7C3080.99,-639.98 3080.99,-630.71 3080.99,-622.11"/>
<polygon fill="black" stroke="black" points="3084.49,-622.1 3080.99,-612.1 3077.49,-622.1 3084.49,-622.1"/>
</g>
<!-- Theorems/Univalence&#45;&gt;Cubical/V -->
<g id="edge112" class="edge">
<title>Theorems/Univalence&#45;&gt;Cubical/V</title>
<path fill="none" stroke="black" d="M2511.7,-653.57C2533.4,-650.49 2550.99,-648 2550.99,-648 2550.99,-648 3177.99,-612 3177.99,-612 3177.99,-612 3202.89,-608.12 3228.89,-604.06"/>
<polygon fill="black" stroke="black" points="3229.52,-607.51 3238.86,-602.51 3228.44,-600.59 3229.52,-607.51"/>
</g>
<!-- Theorems/Univalence&#45;&gt;Exercises/Chap2 -->
<g id="edge113" class="edge">
<title>Theorems/Univalence&#45;&gt;Exercises/Chap2</title>
<path fill="none" stroke="black" d="M2511.7,-653.57C2533.4,-650.49 2550.99,-648 2550.99,-648 2550.99,-648 2925.99,-612 2925.99,-612 2925.99,-612 2959.38,-608.34 2995.17,-604.41"/>
<polygon fill="black" stroke="black" points="2995.75,-607.87 3005.3,-603.3 2994.98,-600.91 2995.75,-607.87"/>
</g>
<!-- Theorems/Univalence&#45;&gt;HITs/Circle -->
<g id="edge114" class="edge">
<title>Theorems/Univalence&#45;&gt;HITs/Circle</title>
<path fill="none" stroke="black" d="M2441.82,-648.07C2468.26,-606.74 2533.99,-504 2533.99,-504 2533.99,-504 2589.29,-483.65 2631.35,-468.17"/>
<polygon fill="black" stroke="black" points="2632.73,-471.39 2640.9,-464.65 2630.31,-464.82 2632.73,-471.39"/>
</g>
<!-- Theorems/Univalence&#45;&gt;HITs/Flattening -->
<g id="edge115" class="edge">
<title>Theorems/Univalence&#45;&gt;HITs/Flattening</title>
<path fill="none" stroke="black" d="M2340.91,-655.31C2305.43,-651.49 2272.99,-648 2272.99,-648 2272.99,-648 1655.99,-612 1655.99,-612 1655.99,-612 1630.01,-608.73 1600.84,-605.06"/>
<polygon fill="black" stroke="black" points="1601.22,-601.58 1590.86,-603.8 1600.35,-608.52 1601.22,-601.58"/>
</g>
<!-- Theorems/Univalence&#45;&gt;Theorems/Connectedness -->
<g id="edge117" class="edge">
<title>Theorems/Univalence&#45;&gt;Theorems/Connectedness</title>
<path fill="none" stroke="black" d="M2340.91,-655.31C2305.43,-651.49 2272.99,-648 2272.99,-648 2272.99,-648 1837.99,-612 1837.99,-612 1837.99,-612 1612.99,-576 1612.99,-576 1612.99,-576 563.74,-436.62 230.38,-392.34"/>
<polygon fill="black" stroke="black" points="230.62,-388.84 220.25,-390.99 229.7,-395.78 230.62,-388.84"/>
</g>
<!-- Theorems/Univalence&#45;&gt;Theorems/Classical -->
<g id="edge116" class="edge">
<title>Theorems/Univalence&#45;&gt;Theorems/Classical</title>
<path fill="none" stroke="black" d="M2393.77,-648.99C2333.13,-622.89 2213.13,-571.25 2147.14,-542.86"/>
<polygon fill="black" stroke="black" points="2148.38,-539.58 2137.81,-538.85 2145.62,-546.01 2148.38,-539.58"/>
</g>
<!-- Theorems/Univalence&#45;&gt;Theorems/Nat -->
<g id="edge118" class="edge">
<title>Theorems/Univalence&#45;&gt;Theorems/Nat</title>
<path fill="none" stroke="black" d="M2472.95,-649.29C2501.62,-638.56 2539.68,-624.31 2569.62,-613.11"/>
<polygon fill="black" stroke="black" points="2570.9,-616.37 2579.03,-609.58 2568.44,-609.81 2570.9,-616.37"/>
</g>
<!-- Types/Ens -->
<g id="node90" class="node">
<title>Types/Ens</title>
<ellipse fill="none" stroke="black" cx="1904.99" cy="-594" rx="58.49" ry="18"/>
<text text-anchor="middle" x="1904.99" y="-590.3" font-family="Times,serif" font-size="14.00">Types/Ens</text>
</g>
<!-- Theorems/Univalence&#45;&gt;Types/Ens -->
<g id="edge119" class="edge">
<title>Theorems/Univalence&#45;&gt;Types/Ens</title>
<path fill="none" stroke="black" d="M2348.66,-653.8C2325.25,-650.62 2305.99,-648 2305.99,-648 2305.99,-648 2080.98,-618.26 1968.06,-603.34"/>
<polygon fill="black" stroke="black" points="1968.2,-599.82 1957.82,-601.98 1967.28,-606.76 1968.2,-599.82"/>
</g>
<!-- Types/Category -->
<g id="node97" class="node">
<title>Types/Category</title>
<ellipse fill="none" stroke="black" cx="2833.99" cy="-594" rx="83.39" ry="18"/>
<text text-anchor="middle" x="2833.99" y="-590.3" font-family="Times,serif" font-size="14.00">Types/Category</text>
</g>
<!-- Types/Precategory&#45;&gt;Types/Category -->
<g id="edge136" class="edge">
<title>Types/Precategory&#45;&gt;Types/Category</title>
<path fill="none" stroke="black" d="M2830.22,-647.7C2830.78,-639.98 2831.44,-630.71 2832.05,-622.11"/>
<polygon fill="black" stroke="black" points="2835.55,-622.33 2832.77,-612.1 2828.56,-621.83 2835.55,-622.33"/>
</g>
<!-- Theorems/Funext -->
<g id="node85" class="node">
<title>Theorems/Funext</title>
<ellipse fill="none" stroke="black" cx="2953.99" cy="-1026" rx="92.08" ry="18"/>
<text text-anchor="middle" x="2953.99" y="-1022.3" font-family="Times,serif" font-size="14.00">Theorems/Funext</text>
</g>
<!-- Types/Product -->
<g id="node86" class="node">
<title>Types/Product</title>
<ellipse fill="none" stroke="black" cx="2953.99" cy="-954" rx="77.19" ry="18"/>
<text text-anchor="middle" x="2953.99" y="-950.3" font-family="Times,serif" font-size="14.00">Types/Product</text>
</g>
<!-- Theorems/Funext&#45;&gt;Types/Product -->
<g id="edge103" class="edge">
<title>Theorems/Funext&#45;&gt;Types/Product</title>
<path fill="none" stroke="black" d="M2953.99,-1007.7C2953.99,-999.98 2953.99,-990.71 2953.99,-982.11"/>
<polygon fill="black" stroke="black" points="2957.49,-982.1 2953.99,-972.1 2950.49,-982.1 2957.49,-982.1"/>
</g>
<!-- Types/Product&#45;&gt;Exercises/Chap1 -->
<g id="edge137" class="edge">
<title>Types/Product&#45;&gt;Exercises/Chap1</title>
<path fill="none" stroke="black" d="M3013.95,-942.5C3201.57,-909.65 3764.99,-811 3764.99,-811 3764.99,-811 3764.99,-811 3764.99,-665 3764.99,-665 3744.14,-590.97 3732.54,-549.82"/>
<polygon fill="black" stroke="black" points="3735.89,-548.8 3729.81,-540.13 3729.16,-550.7 3735.89,-548.8"/>
</g>
<!-- Types/Product&#45;&gt;Exercises/Chap4 -->
<g id="edge138" class="edge">
<title>Types/Product&#45;&gt;Exercises/Chap4</title>
<path fill="none" stroke="black" d="M2953.99,-935.87C2953.99,-898.1 2953.99,-811 2953.99,-811 2953.99,-811 2953.99,-811 2953.99,-521 2953.99,-521 3139.04,-437.84 3225.93,-398.8"/>
<polygon fill="black" stroke="black" points="3227.58,-401.89 3235.27,-394.6 3224.71,-395.51 3227.58,-401.89"/>
</g>
<!-- Types/Product&#45;&gt;Structures -->
<g id="edge139" class="edge">
<title>Types/Product&#45;&gt;Structures</title>
<path fill="none" stroke="black" d="M2933.13,-936.41C2921.46,-927.12 2906.75,-915.42 2894.07,-905.34"/>
<polygon fill="black" stroke="black" points="2896.09,-902.47 2886.09,-898.99 2891.73,-907.95 2896.09,-902.47"/>
</g>
<!-- Theorems/Nat&#45;&gt;Algebra/Group/Finite -->
<g id="edge104" class="edge">
<title>Theorems/Nat&#45;&gt;Algebra/Group/Finite</title>
<path fill="none" stroke="black" d="M2557.45,-582.78C2466.2,-567.38 2303.99,-540 2303.99,-540 2303.99,-540 2234.72,-449.33 2200.14,-404.07"/>
<polygon fill="black" stroke="black" points="2202.77,-401.75 2193.92,-395.93 2197.21,-406 2202.77,-401.75"/>
</g>
<!-- Theorems/Nat&#45;&gt;Algebra/Group/Lemmas -->
<g id="edge105" class="edge">
<title>Theorems/Nat&#45;&gt;Algebra/Group/Lemmas</title>
<path fill="none" stroke="black" d="M2643.65,-576.81C2668.35,-561.22 2701.99,-540 2701.99,-540 2701.99,-540 2739.99,-504 2739.99,-504 2739.99,-504 2914.99,-396 2914.99,-396 2914.99,-396 2955.13,-357.59 2982.67,-331.23"/>
<polygon fill="black" stroke="black" points="2985.25,-333.6 2990.06,-324.16 2980.41,-328.55 2985.25,-333.6"/>
</g>
<!-- Theorems/Nat&#45;&gt;Algebra/Reals -->
<g id="edge106" class="edge">
<title>Theorems/Nat&#45;&gt;Algebra/Reals</title>
<path fill="none" stroke="black" d="M2592.33,-576.81C2567.63,-561.22 2533.99,-540 2533.99,-540 2533.99,-540 2336.99,-396 2336.99,-396 2336.99,-396 2310.99,-324 2310.99,-324 2310.99,-324 2310.99,-288 2310.99,-288 2310.99,-288 2531.99,-252 2531.99,-252 2531.99,-252 2533.08,-164.38 2533.65,-118.41"/>
<polygon fill="black" stroke="black" points="2537.15,-118.27 2533.77,-108.23 2530.15,-118.19 2537.15,-118.27"/>
</g>
<!-- Theorems/Nat&#45;&gt;Exercises/Chap1 -->
<g id="edge107" class="edge">
<title>Theorems/Nat&#45;&gt;Exercises/Chap1</title>
<path fill="none" stroke="black" d="M2682.53,-584.15C2712.66,-580.02 2741.99,-576 2741.99,-576 2741.99,-576 3418.99,-540 3418.99,-540 3418.99,-540 3540.81,-533.23 3630.72,-528.24"/>
<polygon fill="black" stroke="black" points="3631.18,-531.72 3640.97,-527.67 3630.79,-524.73 3631.18,-531.72"/>
</g>
<!-- Theorems/Nat&#45;&gt;Exercises/Chap4 -->
<g id="edge108" class="edge">
<title>Theorems/Nat&#45;&gt;Exercises/Chap4</title>
<path fill="none" stroke="black" d="M2671.25,-581.04C2740.85,-565.41 2853.99,-540 2853.99,-540 2853.99,-540 2896.99,-432 2896.99,-432 2896.99,-432 3172.99,-396 3172.99,-396 3172.99,-396 3182.38,-394.35 3195.32,-392.09"/>
<polygon fill="black" stroke="black" points="3196.04,-395.51 3205.29,-390.34 3194.83,-388.62 3196.04,-395.51"/>
</g>
<!-- HITs/Int -->
<g id="node88" class="node">
<title>HITs/Int</title>
<ellipse fill="none" stroke="black" cx="2796.99" cy="-522" rx="48.19" ry="18"/>
<text text-anchor="middle" x="2796.99" y="-518.3" font-family="Times,serif" font-size="14.00">HITs/Int</text>
</g>
<!-- Theorems/Nat&#45;&gt;HITs/Int -->
<g id="edge109" class="edge">
<title>Theorems/Nat&#45;&gt;HITs/Int</title>
<path fill="none" stroke="black" d="M2655.95,-578.15C2685.21,-566.71 2725.63,-550.91 2755.69,-539.15"/>
<polygon fill="black" stroke="black" points="2757.03,-542.39 2765.06,-535.48 2754.48,-535.87 2757.03,-542.39"/>
</g>
<!-- Types/Integer -->
<g id="node89" class="node">
<title>Types/Integer</title>
<ellipse fill="none" stroke="black" cx="2617.99" cy="-522" rx="75.29" ry="18"/>
<text text-anchor="middle" x="2617.99" y="-518.3" font-family="Times,serif" font-size="14.00">Types/Integer</text>
</g>
<!-- Theorems/Nat&#45;&gt;Types/Integer -->
<g id="edge110" class="edge">
<title>Theorems/Nat&#45;&gt;Types/Integer</title>
<path fill="none" stroke="black" d="M2617.99,-575.7C2617.99,-567.98 2617.99,-558.71 2617.99,-550.11"/>
<polygon fill="black" stroke="black" points="2621.49,-550.1 2617.99,-540.1 2614.49,-550.1 2621.49,-550.1"/>
</g>
<!-- Types/Integer&#45;&gt;HITs/Circle -->
<g id="edge132" class="edge">
<title>Types/Integer&#45;&gt;HITs/Circle</title>
<path fill="none" stroke="black" d="M2632.51,-504.05C2639.88,-495.46 2648.97,-484.86 2657.08,-475.4"/>
<polygon fill="black" stroke="black" points="2659.75,-477.66 2663.6,-467.79 2654.43,-473.1 2659.75,-477.66"/>
</g>
<!-- Types/Ens&#45;&gt;Algebra/Basic -->
<g id="edge121" class="edge">
<title>Types/Ens&#45;&gt;Algebra/Basic</title>
<path fill="none" stroke="black" d="M1871.4,-579.17C1845.41,-568.47 1809.14,-553.53 1780.53,-541.75"/>
<polygon fill="black" stroke="black" points="1781.73,-538.46 1771.15,-537.89 1779.06,-544.93 1781.73,-538.46"/>
</g>
<!-- Types/Setquot -->
<g id="node92" class="node">
<title>Types/Setquot</title>
<ellipse fill="none" stroke="black" cx="1904.99" cy="-522" rx="77.19" ry="18"/>
<text text-anchor="middle" x="1904.99" y="-518.3" font-family="Times,serif" font-size="14.00">Types/Setquot</text>
</g>
<!-- Types/Ens&#45;&gt;Types/Setquot -->
<g id="edge122" class="edge">
<title>Types/Ens&#45;&gt;Types/Setquot</title>
<path fill="none" stroke="black" d="M1904.99,-575.7C1904.99,-567.98 1904.99,-558.71 1904.99,-550.11"/>
<polygon fill="black" stroke="black" points="1908.49,-550.1 1904.99,-540.1 1901.49,-550.1 1908.49,-550.1"/>
</g>
<!-- Types/Coproduct&#45;&gt;Structures -->
<g id="edge120" class="edge">
<title>Types/Coproduct&#45;&gt;Structures</title>
<path fill="none" stroke="black" d="M2791.48,-1079.85C2805.59,-1042.58 2839.11,-954 2855.96,-909.49"/>
<polygon fill="black" stroke="black" points="2859.31,-910.53 2859.58,-899.94 2852.76,-908.05 2859.31,-910.53"/>
</g>
<!-- Types/HEq&#45;&gt;HITs/Quotient -->
<g id="edge129" class="edge">
<title>Types/HEq&#45;&gt;HITs/Quotient</title>
<path fill="none" stroke="black" d="M2914.23,-1084.02C2835.39,-1058.29 2659.27,-1000.79 2571.21,-972.05"/>
<polygon fill="black" stroke="black" points="2572.28,-968.71 2561.68,-968.94 2570.1,-975.37 2572.28,-968.71"/>
</g>
<!-- Types/HEq&#45;&gt;Theorems/Funext -->
<g id="edge130" class="edge">
<title>Types/HEq&#45;&gt;Theorems/Funext</title>
<path fill="none" stroke="black" d="M2953.99,-1079.7C2953.99,-1071.98 2953.99,-1062.71 2953.99,-1054.11"/>
<polygon fill="black" stroke="black" points="2957.49,-1054.1 2953.99,-1044.1 2950.49,-1054.1 2957.49,-1054.1"/>
</g>
<!-- Types/Lost&#45;&gt;Exercises/Chap3 -->
<g id="edge133" class="edge">
<title>Types/Lost&#45;&gt;Exercises/Chap3</title>
<path fill="none" stroke="black" d="M3891.43,-507.83C3859.41,-496.9 3813.54,-481.24 3778.05,-469.12"/>
<polygon fill="black" stroke="black" points="3778.94,-465.72 3768.34,-465.8 3776.67,-472.35 3778.94,-465.72"/>
</g>
<!-- Types/Lost&#45;&gt;Exercises/Chap5 -->
<g id="edge134" class="edge">
<title>Types/Lost&#45;&gt;Exercises/Chap5</title>
<path fill="none" stroke="black" d="M3915.88,-504.26C3894.16,-478.48 3854.99,-432 3854.99,-432 3854.99,-432 3506.89,-355.12 3356.67,-321.95"/>
<polygon fill="black" stroke="black" points="3357.16,-318.47 3346.64,-319.73 3355.65,-325.31 3357.16,-318.47"/>
</g>
<!-- Types/Sigma&#45;&gt;Exercises/Chap1 -->
<g id="edge140" class="edge">
<title>Types/Sigma&#45;&gt;Exercises/Chap1</title>
<path fill="none" stroke="black" d="M3513.36,-943.59C3606.18,-928.36 3778.99,-900 3778.99,-900 3778.99,-900 3802.99,-811 3802.99,-811 3802.99,-811 3802.99,-811 3802.99,-665 3802.99,-665 3778.99,-576 3778.99,-576 3778.99,-576 3763.69,-560.99 3749.38,-546.94"/>
<polygon fill="black" stroke="black" points="3751.66,-544.28 3742.07,-539.77 3746.76,-549.27 3751.66,-544.28"/>
</g>
<!-- Types/Sigma&#45;&gt;Exercises/Chap4 -->
<g id="edge141" class="edge">
<title>Types/Sigma&#45;&gt;Exercises/Chap4</title>
<path fill="none" stroke="black" d="M3514.22,-943.95C3611.61,-928.81 3796.99,-900 3796.99,-900 3796.99,-900 3840.99,-811 3840.99,-811 3840.99,-811 3840.99,-811 3840.99,-521 3840.99,-521 3821.99,-432 3821.99,-432 3821.99,-432 3514.14,-402.44 3358.24,-387.47"/>
<polygon fill="black" stroke="black" points="3358.49,-383.98 3348.2,-386.51 3357.82,-390.95 3358.49,-383.98"/>
</g>
<!-- Types/Sigma&#45;&gt;Structures -->
<g id="edge142" class="edge">
<title>Types/Sigma&#45;&gt;Structures</title>
<path fill="none" stroke="black" d="M3393.69,-945.61C3281.26,-932.27 3045.53,-904.3 2931.09,-890.72"/>
<polygon fill="black" stroke="black" points="2931.41,-887.24 2921.07,-889.54 2930.59,-894.19 2931.41,-887.24"/>
</g>
<!-- Types/Unit&#45;&gt;HITs/Suspension -->
<g id="edge143" class="edge">
<title>Types/Unit&#45;&gt;HITs/Suspension</title>
<path fill="none" stroke="black" d="M2066.28,-936.23C2055.44,-920.7 2040.99,-900 2040.99,-900 2040.99,-900 2034.2,-864.48 2029.21,-838.32"/>
<polygon fill="black" stroke="black" points="2032.58,-837.33 2027.27,-828.16 2025.7,-838.64 2032.58,-837.33"/>
</g>
<!-- Types/Unit&#45;&gt;HITs/Wedge -->
<g id="edge144" class="edge">
<title>Types/Unit&#45;&gt;HITs/Wedge</title>
<path fill="none" stroke="black" d="M2052.83,-937.26C2011.92,-911.67 1930.95,-861.02 1884.97,-832.26"/>
<polygon fill="black" stroke="black" points="1886.6,-829.15 1876.26,-826.81 1882.88,-835.08 1886.6,-829.15"/>
</g>
<!-- Types/Unit&#45;&gt;Structures -->
<g id="edge145" class="edge">
<title>Types/Unit&#45;&gt;Structures</title>
<path fill="none" stroke="black" d="M2137.13,-948.64C2309.12,-935.96 2796.99,-900 2796.99,-900 2796.99,-900 2802.78,-898.57 2811.01,-896.55"/>
<polygon fill="black" stroke="black" points="2811.86,-899.94 2820.73,-894.15 2810.19,-893.14 2811.86,-899.94"/>
</g>
</g>
</svg>