diff --git a/Markdown.html b/Markdown.html
index 60c3c08..92aefb1 100644
--- a/Markdown.html
+++ b/Markdown.html
@@ -186,6 +186,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/README.html b/README.html
index 5bb5832..d634f24 100644
--- a/README.html
+++ b/README.html
@@ -184,6 +184,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/_sources/authors.ipynb b/_sources/authors.ipynb
index f9b191c..31d4bc3 100644
--- a/_sources/authors.ipynb
+++ b/_sources/authors.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "e25d3966",
+   "id": "44947383",
    "metadata": {},
    "source": [
     "# Authors\n",
diff --git a/_sources/chp0.ipynb b/_sources/chp0.ipynb
index 5868fd5..f754d30 100644
--- a/_sources/chp0.ipynb
+++ b/_sources/chp0.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "2a4cf367",
+   "id": "0fd2564b",
    "metadata": {},
    "source": [
     "# Chapter 0: Directed Graphs\n",
diff --git a/_sources/chp1-directed-graphs.ipynb b/_sources/chp1-directed-graphs.ipynb
index ddd2fea..15efbc4 100644
--- a/_sources/chp1-directed-graphs.ipynb
+++ b/_sources/chp1-directed-graphs.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "f5d9e076",
+   "id": "e1d5f89d",
    "metadata": {},
    "source": [
     "# Chapter 1: Data\n",
@@ -93,7 +93,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "4e425b15",
+   "id": "456b1a4e",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -108,7 +108,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "241a090a",
+   "id": "3c9dc8b0",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -120,7 +120,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "93789b43",
+   "id": "71decff6",
    "metadata": {},
    "source": [
     "## 1.3 On the importance of finding the right abstractions \n",
diff --git a/_sources/chp2-dwd.ipynb b/_sources/chp2-dwd.ipynb
index bfd2806..7e2c963 100644
--- a/_sources/chp2-dwd.ipynb
+++ b/_sources/chp2-dwd.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "2416d6ba",
+   "id": "5063bfe7",
    "metadata": {},
    "source": [
     "# Chapter 2: Dynamical Systems with Kiki and Bouba\n",
@@ -141,7 +141,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "4456b7b5",
+   "id": "d19c8a35",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -165,7 +165,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "89561284",
+   "id": "97723d25",
    "metadata": {},
    "source": [
     "To simulate the code, we need to provide an **initial state (starting state)** for the bulb which will then get updated at every time instant as per the above update rule!"
@@ -173,7 +173,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "3e3f238a",
+   "id": "46654ecd",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -185,7 +185,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "f15558b8",
+   "id": "ae677e22",
    "metadata": {},
    "source": [
     "The simulation results are exported as an animation showing that our simulation works (using Javis library) as shown below!\n",
@@ -243,7 +243,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "481e5ca6",
+   "id": "5cfd8b45",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -267,7 +267,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "cc86e785",
+   "id": "2e040528",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -282,7 +282,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "9b2cfe41",
+   "id": "48349fcd",
    "metadata": {},
    "source": [
     "Animating the simulation results produces a result as below:\n",
@@ -441,7 +441,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "efd97d72",
+   "id": "e00165ef",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -471,7 +471,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "ac93ee2b",
+   "id": "4aba424c",
    "metadata": {},
    "source": [
     "We need to set the inital states carefully (in a meaningful way)! We set the controller to begin in `ON` for the RED light state and `OFF` for the other two lights (3 states for the controller). For the three light bulbs, we set RED to be `OFF`, GREEN to be `OFF`, and YELLOW to be `ON`. So in the next instant in time, controller will send it current state (RED) to the respective light bulbs and move to the next state of GREEN."
@@ -479,7 +479,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "80e594cc",
+   "id": "5cf1e354",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -492,7 +492,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "296f007c",
+   "id": "c833658d",
    "metadata": {},
    "source": [
     "Simulation of the results creates the following animation of traffic light! We got our initial states right!!\n",
@@ -610,7 +610,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "2ba813f1",
+   "id": "5b6942a2",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -629,7 +629,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "175f06e0",
+   "id": "83c1b49a",
    "metadata": {},
    "source": [
     "We set the initial mood of Kiki to 4.5 and Bouba to be -4.5. We set their calmdown rates to be 5% (0.05) for Kiki and 3% (0.03) for Bouba."
@@ -637,7 +637,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "1e1460c5",
+   "id": "0cc55201",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -650,7 +650,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "69ec2b01",
+   "id": "8719a3a1",
    "metadata": {},
    "source": [
     "Are you ready to visualize their mood change when they are by themselves?\n",
@@ -723,7 +723,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "1b679098",
+   "id": "21026f71",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -746,7 +746,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "c6bf22a5",
+   "id": "78bd4f3c",
    "metadata": {},
    "source": [
     "It's time for visualization of change in mood! :) Let us set the initial mood of Kiki and Bouba, their susceptability factors, and their tolerance levels."
@@ -754,7 +754,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "af0a9116",
+   "id": "7e8e5c43",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -775,7 +775,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "37e0089d",
+   "id": "bfaca012",
    "metadata": {},
    "source": [
     "Here is the plot showing how Kiki and Bouba's moods oscillate over a 100 minutes conversation! They seem to struggle for the first 30 minutes with Kiki losing her excitement steadily. However, their moods meet somewhere above zero and they happily seem to resonate at their maximum excitement levels from there on!\n",
@@ -860,7 +860,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "3d856d3b",
+   "id": "2f4eac69",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -879,7 +879,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "f27df9b2",
+   "id": "80849e79",
    "metadata": {},
    "source": [
     "The change in mood level of Kiki, Bouba, and Bouba's crew over 100 minutes!\n",
diff --git a/_sources/chp3-schemas.ipynb b/_sources/chp3-schemas.ipynb
index 17c7655..d93cb79 100644
--- a/_sources/chp3-schemas.ipynb
+++ b/_sources/chp3-schemas.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "eae55c4f",
+   "id": "aac9d01a",
    "metadata": {},
    "source": [
     "# Chapter 3: Blueprints - Part I\n",
@@ -128,7 +128,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "a1b84706",
+   "id": "6aebca41",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -145,7 +145,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "76a7cf69",
+   "id": "09f3e37f",
    "metadata": {},
    "source": [
     "And that's how AlgebraicJulia sees a directed graph to be! \n",
diff --git a/_sources/chp4-schemas-part2.ipynb b/_sources/chp4-schemas-part2.ipynb
index 689d213..73077b2 100644
--- a/_sources/chp4-schemas-part2.ipynb
+++ b/_sources/chp4-schemas-part2.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "ee54fe96",
+   "id": "19a738ab",
    "metadata": {},
    "source": [
     "# Chapter 4: Blueprints - Part II\n",
@@ -162,7 +162,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "0c6ac29f",
+   "id": "20da5101",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -178,7 +178,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "3eea587f",
+   "id": "244041a6",
    "metadata": {},
    "source": [
     "And that's how reflexive graphs can be defined in AlgebraicJulia! In the next chapter we'll see how to put this definition to use.\n",
@@ -267,7 +267,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "993bd169",
+   "id": "972c6d09",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -285,7 +285,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "e793d7c9",
+   "id": "9c03679a",
    "metadata": {},
    "source": [
     ":::{admonition} Pause and Ponder! \n",
diff --git a/_sources/chp5-graph-relationships.ipynb b/_sources/chp5-graph-relationships.ipynb
index f704381..02cf43f 100644
--- a/_sources/chp5-graph-relationships.ipynb
+++ b/_sources/chp5-graph-relationships.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "5808bfc9",
+   "id": "24c6b6f1",
    "metadata": {},
    "source": [
     "# Chapter 5: Categories\n",
@@ -415,7 +415,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "af76a151",
+   "id": "9462049f",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -435,7 +435,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "1f33de9f",
+   "id": "e36e9e9b",
    "metadata": {},
    "source": [
     ":::{admonition} Puzzle 3 Solution:\n",
@@ -467,7 +467,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "57e1f75a",
+   "id": "e9fc168d",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -484,7 +484,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "afa9bd24",
+   "id": "4e23d3e7",
    "metadata": {},
    "source": [
     ":::{admonition} Puzzle 4 Solution:\n",
@@ -508,7 +508,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "d894bafe",
+   "id": "a90ad6ca",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -517,7 +517,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "b19256a4",
+   "id": "f5004a44",
    "metadata": {},
    "source": [
     ":::{admonition} Puzzle 5 Solution:\n",
@@ -551,7 +551,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "7bc6c0eb",
+   "id": "8ff0e0ad",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -569,7 +569,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "3e60e99e",
+   "id": "99c27673",
    "metadata": {},
    "source": [
     ":::{admonition} Puzzle 6 Solution:\n",
@@ -586,7 +586,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "7735a9b2",
+   "id": "be768083",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -604,7 +604,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "e1d84f18",
+   "id": "8f98388d",
    "metadata": {},
    "source": [
     ":::{admonition} Puzzle 7 Solution:\n",
diff --git a/_sources/chp6-graph-gluing.ipynb b/_sources/chp6-graph-gluing.ipynb
index cae048f..7d29173 100644
--- a/_sources/chp6-graph-gluing.ipynb
+++ b/_sources/chp6-graph-gluing.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "151285b8",
+   "id": "b439930d",
    "metadata": {},
    "source": [
     "# Chapter 6: Combining Graphs\n",
@@ -710,7 +710,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "184fe330",
+   "id": "aa1595f7",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -754,7 +754,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "71af19f7",
+   "id": "465c30b3",
    "metadata": {},
    "source": [
     "Use the code cell at the end of the section to visualize `graph A` and `graph B`.\n",
@@ -766,7 +766,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "fba24c56",
+   "id": "1f488e50",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -807,7 +807,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "4b00f4e4",
+   "id": "73e8b2d1",
    "metadata": {},
    "source": [
     "Use the code cell at the end of the section to visualize `graph A` and `graph B`.\n",
@@ -818,7 +818,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "a8b38e48",
+   "id": "b713a84b",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -842,7 +842,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "bcfa54ed",
+   "id": "5027ea59",
    "metadata": {},
    "source": [
     "Use the code cell below to visualize `graph A` and `graph B`."
@@ -851,7 +851,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "0676fbf4",
+   "id": "1ae5c48a",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -866,7 +866,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "c550da8c",
+   "id": "21d4b9f9",
    "metadata": {},
    "source": [
     "## 6.6 Summary \n",
diff --git a/_sources/chp7-dpo.ipynb b/_sources/chp7-dpo.ipynb
index 7e1e09c..3474eb7 100644
--- a/_sources/chp7-dpo.ipynb
+++ b/_sources/chp7-dpo.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "2bf66819",
+   "id": "db2e568d",
    "metadata": {},
    "source": [
     "# Chapter 7: Evolving Graphs\n",
@@ -901,7 +901,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "30b1a56e",
+   "id": "db02006a",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -925,7 +925,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "328fbe3d",
+   "id": "b19959e2",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -938,7 +938,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "0a2be44f",
+   "id": "38ccda5f",
    "metadata": {},
    "source": [
     "### Is this a pushout complement?\n",
@@ -962,7 +962,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "c139ddbb",
+   "id": "5dd815f7",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -987,7 +987,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "b4277f9d",
+   "id": "867826f7",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -997,7 +997,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "9bdd39e9",
+   "id": "5fc32677",
    "metadata": {},
    "source": [
     ":::{admonition} Example 3\n",
@@ -1019,7 +1019,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "4e013f25",
+   "id": "3c45026d",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -1045,7 +1045,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "5b9cd6b5",
+   "id": "e4653d12",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -1055,7 +1055,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "807bc090",
+   "id": "c709c08e",
    "metadata": {},
    "source": [
     "### Computing double-pushouts\n",
@@ -1076,7 +1076,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "7590f4ad",
+   "id": "38bed3cc",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -1096,7 +1096,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "d41c7d7d",
+   "id": "7f6c5aa5",
    "metadata": {},
    "source": [
     ":::{admonition} Puzzle 7 (continued from Puzzle 5 )\n",
@@ -1113,7 +1113,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "d7f01755",
+   "id": "2863684e",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -1130,7 +1130,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "afa9a0d6",
+   "id": "79e2ade8",
    "metadata": {},
    "source": [
     ":::{admonition} Puzzle 6\n",
@@ -1147,7 +1147,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "b18a57ec",
+   "id": "f7ef6469",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -1177,7 +1177,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "7ca05ca6",
+   "id": "d4ba248e",
    "metadata": {},
    "source": [
     ":::{admonition} Puzzle 8 (continued from Puzzle 6 )\n",
@@ -1195,7 +1195,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "04515eaa",
+   "id": "590d04b2",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -1213,7 +1213,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "3fb9f003",
+   "id": "a4007f2c",
    "metadata": {},
    "source": [
     " \n",
diff --git a/_sources/chp8-dpo-application.ipynb b/_sources/chp8-dpo-application.ipynb
index 639cd8a..1feb593 100644
--- a/_sources/chp8-dpo-application.ipynb
+++ b/_sources/chp8-dpo-application.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "1a65efdf",
+   "id": "e7f4fa9f",
    "metadata": {},
    "source": [
     "# Chapter 8: A Look Beyond -- Evolving World Models\n",
@@ -49,7 +49,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "397b181e",
+   "id": "eb7cf10f",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -72,7 +72,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "24f60e72",
+   "id": "cf4115bc",
    "metadata": {},
    "source": [
     "```{image} assets/Ch8/Sch3DShape.svg\n",
@@ -148,7 +148,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "d4020228",
+   "id": "57c1599b",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -197,7 +197,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "82cd51e3",
+   "id": "d5d01770",
    "metadata": {},
    "source": [
     "This instance defines a box that looks like _Fig. 1_. \n",
@@ -366,7 +366,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "346f1b6e",
+   "id": "ed8ba917",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -407,7 +407,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "3f996fe9",
+   "id": "50e03991",
    "metadata": {},
    "source": [
     "```{image} assets/Ch8/SchKitchen.svg\n",
@@ -423,7 +423,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "696b2e68",
+   "id": "070a1606",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -447,7 +447,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "d98c23e7",
+   "id": "932dbd3a",
    "metadata": {},
    "source": [
     "<!--\n",
@@ -472,7 +472,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "88f4828e",
+   "id": "260904f1",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -496,7 +496,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "5538a82b",
+   "id": "b54fb3b0",
    "metadata": {},
    "source": [
     "In this case, the bread slice and plate are mapped to the same entity. In the case of the bread slice, the function that does this mapping is tied to the `food_is_on` morphism and, in the case of plate, the function that maps it to entity is tied to the `ware_is_entity` morphism. This is effectively saying that the entity that the food is on is the same entity as the plate. \n",
diff --git a/_sources/cover.ipynb b/_sources/cover.ipynb
index 5fdbbda..ca5dedb 100644
--- a/_sources/cover.ipynb
+++ b/_sources/cover.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "f3e546c4",
+   "id": "0beb88be",
    "metadata": {},
    "source": [
     "# Cover\n",
diff --git a/_sources/credits.ipynb b/_sources/credits.ipynb
index acde62c..91b4d94 100644
--- a/_sources/credits.ipynb
+++ b/_sources/credits.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "77de231c",
+   "id": "ce62191f",
    "metadata": {},
    "source": [
     "# Credits\n",
diff --git a/_sources/intro.ipynb b/_sources/intro.ipynb
index e3f644c..6e283a6 100644
--- a/_sources/intro.ipynb
+++ b/_sources/intro.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "c37e5120",
+   "id": "8f752bb5",
    "metadata": {},
    "source": [
     "# Introduction \n",
@@ -115,7 +115,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "6f17d9e8",
+   "id": "69b22b83",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -124,7 +124,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "4aaf7cf2",
+   "id": "0f23a59f",
    "metadata": {},
    "source": [
     "To run the code, click the \"rocket icon\" at the top right corner of this page, and select \"Live code\". Enabling live code will cause a button labelled \"run\" to appear in each executable code block. Clicking \"run\" will run the code in the block.\n",
@@ -152,7 +152,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "6920507f",
+   "id": "c7092d70",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -161,7 +161,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "81d7e9c3",
+   "id": "f67078e6",
    "metadata": {},
    "source": [
     "## A new medium for systems thinking\n",
diff --git a/_sources/storytelling.md b/_sources/storytelling.md
index 3e9cca1..0625f37 100644
--- a/_sources/storytelling.md
+++ b/_sources/storytelling.md
@@ -1,8 +1,8 @@
 # Mathematics through story-telling
 
-This book has been inspired by the following idea:
+This book has been inspired by the following principle:
 
-> "Different learners take different roads to understanding the same mathematical idea and encourages one to consider this inherent plurality of thought patterns when communicating mathematics.”
+> "We acknowledge that different learners take different roads to understanding the same mathematical idea, and work to consider this inherent plurality of thought patterns when communicating mathematics.”
 
 Accordingly, this book attempts to reveal the thought-process behind creating mathematics (category theory) using story-telling, lots of illustrations, and visualization of computations. Minimizing the requirement for coding background, we have incorporated live-coding whenever possible. As such, this book is close to a creative non-fiction in formal mathematics. It is a new kind of experiment.
 
diff --git a/authors.html b/authors.html
index 58d9481..fad26ff 100644
--- a/authors.html
+++ b/authors.html
@@ -66,7 +66,7 @@
     <link rel="index" title="Index" href="genindex.html" />
     <link rel="search" title="Search" href="search.html" />
     <link rel="next" title="Credits" href="credits.html" />
-    <link rel="prev" title="Chapter 8: A Look Beyond – Evolving World Models" href="chp8-dpo-application.html" />
+    <link rel="prev" title="Mathematics through story-telling" href="storytelling.html" />
   <meta name="viewport" content="width=device-width, initial-scale=1"/>
   <meta name="docsearch:language" content="en"/>
   </head>
@@ -184,6 +184,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1 current active"><a class="current reference internal" href="#">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
@@ -541,12 +542,12 @@ <h2>Project management<a class="headerlink" href="#project-management" title="Pe
                   
 <div class="prev-next-area">
     <a class="left-prev"
-       href="chp8-dpo-application.html"
+       href="storytelling.html"
        title="previous page">
       <i class="fa-solid fa-angle-left"></i>
       <div class="prev-next-info">
         <p class="prev-next-subtitle">previous</p>
-        <p class="prev-next-title">Chapter 8: A Look Beyond – Evolving World Models</p>
+        <p class="prev-next-title">Mathematics through story-telling</p>
       </div>
     </a>
     <a class="right-next"
diff --git a/chp0.html b/chp0.html
index 803daed..93f6b54 100644
--- a/chp0.html
+++ b/chp0.html
@@ -184,6 +184,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/chp1-directed-graphs.html b/chp1-directed-graphs.html
index acefd0c..0f1a73f 100644
--- a/chp1-directed-graphs.html
+++ b/chp1-directed-graphs.html
@@ -184,6 +184,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/chp2-dwd.html b/chp2-dwd.html
index 9830650..c650d86 100644
--- a/chp2-dwd.html
+++ b/chp2-dwd.html
@@ -184,6 +184,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/chp3-schemas.html b/chp3-schemas.html
index b8139dd..38aa28d 100644
--- a/chp3-schemas.html
+++ b/chp3-schemas.html
@@ -184,6 +184,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/chp4-schemas-part2.html b/chp4-schemas-part2.html
index cc0b458..85f2d5f 100644
--- a/chp4-schemas-part2.html
+++ b/chp4-schemas-part2.html
@@ -184,6 +184,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/chp5-graph-relationships.html b/chp5-graph-relationships.html
index fc61250..3b3d1f4 100644
--- a/chp5-graph-relationships.html
+++ b/chp5-graph-relationships.html
@@ -184,6 +184,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/chp6-graph-gluing.html b/chp6-graph-gluing.html
index c51c3bc..b8ce6fe 100644
--- a/chp6-graph-gluing.html
+++ b/chp6-graph-gluing.html
@@ -184,6 +184,7 @@
 <li class="toctree-l1 current active"><a class="current reference internal" href="#">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/chp7-dpo.html b/chp7-dpo.html
index d338009..0e5cfeb 100644
--- a/chp7-dpo.html
+++ b/chp7-dpo.html
@@ -184,6 +184,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1 current active"><a class="current reference internal" href="#">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/chp8-dpo-application.html b/chp8-dpo-application.html
index 8c7f559..4e6d6dc 100644
--- a/chp8-dpo-application.html
+++ b/chp8-dpo-application.html
@@ -65,7 +65,7 @@
     <script>DOCUMENTATION_OPTIONS.pagename = 'chp8-dpo-application';</script>
     <link rel="index" title="Index" href="genindex.html" />
     <link rel="search" title="Search" href="search.html" />
-    <link rel="next" title="Authors" href="authors.html" />
+    <link rel="next" title="Mathematics through story-telling" href="storytelling.html" />
     <link rel="prev" title="Chapter 7: Evolving Graphs" href="chp7-dpo.html" />
   <meta name="viewport" content="width=device-width, initial-scale=1"/>
   <meta name="docsearch:language" content="en"/>
@@ -184,6 +184,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1 current active"><a class="current reference internal" href="#">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
@@ -947,11 +948,11 @@ <h2>References<a class="headerlink" href="#references" title="Permalink to this
       </div>
     </a>
     <a class="right-next"
-       href="authors.html"
+       href="storytelling.html"
        title="next page">
       <div class="prev-next-info">
         <p class="prev-next-subtitle">next</p>
-        <p class="prev-next-title">Authors</p>
+        <p class="prev-next-title">Mathematics through story-telling</p>
       </div>
       <i class="fa-solid fa-angle-right"></i>
     </a>
diff --git a/cover.html b/cover.html
index 7a7d7b7..85214fd 100644
--- a/cover.html
+++ b/cover.html
@@ -185,6 +185,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/credits.html b/credits.html
index e33d17d..6802ef4 100644
--- a/credits.html
+++ b/credits.html
@@ -183,6 +183,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1 current active"><a class="current reference internal" href="#">Credits</a></li>
 </ul>
diff --git a/genindex.html b/genindex.html
index 7ad314c..a1d6f4a 100644
--- a/genindex.html
+++ b/genindex.html
@@ -183,6 +183,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/intro.html b/intro.html
index cfd8e0a..61a5f71 100644
--- a/intro.html
+++ b/intro.html
@@ -184,6 +184,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/search.html b/search.html
index 90b49ce..1317a87 100644
--- a/search.html
+++ b/search.html
@@ -185,6 +185,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1"><a class="reference internal" href="storytelling.html">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
diff --git a/searchindex.js b/searchindex.js
index a4022e6..0afe954 100644
--- a/searchindex.js
+++ b/searchindex.js
@@ -1 +1 @@
-Search.setIndex({"docnames": ["Markdown", "README", "authors", "chp0", "chp1-directed-graphs", "chp2-dwd", "chp3-schemas", "chp4-schemas-part2", "chp5-graph-relationships", "chp6-graph-gluing", "chp7-dpo", "chp8-dpo-application", "cover", "credits", "intro", "storytelling"], "filenames": ["Markdown.md", "README.md", "authors.md", "chp0.md", "chp1-directed-graphs.md", "chp2-dwd.md", "chp3-schemas.md", "chp4-schemas-part2.md", "chp5-graph-relationships.md", "chp6-graph-gluing.md", "chp7-dpo.md", "chp8-dpo-application.md", "cover.md", "credits.md", "intro.md", "storytelling.md"], "titles": ["Sample Markdown", "Guide to add contents and build the book", "Authors", "Chapter 0: Directed Graphs", "Chapter 1: Data", "Chapter 2: Dynamical Systems with Kiki and Bouba", "Chapter 3: Blueprints - Part I", "Chapter 4: Blueprints - Part II", "Chapter 5: Categories", "Chapter 6: Combining Graphs", "Chapter 7: Evolving Graphs", "Chapter 8: A Look Beyond \u2013 Evolving World Models", "Cover", "Credits", "Introduction", "Mathematics through story-telling"], "terms": {"thi": [0, 1, 2, 3, 4, 6, 7, 8, 9, 11, 13, 15], "small": [0, 5], "book": [0, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15], "give": [0, 3, 4, 5, 7, 8, 10, 14], "you": [0, 3, 4, 5, 6, 9, 10, 11, 13, 14], "feel": [0, 4, 8, 9, 10, 11], "content": [0, 11, 13, 14], "structur": [0, 3, 4, 7, 8, 9, 10, 11], "note": [0, 4, 7, 8, 9, 10, 11, 14], "And": [0, 3, 4, 5, 6, 7, 8, 10, 11, 14], "code": [0, 1, 4, 5, 6, 8, 9, 10, 13, 15], "block": [0, 6, 14], "e": [0, 4, 5, 8, 10, 11], "mc": 0, "2": [0, 13, 14], "hello": 0, "check": [0, 9, 10], "out": [0, 3, 4, 5, 7, 8, 9, 10, 11], "page": [0, 7, 14], "bundl": [0, 6], "see": [0, 3, 4, 6, 7, 8, 9, 10, 11, 14], "more": [0, 3, 4, 5, 7, 8, 9, 10, 11, 14], "refer": [0, 1, 5], "intro": 0, "live": [0, 1, 2, 9, 10, 13, 15], "b": [0, 4, 7, 9], "2ab": 0, "repo": [1, 5, 9, 10, 14], "contain": [1, 8, 11, 14], "file": [1, 9], "jupyt": 1, "thebe": 1, "execut": [1, 2, 7, 8, 13, 14], "algebra": [1, 4, 5, 6, 7, 9, 11, 13, 14], "julia": [1, 4, 5, 9, 13, 14], "The": [1, 4, 5, 6, 13, 14, 15], "ha": [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], "been": [1, 6, 8, 10, 11, 13, 14, 15], "onlin": 1, "via": [1, 9, 14], "toposinstitut": [1, 5, 9, 10, 14], "io": [1, 7], "relationalthink": [1, 5, 9, 10, 14], "clone": 1, "local": [1, 14], "folder": 1, "instal": [1, 14], "your": [1, 3, 4, 7, 8, 9, 11, 13, 14], "machin": [1, 14, 15], "http": [1, 7, 8, 9, 10, 14], "jupyterbook": 1, "org": [1, 7, 8, 9, 14], "en": 1, "stabl": 1, "start": [1, 3, 4, 8, 9, 10, 11, 14], "overview": 1, "html": [1, 9], "To": [1, 5, 6, 7, 8, 9, 10, 14], "navig": [1, 9, 10, 14], "run": [1, 4, 6, 8, 9, 10, 14], "abov": [1, 3, 4, 5, 7, 8, 9, 10, 13], "command": 1, "provid": [1, 5, 6, 7, 8, 10, 11, 14, 15], "link": [1, 7], "view": [1, 3, 4, 5, 6, 9, 10], "push": 1, "chang": [1, 3, 5, 8, 9, 10, 11, 14], "repositori": 1, "us": [1, 3, 4, 5, 7, 8, 11, 13, 14, 15], "git": 1, "host": [1, 10, 14], "ghp": 1, "import": [1, 5, 7, 8, 10, 14, 15], "pip": 1, "from": [1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14], "main": [1, 8, 14], "branch": [1, 4], "n": [1, 9], "p": [1, 5], "f": [1, 8], "_build": 1, "comput": [2, 3, 4, 5, 6, 8, 11, 14, 15], "scienc": [2, 13, 14], "phd": 2, "candid": [2, 9], "univers": [2, 8, 10, 11, 14], "maryland": 2, "colleg": 2, "park": 2, "softwar": [2, 4, 10], "engin": [2, 11], "john": 2, "hopkin": 2, "appli": [2, 5, 7, 8, 9, 10, 11, 14], "physic": [2, 8, 11, 14], "laboratori": 2, "previous": [2, 11], "research": [2, 14], "assist": [2, 14], "topo": [2, 13], "institut": [2, 13], "she": 2, "receiv": [2, 5, 8, 10], "her": [2, 5, 13], "bachelor": 2, "degre": 2, "biomed": 2, "master": 2, "electr": 2, "drexel": 2, "intersect": 2, "knowledg": [2, 11, 14], "represent": [2, 4, 5, 8, 11, 14], "robot": [2, 11, 14], "task": [2, 11, 14], "plan": [2, 11], "categori": [2, 3, 4, 5, 7, 9, 11, 13, 14, 15], "theori": [2, 8, 9, 11, 13, 14, 15], "right": [2, 3, 5, 8, 9, 10, 11, 14, 15], "hand": [2, 8, 9, 11], "person": [2, 3, 5, 6, 8, 10, 13], "who": [2, 3, 5, 7, 8, 9], "like": [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15], "do": [2, 4, 6, 7, 8, 9, 10, 11, 14], "dish": [2, 8, 9], "everi": [2, 3, 5, 6, 7, 8, 9], "other": [2, 3, 4, 6, 8, 9, 10, 11, 14], "dai": [2, 3, 5], "he": [2, 3, 5, 10], "an": [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "initi": [2, 9, 10, 13], "mood": [2, 7], "around": [2, 3, 5, 7, 8, 10, 14], "3": [2, 14], "calmdown": [2, 5], "rate": [2, 5], "probabl": [2, 10], "5": [2, 13, 14], "so": [2, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "enjoi": [2, 11], "try": [2, 3, 4, 8, 10, 13, 14], "come": [2, 4, 5, 7, 8, 9, 14], "up": [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "visual": [2, 3, 4, 5, 8, 9, 10, 11, 14, 15], "explan": [2, 10], "abstract": [2, 3, 5, 6, 7, 8, 11], "concept": [2, 3, 6, 7, 8, 9, 10, 11, 13], "optimist": 2, "tool": [2, 3, 4, 5, 7, 9, 11, 14], "have": [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], "role": [2, 10, 14], "plai": [2, 5, 9, 10, 14], "human": [2, 4, 5, 8, 10, 14], "flourish": 2, "21st": 2, "centuri": [2, 10, 14], "overse": 2, "coordin": 2, "strateg": 2, "hold": 2, "oxford": 2, "undertook": 2, "postdoctor": 2, "studi": [2, 11, 14], "system": [2, 3, 8, 9, 10, 11], "mathemat": [2, 5, 6, 7, 8, 9, 10, 11], "upenn": 2, "mit": 2, "found": [2, 7, 8, 9, 10], "editor": [2, 9, 10], "open": [2, 4, 13, 14], "access": [2, 3, 8, 10], "journal": [2, 11], "composition": [2, 11], "co": [2, 9], "textbook": [2, 14, 15], "invit": [2, 9, 10, 14], "believ": [2, 14], "connect": [2, 3, 4, 6, 7, 8, 9, 10, 11], "integr": [2, 8, 10], "ar": [2, 3, 4, 5, 6, 7, 10, 11, 13, 14, 15], "alreadi": [2, 9], "transform": [2, 8, 11, 14], "world": [2, 3, 5, 6, 8, 9, 10, 14], "we": [2, 3, 4, 6, 7, 8, 9, 10, 11, 13, 15], "dedic": 2, "ensur": [2, 7, 9, 10, 13, 14], "benefit": [2, 4, 14], "societi": [2, 14], "larg": [2, 10], "compassion": 2, "mathematician": [2, 7, 14], "work": [2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14], "post": [2, 10], "doctor": 2, "calgari": 2, "interest": [2, 4, 5, 6, 7, 9, 11, 14], "creat": [2, 4, 5, 6, 8, 9, 11, 13, 14, 15], "pathwai": 2, "make": [2, 3, 4, 6, 7, 8, 9, 10, 11, 13, 14], "math": [2, 10, 11], "commun": [2, 3, 4, 7, 9, 15], "user": [2, 14], "friendli": 2, "approach": [2, 4, 6, 7, 8, 10, 11], "school": [2, 10], "graduat": 2, "deriv": 2, "inspir": [2, 10, 11, 13, 15], "tai": 2, "dana": 2, "bradlei": 2, "eugenia": [2, 11], "cheng": [2, 11], "baez": 2, "pawel": [2, 13], "sobocinski": [2, 13], "bob": [2, 10], "coeck": 2, "david": [2, 5, 7, 13], "spivak": [2, 5, 7], "mani": [2, 3, 4, 5, 6, 8, 9, 10, 11, 14, 15], "area": 2, "experi": [2, 9, 10, 14, 15], "span": [2, 9], "quantum": 2, "evan": [2, 11, 13], "patterson": [2, 11], "progress": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "d": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "love": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "learn": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], "how": [3, 4, 5, 6, 7, 9, 10, 11], "can": [3, 4, 6, 7, 8, 9, 10, 11, 14, 15], "better": [3, 4, 6, 7, 8, 9, 10, 11, 14], "especi": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "regard": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "fix": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "typo": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "sentenc": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "unclear": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "pleas": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "consid": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15], "leav": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "ani": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "feedback": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "comment": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "observ": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "about": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "googl": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "doc": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "diagram": [3, 5, 8, 9, 10], "all": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], "common": [3, 9, 11], "first": [3, 4, 5, 7, 8, 9, 10, 14], "thei": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "arrow": [3, 4, 5, 7, 8, 9, 10, 14], "second": [3, 4, 5, 8, 10, 14], "some": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "point": [3, 4, 6, 7, 14], "player": [3, 7, 10], "footprint": 3, "question": [3, 5, 7, 8, 9, 14], "etc": [3, 4, 7, 8, 10], "one": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], "our": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], "relat": [3, 5, 6, 8, 9, 11], "think": [3, 4, 5, 6, 7, 8, 9, 11], "algebraicjulia": [3, 5, 6, 7, 8, 11], "simpl": [3, 5, 8, 9, 10, 11, 14], "model": [3, 4, 5, 6, 7, 8, 9, 10, 14], "call": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "In": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "languag": [3, 5, 8, 10, 11, 14], "commonli": [3, 10], "known": [3, 5, 7, 9, 14], "vertic": [3, 4, 5, 6, 7, 8, 9, 11], "vertex": [3, 4, 5, 7, 8, 9, 10, 11], "when": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15], "singular": 3, "collect": [3, 6, 14, 15], "few": [3, 5, 6, 7, 9, 13, 14], "rule": [3, 4, 7, 9, 10], "follow": [3, 4, 5, 6, 8, 9, 10, 11, 13, 15], "s": [3, 4, 6, 7, 8, 9, 10, 11, 13, 14, 15], "setup": 3, "situat": [3, 6, 10, 14], "life": [3, 5, 9, 11], "well": [3, 5, 7, 10, 11, 14], "captur": [3, 7, 8, 11, 14], "kind": [3, 4, 5, 6, 8, 13, 14, 15], "repres": [3, 5, 6, 7, 8, 9, 11, 14], "three": [3, 5, 7, 8, 9, 10, 11, 14], "aphrodit": [3, 4], "adoni": [3, 4], "But": [3, 4, 7, 8, 9, 10, 14], "polyamor": [3, 4], "also": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "narcissu": [3, 4], "cours": [3, 4, 8], "onli": [3, 4, 5, 7, 8, 9, 10, 11, 14], "himself": [3, 4, 10], "relationship": [3, 4, 7, 8, 9, 10, 11, 14], "which": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15], "charact": [3, 5, 10, 13], "indic": [3, 5, 7, 9, 10], "sourc": [3, 5, 6, 7, 8, 9, 10, 11, 13], "target": [3, 5, 6, 7, 8, 9, 11], "lodg": [3, 5], "take": [3, 4, 6, 8, 9, 10, 11, 14, 15], "lift": [3, 5, 8, 10], "top": [3, 8, 11, 14], "mountain": [3, 5, 8], "down": [3, 5, 8, 9], "slope": 3, "isol": [3, 9], "alpin": 3, "villag": [3, 5, 8], "vallei": [3, 8], "where": [3, 4, 5, 6, 8, 9, 10], "cross": [3, 5, 9], "countri": [3, 5, 10], "surround": 3, "landscap": 3, "Of": [3, 8], "peopl": [3, 6, 7, 13], "don": [3, 4, 7, 9, 11, 14], "t": [3, 4, 5, 7, 8, 9, 10, 11, 14], "know": [3, 4, 6, 7, 8, 9, 10, 11, 14], "If": [3, 4, 5, 7, 9, 10, 11, 14], "sound": [3, 8, 9, 14], "worri": [3, 7, 10], "still": [3, 7, 8, 14], "visit": [3, 8], "beauti": [3, 4, 10, 14], "just": [3, 4, 5, 6, 7, 8, 9, 10, 14, 15], "jump": [3, 14], "back": [3, 5, 6, 10], "return": [3, 7], "locat": 3, "mode": 3, "transport": 3, "anoth": [3, 4, 5, 7, 8, 9, 10, 11, 14], "squint": 3, "look": [3, 4, 5, 6, 7, 8, 9, 10, 14], "simplifi": [3, 6, 14], "map": [3, 6, 7, 8, 9, 10, 11], "ve": [3, 4, 6, 7, 8], "left": [3, 8, 10, 11], "tree": 3, "geographi": 3, "distanc": [3, 14], "place": [3, 7, 8, 10, 14, 15], "distil": 3, "wai": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "find": [3, 7, 8, 9, 14], "most": [3, 5, 9, 10, 14, 15], "essenti": [3, 4], "detail": [3, 4, 5, 6, 7, 8, 13], "need": [3, 4, 5, 6, 8, 9, 10, 14], "get": [3, 4, 5, 6, 7, 8, 9, 10, 14], "paul": [3, 8, 9, 13], "hi": [3, 10, 13], "wife": 3, "toni": [3, 8], "trade": 3, "off": [3, 4, 5, 10, 11, 14], "each": [3, 4, 7, 8, 9, 10, 11, 13, 14], "Then": [3, 8, 9, 14], "friend": [3, 9, 11], "tuco": [3, 8, 9], "move": [3, 4, 5, 7, 8, 14], "done": [3, 8, 10, 11, 14], "them": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "ever": 3, "sinc": [3, 9, 10], "wa": [3, 5, 7, 8, 9, 10], "last": [3, 4, 5, 8, 14], "befor": [3, 5, 9, 10], "took": [3, 5, 8], "over": [3, 5, 8, 9, 10, 14], "onc": [3, 5, 8, 9, 10, 11, 14], "again": [3, 8, 9, 14], "two": [3, 4, 5, 6, 8, 9, 10, 11, 14], "mai": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "consecut": 3, "individu": [3, 8, 9], "seem": [3, 4, 5, 8, 9, 10, 14], "quit": [3, 5, 6, 8, 9, 10, 11, 14], "differ": [3, 4, 6, 7, 8, 9, 10, 11, 14, 15], "clear": 3, "share": [3, 7, 13, 14], "same": [3, 4, 5, 6, 7, 8, 10, 11, 14, 15], "abstractli": 3, "unlabel": [3, 10], "form": [3, 4, 6, 7, 8, 9, 10, 11, 14], "casual": 3, "littl": [3, 5, 6, 9, 14, 15], "than": [3, 5, 7, 9, 10, 11, 14], "conveni": [3, 4], "pictur": [3, 5, 8, 9, 10, 13, 14], "heurist": 3, "easier": [3, 9, 10, 14], "underli": [3, 5, 6, 7, 8], "transit": [3, 5], "formal": [3, 5, 8, 14, 15], "unpack": [3, 14], "capabl": [3, 4, 5, 11], "through": [3, 4, 5, 8, 9, 14], "extend": [3, 5, 7, 9, 14], "idea": [3, 5, 6, 7, 9, 10, 11, 15], "choos": [3, 4, 10, 11], "focu": [3, 8, 10, 14, 15], "sens": [3, 5, 7, 9, 10, 14], "nice": 3, "combin": [3, 6, 7, 11], "simplic": [3, 4], "versatil": [3, 5, 6, 7, 11], "easi": [3, 6, 9], "understand": [3, 4, 7, 8, 10, 11, 14, 15], "rich": [3, 8, 9], "term": [3, 5, 6, 7, 8, 9, 10, 14, 15], "applic": [3, 7, 11, 14], "pictograph": 3, "allow": [3, 4, 5, 7, 8, 9, 10, 14], "pretti": 3, "illustr": [3, 9, 10, 11, 14, 15], "power": [3, 6, 7, 9, 10, 11, 14], "someth": [3, 8, 10, 11, 14, 15], "order": [3, 5, 7, 8, 11, 14], "complex": [3, 8, 9, 11, 14], "As": [3, 4, 5, 8, 9, 10, 11, 14, 15], "help": [3, 4, 5, 8, 9, 11, 13, 14], "both": [3, 5, 6, 7, 8, 9, 10, 11], "deep": [3, 9, 14], "real": [3, 9, 11, 14], "reason": [3, 7, 8, 9, 10, 11, 14], "want": [3, 4, 5, 6, 7, 9, 10, 11], "becaus": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "fragil": 3, "suppos": [3, 4, 5, 6, 7, 8, 9, 10], "re": [3, 4, 6, 7, 8, 14], "go": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "updat": [3, 11], "reflect": [3, 9, 10, 11, 14], "new": [3, 4, 5, 6, 7, 8, 9, 10, 11, 15], "specif": [3, 4, 6, 7, 8, 9, 10, 14], "ll": [3, 4, 5, 6, 7, 8, 14], "abil": [3, 8], "add": [3, 5, 6, 7, 9, 11], "delet": [3, 8, 11], "necessari": [3, 10, 14], "now": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "modifi": [3, 5, 9, 10], "non": [3, 4, 5, 6, 9, 10, 11, 14, 15], "trivial": [3, 5], "problem": [3, 4, 7, 8, 9, 10, 11, 14], "procedur": [3, 5, 8, 9, 10], "freeli": 3, "compon": [3, 8, 10, 11], "end": [3, 5, 6, 7, 8, 9, 10, 11], "broken": [3, 4, 8, 9, 10], "By": [3, 4, 5, 6, 7, 9, 10], "definit": [3, 7, 14], "must": [3, 4, 5, 6, 7, 8, 9, 10, 11], "care": [3, 4, 7, 8, 9, 10], "dangl": [3, 4, 7, 9, 10, 14], "big": [3, 6, 9, 14, 15], "invalid": 3, "becom": [3, 5, 7, 11], "incorrect": [3, 10], "meaningless": 3, "sai": [3, 5, 7, 8, 9, 10, 11, 14], "wrong": 3, "ungrammat": 3, "unfortun": 3, "fact": [3, 4, 5, 7, 8], "prone": 3, "exercis": [3, 9, 10], "perform": [3, 5], "sophist": [3, 5, 7, 14], "manipul": [3, 7, 11], "merg": [3, 8], "separ": [3, 8, 9, 10], "subgraph": 3, "replac": [3, 4, 9], "section": [3, 5, 7, 8, 9, 10, 14], "introduc": [3, 5, 8, 9, 14], "complic": [3, 14], "edg": [3, 4, 5, 6, 7, 9, 11, 14], "case": [3, 4, 5, 6, 7, 8, 9, 11, 14], "detach": 3, "condit": [3, 4, 5, 7, 8, 9, 10, 11], "eleg": [3, 4, 10, 11], "solut": [3, 11, 13], "final": [3, 5, 7, 8, 9, 10, 14], "arriv": [3, 8], "doubl": [3, 8, 11], "pushout": [3, 11], "rewrit": [3, 10, 11], "theoret": [3, 7, 9, 10, 11, 14], "design": [3, 4, 7, 8, 11, 13], "pattern": [3, 7, 8, 14, 15], "intric": 3, "without": [3, 4, 7, 8, 9, 10, 13, 14], "thought": [3, 4, 7, 8, 10, 14, 15], "exist": [3, 5, 7, 8, 9, 10, 11], "level": [3, 4, 5, 7, 8, 9], "simpli": [3, 5, 7, 11], "accustom": [3, 9], "certain": [3, 5, 7], "layer": 3, "develop": [3, 4, 5, 6, 7, 8, 11, 14], "along": [3, 4, 5, 7, 9, 10, 11], "being": [3, 4, 5, 10, 11], "ecosystem": [3, 9, 13, 14], "seriou": 3, "scientif": [3, 7, 14], "effect": [3, 5, 8, 11, 14], "organ": [3, 10], "while": [3, 4, 8, 9, 10, 11, 14], "write": [3, 8, 10, 13, 14, 15], "program": [3, 5, 8, 9, 10, 11, 13, 14], "wrote": 3, "show": [3, 5, 8, 9, 14], "chronic": 3, "practic": [3, 7, 8, 9, 10, 14], "handl": [3, 5, 7, 9, 10], "elegantli": 3, "viewpoint": [3, 14], "hope": [3, 11, 14], "exampl": [3, 4, 5, 6, 7, 8, 9, 11, 13, 14], "tast": 3, "categor": [3, 11], "appetit": 3, "A": [4, 6, 7, 8, 9, 13], "river": 4, "jam": 4, "log": 4, "imag": [4, 8, 9, 10], "wikimedia": 4, "even": [4, 5, 9, 10, 14], "stuck": 4, "shift": [4, 14], "michael": [4, 14], "sorkin": 4, "hundr": 4, "fifti": 4, "thing": [4, 5, 6, 7, 8, 9, 10, 11, 14], "architect": 4, "should": [4, 7, 9, 10, 11, 14], "creatur": [4, 8], "leverag": 4, "percept": 4, "spatial": [4, 8, 11], "lai": 4, "pertin": 4, "singl": [4, 6, 9, 10], "For": [4, 5, 6, 7, 8, 9, 10, 11, 14], "compar": [4, 8], "textual": [4, 10], "descript": [4, 8, 14], "aginst": 4, "its": [4, 5, 7, 8, 9, 10, 11, 13, 14, 15], "written": [4, 11, 14], "requir": [4, 6, 9, 14, 15], "concentr": 4, "pars": 4, "associ": [4, 7, 8, 11], "inform": [4, 5, 6, 7, 8, 9, 10, 11, 14], "instantli": 4, "avail": [4, 5, 7, 9, 10, 14], "Such": [4, 6, 10, 11, 14], "implicit": [4, 11], "made": [4, 7, 9, 10, 13, 14, 15], "appar": 4, "proxim": 4, "element": [4, 11], "unlik": 4, "involv": [4, 10, 11], "video": 4, "outlin": [4, 8], "possibl": [4, 7, 8, 9, 10, 11, 13, 14, 15], "redescrib": 4, "virtu": 4, "explicit": [4, 11], "list": [4, 10], "easili": [4, 11, 14], "type": [4, 11], "disclaim": [4, 7], "sampl": 4, "graphic": [4, 5, 8], "graphviz": 4, "packag": [4, 5, 11, 13], "under": [4, 5, 6, 8, 9, 10, 14], "sometim": [4, 8], "behav": [4, 5], "inept": 4, "reconstructor": 4, "surpris": 4, "choic": [4, 6, 9, 10, 11], "draw": [4, 6, 9, 10], "describ": [4, 5, 6, 8, 9, 14], "paper": [4, 7, 9], "examin": 4, "convert": [4, 7], "number": [4, 5, 6, 7, 8, 9, 10, 11, 14], "time": [4, 5, 8, 10, 14], "explain": [4, 11, 14], "edit": [4, 11, 14], "enter": [4, 7, 9], "below": [4, 5, 6, 8, 9, 10, 14], "src": [4, 6, 7, 8, 10, 11], "tgt": [4, 6, 7, 8, 10, 11], "expect": [4, 9, 11], "catlab": [4, 8, 9, 10], "categoricalalgebra": [4, 8], "aj_problem4a": 4, "add_vertic": [4, 8], "add_part": [4, 8], "to_graphviz": [4, 9, 10, 11], "aj_problem4b": 4, "6": [4, 13, 14], "best": [4, 5, 6], "current": [4, 5, 7, 10, 11], "assign": [4, 5], "uniqu": [4, 7, 10], "what": [4, 7, 8, 11, 14, 15], "would": [4, 5, 6, 7, 8, 9, 10, 11, 13], "happen": [4, 7, 10, 14], "flip": 4, "That": [4, 5, 7, 8, 9, 10, 11, 14], "instead": [4, 5, 6, 8, 14], "doe": [4, 8, 9, 10, 11, 14, 15], "mean": [4, 5, 6, 7, 8, 9, 10, 11, 14], "flow": [4, 5, 8, 9, 10], "opposit": [4, 7], "Is": [4, 9], "between": [4, 5, 7, 8, 9, 10, 11, 14], "At": [4, 5, 8], "glanc": 4, "might": [4, 6, 7, 8, 10, 11, 14], "exact": [4, 7, 8, 10], "whole": [4, 6, 7, 8, 14], "bunch": [4, 14], "aris": [4, 8], "express": [4, 7, 9, 11, 14], "least": [4, 7, 9, 10], "relax": 4, "had": [4, 5, 7, 8, 11, 13], "arbitrari": [4, 9, 10], "looser": 4, "rise": 4, "bookkeep": 4, "headach": 4, "won": [4, 8], "anymor": 4, "It": [4, 5, 7, 8, 9, 10, 14, 15], "turn": [4, 7, 8, 9, 10, 14], "importantli": 4, "vulner": 4, "random": 4, "throw": 4, "togeth": [4, 7, 8, 9, 10, 11, 14, 15], "arbitrarili": 4, "result": [4, 5, 7, 8, 9, 10, 14], "reconstruct": 4, "mutant": 4, "multipl": [4, 5, 10], "somehow": [4, 10, 14], "float": [4, 8], "themselv": [4, 9, 14], "unattach": 4, "anyth": 4, "carnag": 4, "nonsens": 4, "appear": [4, 13, 14], "valid": 4, "produc": [4, 5, 9, 10], "interpret": [4, 5, 7], "contrast": 4, "proper": [4, 8], "why": [4, 5, 10], "alwai": [4, 5, 8, 9, 10, 14], "safe": 4, "purpos": [4, 5, 8, 11, 14], "highlight": [4, 11, 14], "good": [4, 8, 9, 13, 14], "bad": [4, 5, 10], "hard": [4, 9, 13, 14], "escap": 4, "natur": [4, 5, 8, 9, 10, 14], "There": [4, 5, 8, 9, 10, 14], "correspond": [4, 6, 8], "typic": 4, "forc": [4, 13], "counten": 4, "deal": 4, "problemat": 4, "word": [4, 6, 8, 9, 10, 14], "fussi": 4, "annoi": [4, 7], "barrier": 4, "seri": 4, "increasingli": 4, "begin": [4, 5, 6, 7, 8, 9, 10, 11, 14], "journei": [4, 6, 7, 14], "permit": 4, "ladder": [4, 8], "cleanli": 4, "stage": 4, "fulli": [4, 7, 9, 14], "disregard": 4, "previou": [4, 9, 10, 11], "abl": [4, 7, 11], "grant": [4, 6, 8, 13], "everyth": [4, 8, 14], "itself": [4, 6, 7, 8, 9, 10, 14], "rung": [4, 8, 9, 14], "continu": [4, 5, 6, 7, 9], "climb": 4, "blueprint": [4, 8, 14], "step": [4, 5, 8, 9, 10, 14], "obtain": [4, 10], "reap": 4, "cumul": 4, "ch2": 5, "great": [5, 11, 14], "fun": [5, 9, 10, 11, 13, 14], "meet": [5, 14], "highli": 5, "excit": [5, 14], "prefer": 5, "grumpi": 5, "side": [5, 6, 7, 8, 9], "howev": [5, 6, 8, 9, 10, 14, 15], "interact": [5, 10, 14], "built": [5, 7], "direct": [5, 7, 8, 9, 10, 14], "met": [5, 9], "mytholog": 5, "romanc": 5, "depict": [5, 8], "here": [5, 7, 8, 9, 10, 11, 13, 14], "base": [5, 11, 14], "downhil": 5, "manifest": [5, 10], "bring": [5, 10], "feed": 5, "addit": [5, 8, 10], "simul": [5, 11], "event": 5, "These": [5, 6, 7, 8, 9, 10, 14], "occur": [5, 10], "period": 5, "60": 5, "minut": [5, 14], "discret": [5, 9], "piec": [5, 6, 7, 9, 11], "set": [5, 6, 8, 9, 10, 11, 13], "veri": [5, 8, 14], "let": [5, 6, 7, 8, 9, 10, 11, 14], "could": [5, 7, 8, 9, 10, 11, 14], "simpler": 5, "almost": [5, 8, 14], "doesn": [5, 8, 9], "rememb": [5, 6, 8, 10], "bear": 5, "henc": [5, 9, 10, 14], "either": [5, 6, 8, 9, 10], "ON": 5, "extra": [5, 9, 10], "data": [5, 6, 7, 9, 11, 14], "instant": 5, "valu": [5, 8, 10, 14], "snapshot": 5, "stai": [5, 7, 8, 9], "whatev": [5, 7], "ad": [5, 7, 8, 9, 11], "slightli": 5, "i": [5, 7, 8, 9], "accomplish": 5, "toggl": 5, "present": [5, 6, 7, 11, 14], "switch": [5, 10], "oper": [5, 8, 9, 10, 11], "enabl": [5, 14], "evolv": [5, 14], "k": 5, "given": [5, 7, 8, 9, 10], "encod": [5, 7, 8, 9, 14], "complet": [5, 8, 10, 14], "github": [5, 7, 14], "jl": [5, 7], "enum": 5, "bulbstat": 5, "bulb_on": 5, "true": [5, 7, 8, 10], "bulb_off": 5, "fals": 5, "input": [5, 6, 10], "param": 5, "xor": 5, "bool": 5, "transmiss": 5, "readout": 5, "per": [5, 10], "initial_st": 5, "arrai": 5, "export": 5, "anim": [5, 8], "javi": 5, "librari": [5, 10, 14], "shown": [5, 8, 9, 10, 11, 14], "act": [5, 9, 10, 11, 14], "never": 5, "depend": [5, 14], "loop": [5, 7, 8, 9, 10], "danc": 5, "copi": 5, "neighbor": [5, 9], "transmit": 5, "serv": 5, "uni": 5, "conduit": 5, "fed": 5, "next": [5, 6, 7, 8, 9, 10], "carri": 5, "read": [5, 8, 9, 11, 14], "incom": 5, "ask": [5, 8, 9, 10, 11, 14], "One": [5, 8, 14], "behavior": 5, "thu": [5, 7, 8, 9, 10, 14], "determin": [5, 9, 10], "too": [5, 8, 10, 14], "imagin": [5, 6, 7, 8, 14], "full": 5, "exactli": [5, 7, 8, 9, 11], "With": [5, 7, 9, 11], "familiar": [5, 9, 14], "object": [5, 6, 7, 8, 9, 11, 14], "relabel": 5, "red": [5, 10], "yellow": [5, 9], "green": [5, 9, 14], "cycl": [5, 10], "mimic": 5, "accid": 5, "rest": [5, 9, 11], "control": 5, "mastermind": 5, "decid": [5, 10, 14, 15], "decis": [5, 10, 13], "indvidu": 5, "bulbtransit": 5, "box": [5, 9, 10], "controllertransit": 5, "elseif": 5, "els": 5, "init": 5, "carefulli": [5, 11, 14], "meaning": 5, "send": [5, 8, 9, 10, 11], "respect": [5, 8, 11], "got": [5, 9, 10, 14, 15], "grand": 5, "readi": [5, 8, 10], "build": [5, 6, 7, 10, 14, 15], "recollect": [5, 8, 9], "seen": [5, 6, 8, 9, 11], "far": [5, 6, 9, 10, 11], "featur": [5, 10, 11, 13, 14], "stori": [5, 14], "creativ": [5, 14, 15], "sketch": 5, "rang": [5, 14], "emot": 5, "happi": [5, 10], "scale": [5, 10], "mention": [5, 7], "earlier": [5, 7, 14], "anywher": [5, 10, 14], "calm": 5, "toward": [5, 8, 9, 14, 15], "neutral": 5, "own": [5, 8, 14], "paramet": 5, "weight": 5, "particular": [5, 6, 10, 11, 14], "standalon": 5, "x": [5, 6, 7, 10], "pai": [5, 10], "attent": [5, 10], "neg": 5, "sign": [5, 7], "front": 5, "amount": 5, "zero": 5, "dotmood": 5, "calmdown_r": 5, "0": [5, 7, 8, 9, 14], "05": [5, 7], "03": 5, "initial_mood": 5, "lvector": 5, "extern": 5, "stimulu": 5, "restaur": 5, "dinner": [5, 13], "long": [5, 14], "affect": 5, "home": [5, 10], "happier": 5, "grumpier": 5, "recal": [5, 6, 8, 9, 11], "includ": [5, 7, 9, 10, 14], "imbib": 5, "fraction": 5, "similarli": [5, 9, 10, 11, 14], "suspect": 5, "reach": [5, 8], "maximum": 5, "toler": 5, "refus": 5, "listen": 5, "name": [5, 6, 7, 8, 9, 10, 11], "logic": [5, 11, 14], "dotmood_kiki": 5, "grumpiness_toler": 5, "excitement_toler": 5, "super": 5, "bit": [5, 9, 11, 14], "8": [5, 7, 14], "plot": 5, "oscil": 5, "100": [5, 14], "convers": 5, "struggl": [5, 10, 14], "30": 5, "lose": 5, "steadili": 5, "somewher": 5, "happili": 5, "reson": 5, "less": [5, 14], "kinda": 5, "20": 5, "02": 5, "spicier": 5, "actual": [5, 6, 7, 8], "crew": 5, "him": 5, "busi": [5, 6, 7], "boss": 5, "dispers": 5, "among": [5, 7, 9], "entiti": [5, 9, 10, 11], "susceptabl": 5, "group": [5, 13], "01": 5, "evolut": 5, "broad": 5, "class": 5, "fall": [5, 11], "binari": 5, "vari": 5, "infinit": [5, 8], "treat": [5, 11], "blue": [5, 8, 9], "print": [5, 14], "special": [5, 7, 8, 10], "within": [5, 14], "larger": 5, "reader": [5, 8, 9, 10, 11, 15], "explor": [5, 8, 9, 11, 14, 15], "further": [5, 9, 10, 11, 14, 15], "recommend": [5, 8, 10, 11, 14], "document": [5, 7, 10], "algebraicdynam": 5, "framework": [5, 7, 14], "inde": [5, 7, 9, 10, 14], "close": [5, 7, 8, 9, 14, 15], "match": [5, 9, 11], "tend": 5, "conceptu": [5, 8, 14], "caus": [5, 10, 14], "influenc": [5, 10], "understood": [5, 8], "maintain": 5, "equilibrium": 5, "satisfi": [5, 7, 9, 10, 11], "simultan": [5, 9], "constraint": [5, 9], "subtl": 5, "emphasi": 5, "filter": 5, "richer": 5, "wire": 5, "gener": [5, 6, 7, 9, 10, 11, 13, 14], "nest": 5, "rupel": 5, "dylan": 5, "operad": 5, "tempor": 5, "process": [5, 6, 7, 8, 9, 14, 15], "arxiv": [5, 7], "preprint": 5, "1307": 5, "6894": 5, "2013": 5, "were": [6, 7, 8, 10, 11, 14], "social": 6, "network": 6, "tiktok": 6, "someon": [6, 14, 15], "perfect": [6, 10], "linkedin": 6, "parti": 6, "mutual": [6, 7], "agre": [6, 8, 9, 10], "symmetr": 6, "undirect": [6, 9, 10, 14], "sure": [6, 10], "suggest": 6, "zoo": 6, "specimen": 6, "flexibl": [6, 11], "tidi": 6, "basic": [6, 8], "item": [6, 11], "hide": [6, 8], "wrap": 6, "tube": 6, "put": [6, 7], "label": [6, 8, 10, 11, 14], "sphere": 6, "forget": [6, 14], "those": [6, 7, 8, 9, 10, 14, 15], "whenev": [6, 15], "hood": 6, "equat": [6, 7], "variabl": 6, "placehold": 6, "defin": [6, 7, 8, 11], "parallel": [6, 7], "configur": 6, "pair": [6, 7, 8], "fill": [6, 7, 8, 10, 11], "firstnam": 6, "lastnam": 6, "simiarli": [6, 10], "fillabl": 6, "schema": [6, 14], "mark": [6, 9, 10], "said": [6, 9, 14], "instanc": [6, 7, 11], "notic": [6, 7, 10], "v": [6, 7, 8, 9, 10], "ob": [6, 11], "ject": 6, "hom": [6, 7, 11], "y": [6, 7], "syntax": 6, "freeschema": [6, 11], "character": [6, 7, 8], "notion": [6, 8, 14], "foundat": 6, "cool": [6, 9, 10], "beyond": [6, 7, 9, 10], "shall": [7, 8, 9, 10, 14], "flavor": [7, 14], "upon": 7, "game": [7, 11], "tic": 7, "tac": 7, "toe": 7, "state": [7, 11, 14], "ancient": 7, "board": [7, 13], "option": 7, "pass": 7, "lot": [7, 8, 9, 10, 13, 14, 15], "ourselv": 7, "self": [7, 8, 9, 10], "attach": [7, 8], "frequent": 7, "widespread": 7, "excel": [7, 8, 14], "geometr": [7, 11], "preval": 7, "divis": 7, "integ": 7, "subset": 7, "preorder": 7, "refl": 7, "ey": [7, 8], "dash": [7, 8], "line": [7, 8, 9, 10], "figur": [7, 8], "heart": [7, 8], "reddish": 7, "convinc": [7, 8, 9, 11], "yourself": [7, 9], "bullet": 7, "establish": 7, "meant": 7, "semant": 7, "phrase": 7, "equival": [7, 9, 14], "whether": [7, 9, 10, 14], "specifi": [7, 8, 9, 11], "text": [7, 9, 10, 14], "semicolon": 7, "sequenc": 7, "equal": [7, 9], "endpoint": [7, 8], "id": 7, "ident": 7, "commut": [7, 8, 10], "fundament": [7, 11], "mechan": [7, 8], "compos": [7, 14], "reflexivegraph": [7, 8], "directedgraph": [7, 8], "surprisingli": 7, "street": 7, "unidirect": 7, "felt": 7, "analog": [7, 9], "liter": [7, 8], "substitut": 7, "oppos": 7, "cancel": 7, "partner": 7, "invers": [7, 9], "inv": [7, 10], "land": [7, 8, 9], "vice": [7, 9, 10], "versa": [7, 9, 10], "grei": [7, 8, 9], "circl": 7, "rout": 7, "partnership": 7, "cliqu": 7, "four": [7, 8, 9, 11, 14], "five": [7, 8], "avoid": [7, 10], "undirectedgraph": 7, "moreov": [7, 8], "mind": [7, 8, 9], "chore": [7, 8], "swing": 7, "exclus": [7, 10], "bubbl": [7, 8, 10], "signal": 7, "programm": 7, "extraordinari": 7, "varieti": [7, 8], "elabor": 7, "profound": 7, "offer": 7, "sheer": 7, "brief": 7, "glimps": [7, 14], "scope": 7, "higher": [7, 14], "dimens": 7, "topologist": 7, "favorit": 7, "ordinari": 7, "dimension": [7, 11, 14], "triangl": [7, 8, 9], "triangul": 7, "surfac": 7, "tetrahedra": 7, "solid": 7, "geometri": 7, "topolog": 7, "space": [7, 8, 9, 11, 14], "combinatori": 7, "scientist": 7, "3d": 7, "On": [7, 8], "analysi": [7, 14], "concurr": 7, "german": 7, "carl": 7, "adam": 7, "1960": 7, "whose": [7, 9, 10], "goal": [7, 8, 9, 14, 15], "synchron": 7, "resourc": 7, "suitabl": [7, 14], "wide": 7, "chemic": [7, 10, 11], "reaction": [7, 10, 11], "manag": [7, 11, 13], "logist": 7, "practition": 7, "born": 7, "necess": 7, "util": [7, 9], "gap": 7, "gave": [7, 8], "implement": 7, "algebraicpetri": 7, "sever": 7, "popul": 7, "dynam": [7, 11, 13, 14], "epidemiolog": 7, "enzym": 7, "origin": [7, 8, 10], "repes": 7, "tabul": 7, "whom": 7, "enemi": 7, "queri": 7, "ones": [7, 8, 10, 14], "often": [7, 14], "corrupt": 7, "transfer": 7, "context": [7, 10, 11, 14], "major": 7, "issu": [7, 10], "high": [7, 10], "resolv": [7, 14], "techniqu": [7, 9], "migrat": [7, 11], "canon": 7, "automat": [7, 9, 10, 14], "variou": [7, 9, 11, 14], "functori": 7, "princip": 7, "subsequ": 7, "dev": 7, "volum": 7, "217": 7, "2012": 7, "31": 7, "51": 7, "issn": 7, "0890": 7, "5401": 7, "doi": [7, 8, 14], "10": [7, 8, 14], "1016": 7, "j": 7, "ic": 7, "001": 7, "ab": 7, "1009": 7, "1166": 7, "shore": 8, "encount": [8, 14], "isn": [8, 9, 10, 14], "endless": 8, "swarm": 8, "No": 8, "bore": 8, "incred": 8, "achiev": [8, 9], "fourth": 8, "topmost": 8, "drew": 8, "layout": [8, 10, 11], "ski": 8, "resort": 8, "winter": 8, "visitor": 8, "ride": 8, "summer": 8, "snow": 8, "year": [8, 14], "guest": 8, "pack": 8, "travel": 8, "insid": [8, 9, 10, 11], "part": [8, 9, 10, 11, 15], "clearli": [8, 9, 11, 14], "redraw": 8, "white": 8, "color": 8, "shape": [8, 10, 14], "went": 8, "caution": 8, "apart": 8, "preserv": [8, 9], "orient": [8, 11], "twelv": 8, "strategi": 8, "did": [8, 9, 10], "count": 8, "systemat": 8, "trial": 8, "error": [8, 10], "algorithm": [8, 9, 10], "solv": [8, 10], "relev": [8, 10, 11, 14], "keep": [8, 10, 11, 13, 14], "intact": [8, 9, 10, 14, 15], "welcom": [8, 9], "arrang": [8, 10, 11], "horizont": 8, "corner": [8, 14], "squar": [8, 10, 11], "bottom": [8, 11], "path": [8, 9, 10, 14], "brown": [8, 11], "miss": [8, 10], "late": 8, "correct": [8, 9], "across": [8, 11], "sent": [8, 9, 10], "revisit": [8, 9, 14], "attempt": [8, 10, 14, 15], "precis": [8, 9, 10, 14], "aren": 8, "saw": [8, 9, 10], "account": [8, 11], "eventu": [8, 11, 14], "roommat": 8, "duti": 8, "accur": 8, "handed": 8, "washer": 8, "version": [8, 14], "consist": [8, 10, 11], "fewer": 8, "tell": [8, 9, 10, 11, 14], "moment": [8, 9, 10], "discuss": [8, 11, 13, 14], "righti": 8, "lefti": 8, "identifi": [8, 9, 10, 11, 14], "computation": 8, "formul": 8, "aid": [8, 14], "ONE": [8, 9], "ubiquit": 8, "tt": 8, "collaps": [8, 9], "undesir": 8, "after": [8, 9, 10, 13, 14], "break": 8, "violat": [8, 10], "ruin": 8, "pose": 8, "similar": [8, 10, 14], "risk": 8, "circumst": 8, "danger": 8, "dishwash": 8, "although": [8, 14], "awai": [8, 14], "overal": 8, "rel": [8, 14], "domain": [8, 9], "answer": [8, 14], "graph1": 8, "graph2": 8, "countthemorph": 8, "length": 8, "homomorph": [8, 9, 10], "distinct": 8, "hexagon": 8, "trick": 8, "triangular": 8, "graph3": 8, "graph4": 8, "except": [8, 9, 14], "stipul": 8, "impli": [8, 10], "presenc": [8, 9], "light": [8, 11, 13], "graph5": 8, "graph6": 8, "seven": 8, "succe": 8, "correctli": 8, "reflex": 8, "chunki": 8, "messi": 8, "shade": 8, "background": [8, 15], "encompass": 8, "promis": [8, 11, 14], "smaller": 8, "correl": 8, "intuit": [8, 9, 10], "remaind": 8, "readili": 8, "diagrammat": 8, "impract": 8, "enough": [8, 14, 15], "appreci": 8, "vast": 8, "interconnect": [8, 10, 14], "retriev": 8, "fit": 8, "magic": 8, "geni": 8, "omnisci": 8, "discov": [8, 10, 14], "crucial": 8, "vantag": 8, "operation": 8, "advantag": [8, 10], "posit": [8, 10], "declar": [8, 9], "bread": [8, 9], "butter": [8, 9], "much": [8, 10, 13, 14, 15], "depth": [8, 14, 15], "thorough": 8, "yet": [8, 11, 14], "elementari": [8, 14], "topic": [8, 11, 14], "lawver": 8, "schanuel": 8, "w": 8, "h": [8, 10, 14], "2009": 8, "2nd": 8, "ed": 8, "cambridg": [8, 11], "press": [8, 11], "1017": 8, "cbo9780511804199": 8, "ch6": 9, "engag": [9, 14], "learnt": 9, "morphism": [9, 10, 11], "coars": [9, 10], "grain": [9, 10], "proce": [9, 10], "codomain": 9, "excitingli": [9, 14], "odd": 9, "island": 9, "bridg": 9, "channel": 9, "claim": 9, "unawar": [9, 10], "cat": 9, "brendan": [9, 13], "angelin": [9, 11], "priyaa": [9, 10, 13], "author": [9, 10, 13], "friendship": 9, "emerg": [9, 14], "assum": [9, 14], "infer": 9, "support": [9, 13], "assumpt": 9, "deceivingli": 9, "eyebal": 9, "pen": 9, "inher": [9, 15], "unambigu": 9, "dumb": 9, "charad": 9, "popularli": 9, "challeng": [9, 14], "explicitli": [9, 11], "talk": [9, 10, 11], "longer": 9, "awar": 9, "otherwis": [9, 10], "old": [9, 11], "terminolog": 9, "NOT": 9, "spot": 9, "narrow": 9, "search": 9, "until": 9, "earli": [9, 10], "radiat": [9, 10], "region": [9, 10], "inject": [9, 10], "connecit": 9, "matter": [9, 10], "loos": [9, 10, 14], "stick": 9, "sheet": 9, "glue": [9, 10], "closer": [9, 10], "tea": 9, "cup": 9, "glu": [9, 14], "potenti": [9, 14], "cannot": 9, "vanish": 9, "perspect": [9, 14], "spanish": 9, "goe": 9, "me": [9, 10], "immedi": [9, 14], "enquiri": 9, "vagu": 9, "remind": [9, 10], "hurrai": [9, 10], "irrespect": 9, "IS": 9, "TO": 9, "indistinguish": 9, "distinguish": 9, "belong": [9, 14], "orang": 9, "scroll": 9, "demonstr": [9, 10, 11], "cover": [9, 13, 14, 15], "outsid": [9, 10], "sharpen": 9, "instinct": 9, "concret": [9, 14], "oneself": 9, "principl": 9, "effort": [9, 14], "resist": 9, "reveal": [9, 14, 15], "remain": [9, 10, 13], "boundari": 9, "fade": 9, "maxim": 9, "squeez": 9, "lazi": 9, "kept": 9, "seper": 9, "noth": [9, 10], "quest": 9, "vs": 9, "dot": [9, 14], "signifi": 9, "past": [9, 14], "balanc": 9, "nope": 9, "embed": [9, 14], "upper": 9, "lower": [9, 10], "fine": 9, "backward": 9, "score": 9, "obviou": 9, "neither": 9, "nor": 9, "emb": 9, "plumb": [9, 10], "smoothli": [9, 10], "harmoni": [9, 10], "whewww": 9, "core": [9, 14], "review": 9, "repeat": 9, "isomorph": 9, "THE": 9, "AND": 9, "x2": 9, "unison": 9, "x1": 9, "prove": [9, 14], "impos": 9, "consequ": [9, 14, 15], "summar": 9, "sensibl": 9, "method": [9, 11, 14], "rather": [9, 10, 14], "focus": 9, "construct": [9, 14], "verifi": 9, "scenario": [9, 11], "invas": 9, "tricki": 9, "therebi": [9, 10, 11], "empti": 9, "o": [9, 10], "sum": 9, "ex": 9, "finit": 9, "clue": 9, "snippet": 9, "output": 9, "overlap1": 9, "symmetricgraph": [9, 10], "grapha": 9, "cycle_graph": [9, 10], "graphb": 9, "path_graph": [9, 10], "add_edg": [9, 10], "due": [9, 10], "symmetri": [9, 10], "pick": [9, 10], "manual": [9, 10], "grapha_map": 9, "graphb_map": 9, "acsettransform": [9, 10], "pushout_graph": 9, "colimit": 9, "apex": 9, "cell": 9, "overlap2": 9, "g2": 9, "g3": 9, "keyword": 9, "overlap3": 9, "uncom": [9, 10], "remov": [9, 11], "sharp": 9, "congratul": [9, 10], "successfulli": 9, "quickli": 9, "nuanc": 9, "elimin": 9, "cleverli": 9, "later": 9, "increas": 9, "www": [9, 10], "frontiersin": 9, "articl": 9, "815153": 9, "fbuil": 9, "07": 9, "image_m": 9, "g002": 9, "jpg": 9, "ch7": 10, "innov": 10, "20th": 10, "spite": 10, "unavail": 10, "statist": 10, "tangibl": 10, "undeni": 10, "chao": 10, "european": 10, "conqueror": 10, "nativ": 10, "american": [10, 14], "settlement": 10, "canada": 10, "cultur": 10, "entir": 10, "children": 10, "missionari": 10, "trauma": 10, "Or": 10, "wage": 10, "war": 10, "govern": 10, "polit": 10, "forest": 10, "industri": 10, "advers": 10, "impact": 10, "global": 10, "climat": 10, "hindsight": 10, "lead": [10, 14], "face": [10, 11, 14], "bigger": 10, "intend": [10, 14], "sugar": 10, "usual": 10, "behind": [10, 13, 14, 15], "realiti": 10, "youtub": 10, "com": 10, "watch": 10, "86uc5fgraii": 10, "instabl": 10, "naiv": 10, "Being": [10, 11], "healthi": 10, "eat": 10, "unstabl": 10, "restor": 10, "stabil": 10, "brine": 10, "though": [10, 14], "simplist": 10, "drive": 10, "messag": [10, 14], "consider": 10, "guarante": 10, "mission": 10, "microsoft": 10, "interfac": 10, "unless": 10, "middl": 10, "node": [10, 11], "overlap": [10, 11], "dure": [10, 13], "alon": [10, 13], "retain": 10, "unchang": 10, "neat": 10, "huh": 10, "string": 10, "ring": 10, "bell": 10, "wherea": 10, "strengthen": 10, "zombi": 10, "appropri": [10, 14], "identif": 10, "fail": 10, "bug": 10, "iphon": 10, "lie": 10, "normal": [10, 14], "custom": 10, "behaviour": 10, "anecdot": 10, "imposs": [10, 14], "suppli": 10, "approprait": 10, "heavi": 10, "relation": [10, 14], "intervent": 10, "guard": 10, "rail": 10, "gre": 10, "half": [10, 14], "carv": 10, "literatur": 10, "dpo": [10, 11], "click": [10, 13, 14], "yield": 10, "low": 10, "harmless": 10, "product": [10, 14], "diel": 10, "alder": 10, "materi": [10, 14, 15], "1928": 10, "otto": 10, "kurt": 10, "award": 10, "nobel": 10, "prize": 10, "fascin": 10, "discoveri": 10, "molecul": 10, "atom": 10, "bond": 10, "standard": [10, 14], "substrat": 10, "expert": 10, "environ": [10, 14], "track": [10, 11], "dungeon": 10, "dragon": 10, "room": 10, "room2": 10, "directli": 10, "told": 10, "hei": 10, "corridor": 10, "redrawn": 10, "reshap": 10, "layoout": 10, "12": 10, "clockwis": [10, 11], "independ": 10, "style": [10, 15], "algebraicrewrit": 10, "cset": 10, "del": [10, 11], "can_pushout_compl": 10, "gluing_condit": 10, "composablepair": 10, "acset": 10, "find\u2085": 10, "host\u2085": 10, "o_pc\u2085": 10, "pc_h\u2085": 10, "pushout_compl": 10, "dom": 10, "monic": 10, "enforc": [10, 11], "fromr": 10, "frompc": 10, "codom": 10, "find\u2086": 10, "host\u2086": 10, "pc": 10, "stand": [10, 13], "o_pc\u2086": 10, "pc_h\u2086": 10, "cent": 10, "crude": 10, "truth": 10, "air": 10, "superior": 10, "inflat": 10, "tyre": 10, "chain": 10, "brought": 10, "guid": [10, 13], "speak": [10, 14], "free": [10, 14], "prevent": 10, "econom": 10, "accident": 10, "absent": 10, "cleaner": 10, "knew": 10, "wonder": 10, "mysteri": 10, "convei": [10, 13], "rightawai": 10, "handout": 10, "titl": 10, "georg": 10, "fischer": 10, "hannah": 10, "gschwentner": 10, "blog": 10, "gritter": 10, "uncov": 11, "neatli": 11, "recov": 11, "wish": 11, "shed": 11, "remark": 11, "encourag": [11, 14, 15], "ambiti": 11, "car": [11, 13], "wet": 11, "dry": 11, "mental": 11, "bottl": 11, "coca": 11, "cola": 11, "soda": 11, "my": [11, 14], "refriger": 11, "refridger": 11, "mento": 11, "explod": 11, "lucki": 11, "six": 11, "schcube": 11, "sch3dshape": 11, "acset_typ": 11, "typ3dshap": 11, "resembl": 11, "schgraph": 11, "pointedli": 11, "inherit": 11, "akin": 11, "unfold": 11, "cardboard": 11, "action": [11, 14], "redefin": 11, "flat": 11, "radic": 11, "alter": 11, "birthdai": 11, "cake": 11, "deliv": 11, "f1": 11, "f2": 11, "f3": 11, "f4": 11, "f5": 11, "f6": 11, "e1": 11, "e2": 11, "e3": 11, "e4": 11, "reminisc": 11, "came": 11, "bound": 11, "v1": 11, "v2": 11, "closedcub": 11, "acset_colim": 11, "yschcube": 11, "wall": 11, "e5": 11, "e6": 11, "e7": 11, "e8": 11, "e9": 11, "e10": 11, "e11": 11, "e12": 11, "v3": 11, "v4": 11, "v5": 11, "v6": 11, "v7": 11, "v8": 11, "fig": 11, "celebr": 11, "sweet": 11, "open_box": 11, "schrule": 11, "join": 11, "face1": 11, "face2": 11, "face3": 11, "face4": 11, "facenew": 11, "edge1": 11, "edge2": 11, "edge3": 11, "open_box_rul": 11, "make_rul": 11, "openbox": 11, "format": 11, "shut": 11, "exclud": 11, "hing": 11, "disconnect": 11, "asset": 11, "ch8": 11, "bottomopen": 11, "gif": 11, "machineri": 11, "food": 11, "egg": 11, "breadslic": 11, "counter": 11, "kitchenwar": 11, "subtyp": 11, "g": 11, "function": 11, "likewis": 11, "schkitchen": 11, "food_in_on": 11, "food_is_ent": 11, "ware_in_on": 11, "ware_is_ent": 11, "counter_is_ent": 11, "breadloaf": 11, "bread_loaf_is_food": 11, "bread_slice_is_food": 11, "egg_is_food": 11, "cheese_is_food": 11, "knife": 11, "knife_is_war": 11, "plate_is_war": 11, "ykitchen": 11, "yoneda": 11, "cach": 11, "make_cach": 11, "put_cheese_on_bread": 11, "put_cheese_on_bread_rul": 11, "bread_slic": 11, "fusion": 11, "plate_slic": 11, "plate_slice_rul": 11, "ti": 11, "food_is_on": 11, "implicitli": 11, "ai": 11, "frame": [11, 14], "ag": 11, "reconfigur": 11, "advanc": [11, 13], "exposit": 11, "delv": 11, "deeper": [11, 14], "gentl": 11, "technic": 11, "public": [11, 14], "forum": [11, 14], "zulip": [11, 14], "localchart": [11, 14], "aguinaldo": 11, "jame": 11, "fairbank": 11, "william": 11, "regli": 11, "jami": 11, "ruiz": 11, "2023": 11, "aaai": 11, "symposium": 11, "unifi": 11, "kristoph": 11, "tyler": 11, "hank": 11, "2022": 11, "owen": [11, 13], "lynch": 11, "joi": 11, "mozilla": 13, "internet": 13, "mieco": 13, "futur": 13, "grate": 13, "logo": 13, "thank": 13, "avik": 13, "tripura": 13, "namista": 13, "tabassum": 13, "kiki": 13, "bouba": 13, "chapter": [13, 14], "team": 13, "million": 13, "sophi": 13, "enthusiasm": 13, "patienc": 13, "kri": 13, "draft": 13, "schedul": 13, "project": [13, 14], "theme": 13, "beth": 13, "wisdom": 13, "scene": 13, "experiment": [13, 14], "modern": 13, "technolog": [13, 14], "audienc": 13, "honor": 13, "limit": 13, "retreat": 13, "famili": [13, 14], "wave": 13, "biolog": 14, "healthcar": 14, "solar": 14, "interlink": 14, "persist": 14, "despit": 14, "lack": 14, "clariti": 14, "phenomenon": 14, "holist": 14, "1": 14, "emphas": 14, "de": 14, "reduct": 14, "deconstruct": 14, "aspect": 14, "seek": 14, "outward": 14, "inward": 14, "refreshingli": 14, "taught": 14, "amplifi": 14, "conclus": 14, "trust": 14, "disagre": 14, "activ": 14, "rigor": 14, "nonetheless": 14, "hasn": 14, "histor": 14, "emphasis": 14, "avenu": 14, "1940": 14, "ago": 14, "slow": 14, "patient": 14, "inter": 14, "recent": 14, "decad": 14, "difficult": 14, "masteri": 14, "lean": 14, "driven": 14, "clai": 14, "ball": 14, "sun": 14, "planet": 14, "size": 14, "jupit": 14, "Its": 14, "heavili": 14, "insight": 14, "vision": 14, "matur": 14, "signific": 14, "theorem": 14, "graph": 14, "dive": 14, "broadli": 14, "chosen": 14, "barest": 14, "thorni": 14, "particularli": 14, "slowli": 14, "essenc": 14, "payoff": 14, "4": 14, "sort": 14, "showcas": 14, "interrel": 14, "ultim": 14, "shine": 14, "forth": 14, "7": 14, "sandwich": 14, "kitchen": 14, "contextu": 14, "extract": 14, "abstrus": 14, "seemingli": 14, "fiction": [14, 15], "screw": [14, 15], "forward": [14, 15], "tini": [14, 15], "nut": [14, 15], "bolt": [14, 15], "tight": [14, 15], "breadth": [14, 15], "prior": 14, "acquaint": 14, "difficulti": 14, "ramp": 14, "peak": 14, "implic": 14, "somewhat": 14, "linearli": 14, "relief": 14, "detour": 14, "circular": 14, "glean": 14, "discourag": 14, "introductori": 14, "deepli": 14, "endeavour": 14, "yai": 14, "rocket": 14, "icon": 14, "select": 14, "button": 14, "statu": 14, "boot": 14, "wait": 14, "kernel": 14, "displai": 14, "respons": 14, "faster": 14, "delai": 14, "worth": 14, "soon": 14, "opportun": 14, "internalis": 14, "lesson": 14, "spend": 14, "daydream": 14, "rush": 14, "motiv": 14, "andi": 14, "matuschak": 14, "nielsen": 14, "essai": 14, "immers": 14, "formerli": 14, "properti": 14, "expand": 14, "realis": 14, "theorist": 14, "ground": 14, "embodi": 14, "todai": 14, "glori": 14, "contribut": 14, "meadow": 14, "donella": 14, "2015": 14, "chelsea": 14, "publish": 14, "eilenberg": 14, "samuel": 14, "saunder": 14, "maclan": 14, "transact": 14, "58": 14, "1945": 14, "231": 14, "94": 14, "2307": 14, "1990284": 14, "gratefulli": 14, "servic": 14, "binder": 14, "server": 14, "factor": 14, "hour": 14, "numin": 14, "ttft": 14, "san": 14, "francisco": 14, "2019": 14, "learner": 15, "road": 15, "plural": 15, "accordingli": 15, "minim": 15, "incorpor": 15}, "objects": {}, "objtypes": {}, "objnames": {}, "titleterms": {"sampl": 0, "markdown": 0, "here": 0, "how": [0, 8, 14], "we": [0, 5, 14], "emb": 0, "an": 0, "imag": 0, "video": 0, "some": 0, "math": 0, "guid": 1, "add": [1, 10], "content": [1, 2], "build": 1, "book": [1, 14], "ad": [1, 10], "new": [1, 14], "chapter": [1, 3, 4, 5, 6, 7, 8, 9, 10, 11], "modifi": 1, "exist": 1, "publish": 1, "github": 1, "page": 1, "author": 2, "develop": 2, "write": [2, 7], "angelin": 2, "aguinaldo": 2, "paul": 2, "dancstep": 2, "brendan": 2, "fong": 2, "priyaa": 2, "varshine": 2, "srinivasan": 2, "multimedia": 2, "illustr": 2, "technolog": 2, "advisor": 2, "project": 2, "manag": [2, 10], "0": 3, "direct": [3, 4, 6], "graph": [3, 4, 5, 6, 7, 8, 9, 10, 11], "1": [3, 4, 5, 6, 7, 8, 9, 10, 11], "what": [3, 5, 9, 10], "mytholog": [3, 4], "romanc": [3, 4], "ski": [3, 5], "trip": [3, 5], "brochur": [3, 5], "whose": [3, 5], "turn": [3, 5], "Is": [3, 10], "It": 3, "To": 3, "do": [3, 5], "dish": [3, 5], "2": [3, 4, 5, 6, 7, 8, 9, 10, 11], "why": [3, 9], "data": [4, 8], "introduct": [4, 5, 6, 7, 8, 9, 10, 11, 14], "sourc": 4, "target": 4, "map": 4, "puzzl": [4, 5, 8, 9, 10, 14], "3": [4, 5, 6, 7, 8, 9, 10, 11], "4": [4, 5, 7, 8, 9, 10, 11], "On": [4, 11], "import": 4, "find": [4, 10, 11], "right": 4, "abstract": [4, 14], "paus": [4, 6, 7, 8, 9, 10, 11], "ponder": [4, 6, 7, 8, 9, 10, 11], "summari": [4, 5, 6, 7, 8, 9, 10, 11], "dynam": 5, "system": [5, 7, 14], "kiki": 5, "bouba": 5, "make": 5, "kei": [5, 8, 9, 10, 14], "point": [5, 8, 9, 10], "light": 5, "bulb": 5, "singl": 5, "flash": 5, "string": 5, "differ": 5, "initi": 5, "state": 5, "solut": [5, 8, 9, 10], "A": [5, 10, 11, 14], "traffic": 5, "see": 5, "answer": [5, 10], "themselv": 5, "food": 5, "thought": 5, "talk": 5, "each": 5, "other": [5, 7], "stand": 5, "alon": 5, "updat": 5, "rule": [5, 11], "happen": 5, "start": [5, 7], "mood": 5, "can": 5, "thi": [5, 10, 14], "situat": 5, "better": 5, "friend": 5, "reduc": 5, "s": 5, "suscept": 5, "factor": 5, "chef": 5, "hi": 5, "helper": 5, "5": [5, 7, 8, 9, 10], "blueprint": [6, 7], "part": [6, 7, 14], "i": [6, 14], "introduc": 6, "chunki": 6, "arrow": 6, "us": [6, 9, 10], "ii": [7, 14], "reflex": 7, "theori": 7, "The": [7, 8, 9, 10, 11], "follow": 7, "path": 7, "alwai": 7, "take": 7, "you": [7, 8], "back": [7, 8], "where": 7, "comput": [7, 9, 10], "undirect": 7, "compar": 7, "two": 7, "kind": 7, "schema": [7, 8, 11], "simplici": 7, "set": 7, "petri": 7, "net": 7, "databas": 7, "footnot": [7, 8, 9, 10, 14], "refer": [7, 8, 9, 10, 11, 14], "categori": 8, "inject": 8, "concret": 8, "avoid": 8, "dangl": 8, "edg": [8, 10], "upper": 8, "rout": 8, "lower": 8, "morphism": 8, "gener": 8, "coars": 8, "grain": 8, "Be": 8, "ar": [8, 9], "isomorph": 8, "idea": [8, 14], "algebra": [8, 10], "julia": [8, 10], "6": [8, 9, 10], "7": [8, 10], "instanc": 8, "geometr": 8, "vs": 8, "view": [8, 14], "combin": 9, "recap": 9, "meme": 9, "game": [9, 10], "descript": 9, "shape": 9, "overlap": 9, "pass": 9, "commut": 9, "squar": 9, "univers": 9, "properti": 9, "uniqu": 9, "x": 9, "pushout": [9, 10], "same": 9, "time": 9, "algebraicjulia": [9, 14], "evolv": [10, 11], "specifi": 10, "replac": [10, 11], "delet": 10, "match": 10, "remov": 10, "vertic": 10, "from": [10, 11], "perform": 10, "exampl": 10, "requir": 10, "million": 10, "dollar": 10, "question": 10, "ye": 10, "continu": 10, "8": [10, 11], "machineri": 10, "few": 10, "case": 10, "chemistri": 10, "design": [10, 14], "search": 10, "pattern": 10, "complement": 10, "doubl": 10, "relat": [10, 14], "think": [10, 14], "hard": 10, "good": 10, "shift": 10, "vocabulari": 10, "slogan": 10, "order": 10, "process": 10, "9": 10, "look": 11, "beyond": 11, "world": 11, "model": 11, "cube": 11, "configur": 11, "extend": 11, "close": 11, "box": 11, "open": 11, "code": [11, 14], "never": 11, "underneath": 11, "work": 11, "kitchen": 11, "put": 11, "chees": 11, "bread": 11, "plate": 11, "slice": 11, "conclud": 11, "word": 11, "cover": 12, "credit": 13, "softwar": 14, "mathemat": [14, 15], "climb": 14, "ladder": 14, "appreci": 14, "ve": 14, "style": 14, "reader": 14, "background": 14, "live": 14, "line": 14, "medium": 14, "through": 15, "stori": 15, "tell": 15}, "envversion": {"sphinx.domains.c": 2, "sphinx.domains.changeset": 1, "sphinx.domains.citation": 1, "sphinx.domains.cpp": 6, "sphinx.domains.index": 1, "sphinx.domains.javascript": 2, "sphinx.domains.math": 2, "sphinx.domains.python": 3, "sphinx.domains.rst": 2, "sphinx.domains.std": 2, "sphinx.ext.intersphinx": 1, "sphinxcontrib.bibtex": 9, "sphinx": 56}})
\ No newline at end of file
+Search.setIndex({"docnames": ["Markdown", "README", "authors", "chp0", "chp1-directed-graphs", "chp2-dwd", "chp3-schemas", "chp4-schemas-part2", "chp5-graph-relationships", "chp6-graph-gluing", "chp7-dpo", "chp8-dpo-application", "cover", "credits", "intro", "storytelling"], "filenames": ["Markdown.md", "README.md", "authors.md", "chp0.md", "chp1-directed-graphs.md", "chp2-dwd.md", "chp3-schemas.md", "chp4-schemas-part2.md", "chp5-graph-relationships.md", "chp6-graph-gluing.md", "chp7-dpo.md", "chp8-dpo-application.md", "cover.md", "credits.md", "intro.md", "storytelling.md"], "titles": ["Sample Markdown", "Guide to add contents and build the book", "Authors", "Chapter 0: Directed Graphs", "Chapter 1: Data", "Chapter 2: Dynamical Systems with Kiki and Bouba", "Chapter 3: Blueprints - Part I", "Chapter 4: Blueprints - Part II", "Chapter 5: Categories", "Chapter 6: Combining Graphs", "Chapter 7: Evolving Graphs", "Chapter 8: A Look Beyond \u2013 Evolving World Models", "Cover", "Credits", "Introduction", "Mathematics through story-telling"], "terms": {"thi": [0, 1, 2, 3, 4, 6, 7, 8, 9, 11, 13, 15], "small": [0, 5], "book": [0, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15], "give": [0, 3, 4, 5, 7, 8, 10, 14], "you": [0, 3, 4, 5, 6, 9, 10, 11, 13, 14], "feel": [0, 4, 8, 9, 10, 11], "content": [0, 11, 13, 14], "structur": [0, 3, 4, 7, 8, 9, 10, 11], "note": [0, 4, 7, 8, 9, 10, 11, 14], "And": [0, 3, 4, 5, 6, 7, 8, 10, 11, 14], "code": [0, 1, 4, 5, 6, 8, 9, 10, 13, 15], "block": [0, 6, 14], "e": [0, 4, 5, 8, 10, 11], "mc": 0, "2": [0, 13, 14], "hello": 0, "check": [0, 9, 10], "out": [0, 3, 4, 5, 7, 8, 9, 10, 11], "page": [0, 7, 14], "bundl": [0, 6], "see": [0, 3, 4, 6, 7, 8, 9, 10, 11, 14], "more": [0, 3, 4, 5, 7, 8, 9, 10, 11, 14], "refer": [0, 1, 5], "intro": 0, "live": [0, 1, 2, 9, 10, 13, 15], "b": [0, 4, 7, 9], "2ab": 0, "repo": [1, 5, 9, 10, 14], "contain": [1, 8, 11, 14], "file": [1, 9], "jupyt": 1, "thebe": 1, "execut": [1, 2, 7, 8, 13, 14], "algebra": [1, 4, 5, 6, 7, 9, 11, 13, 14], "julia": [1, 4, 5, 9, 13, 14], "The": [1, 4, 5, 6, 13, 14, 15], "ha": [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], "been": [1, 6, 8, 10, 11, 13, 14, 15], "onlin": 1, "via": [1, 9, 14], "toposinstitut": [1, 5, 9, 10, 14], "io": [1, 7], "relationalthink": [1, 5, 9, 10, 14], "clone": 1, "local": [1, 14], "folder": 1, "instal": [1, 14], "your": [1, 3, 4, 7, 8, 9, 11, 13, 14], "machin": [1, 14, 15], "http": [1, 7, 8, 9, 10, 14], "jupyterbook": 1, "org": [1, 7, 8, 9, 14], "en": 1, "stabl": 1, "start": [1, 3, 4, 8, 9, 10, 11, 14], "overview": 1, "html": [1, 9], "To": [1, 5, 6, 7, 8, 9, 10, 14], "navig": [1, 9, 10, 14], "run": [1, 4, 6, 8, 9, 10, 14], "abov": [1, 3, 4, 5, 7, 8, 9, 10, 13], "command": 1, "provid": [1, 5, 6, 7, 8, 10, 11, 14, 15], "link": [1, 7], "view": [1, 3, 4, 5, 6, 9, 10], "push": 1, "chang": [1, 3, 5, 8, 9, 10, 11, 14], "repositori": 1, "us": [1, 3, 4, 5, 7, 8, 11, 13, 14, 15], "git": 1, "host": [1, 10, 14], "ghp": 1, "import": [1, 5, 7, 8, 10, 14, 15], "pip": 1, "from": [1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14], "main": [1, 8, 14], "branch": [1, 4], "n": [1, 9], "p": [1, 5], "f": [1, 8], "_build": 1, "comput": [2, 3, 4, 5, 6, 8, 11, 14, 15], "scienc": [2, 13, 14], "phd": 2, "candid": [2, 9], "univers": [2, 8, 10, 11, 14], "maryland": 2, "colleg": 2, "park": 2, "softwar": [2, 4, 10], "engin": [2, 11], "john": 2, "hopkin": 2, "appli": [2, 5, 7, 8, 9, 10, 11, 14], "physic": [2, 8, 11, 14], "laboratori": 2, "previous": [2, 11], "research": [2, 14], "assist": [2, 14], "topo": [2, 13], "institut": [2, 13], "she": 2, "receiv": [2, 5, 8, 10], "her": [2, 5, 13], "bachelor": 2, "degre": 2, "biomed": 2, "master": 2, "electr": 2, "drexel": 2, "intersect": 2, "knowledg": [2, 11, 14], "represent": [2, 4, 5, 8, 11, 14], "robot": [2, 11, 14], "task": [2, 11, 14], "plan": [2, 11], "categori": [2, 3, 4, 5, 7, 9, 11, 13, 14, 15], "theori": [2, 8, 9, 11, 13, 14, 15], "right": [2, 3, 5, 8, 9, 10, 11, 14, 15], "hand": [2, 8, 9, 11], "person": [2, 3, 5, 6, 8, 10, 13], "who": [2, 3, 5, 7, 8, 9], "like": [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15], "do": [2, 4, 6, 7, 8, 9, 10, 11, 14], "dish": [2, 8, 9], "everi": [2, 3, 5, 6, 7, 8, 9], "other": [2, 3, 4, 6, 8, 9, 10, 11, 14], "dai": [2, 3, 5], "he": [2, 3, 5, 10], "an": [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "initi": [2, 9, 10, 13], "mood": [2, 7], "around": [2, 3, 5, 7, 8, 10, 14], "3": [2, 14], "calmdown": [2, 5], "rate": [2, 5], "probabl": [2, 10], "5": [2, 13, 14], "so": [2, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "enjoi": [2, 11], "try": [2, 3, 4, 8, 10, 13, 14], "come": [2, 4, 5, 7, 8, 9, 14], "up": [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "visual": [2, 3, 4, 5, 8, 9, 10, 11, 14, 15], "explan": [2, 10], "abstract": [2, 3, 5, 6, 7, 8, 11], "concept": [2, 3, 6, 7, 8, 9, 10, 11, 13], "optimist": 2, "tool": [2, 3, 4, 5, 7, 9, 11, 14], "have": [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], "role": [2, 10, 14], "plai": [2, 5, 9, 10, 14], "human": [2, 4, 5, 8, 10, 14], "flourish": 2, "21st": 2, "centuri": [2, 10, 14], "overse": 2, "coordin": 2, "strateg": 2, "hold": 2, "oxford": 2, "undertook": 2, "postdoctor": 2, "studi": [2, 11, 14], "system": [2, 3, 8, 9, 10, 11], "mathemat": [2, 5, 6, 7, 8, 9, 10, 11], "upenn": 2, "mit": 2, "found": [2, 7, 8, 9, 10], "editor": [2, 9, 10], "open": [2, 4, 13, 14], "access": [2, 3, 8, 10], "journal": [2, 11], "composition": [2, 11], "co": [2, 9], "textbook": [2, 14, 15], "invit": [2, 9, 10, 14], "believ": [2, 14], "connect": [2, 3, 4, 6, 7, 8, 9, 10, 11], "integr": [2, 8, 10], "ar": [2, 3, 4, 5, 6, 7, 10, 11, 13, 14, 15], "alreadi": [2, 9], "transform": [2, 8, 11, 14], "world": [2, 3, 5, 6, 8, 9, 10, 14], "we": [2, 3, 4, 6, 7, 8, 9, 10, 11, 13, 15], "dedic": 2, "ensur": [2, 7, 9, 10, 13, 14], "benefit": [2, 4, 14], "societi": [2, 14], "larg": [2, 10], "compassion": 2, "mathematician": [2, 7, 14], "work": [2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15], "post": [2, 10], "doctor": 2, "calgari": 2, "interest": [2, 4, 5, 6, 7, 9, 11, 14], "creat": [2, 4, 5, 6, 8, 9, 11, 13, 14, 15], "pathwai": 2, "make": [2, 3, 4, 6, 7, 8, 9, 10, 11, 13, 14], "math": [2, 10, 11], "commun": [2, 3, 4, 7, 9, 15], "user": [2, 14], "friendli": 2, "approach": [2, 4, 6, 7, 8, 10, 11], "school": [2, 10], "graduat": 2, "deriv": 2, "inspir": [2, 10, 11, 13, 15], "tai": 2, "dana": 2, "bradlei": 2, "eugenia": [2, 11], "cheng": [2, 11], "baez": 2, "pawel": [2, 13], "sobocinski": [2, 13], "bob": [2, 10], "coeck": 2, "david": [2, 5, 7, 13], "spivak": [2, 5, 7], "mani": [2, 3, 4, 5, 6, 8, 9, 10, 11, 14, 15], "area": 2, "experi": [2, 9, 10, 14, 15], "span": [2, 9], "quantum": 2, "evan": [2, 11, 13], "patterson": [2, 11], "progress": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "d": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "love": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "learn": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], "how": [3, 4, 5, 6, 7, 9, 10, 11], "can": [3, 4, 6, 7, 8, 9, 10, 11, 14, 15], "better": [3, 4, 6, 7, 8, 9, 10, 11, 14], "especi": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "regard": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "fix": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "typo": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "sentenc": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "unclear": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "pleas": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "consid": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15], "leav": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "ani": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "feedback": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "comment": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "observ": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "about": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "googl": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "doc": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "diagram": [3, 5, 8, 9, 10], "all": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], "common": [3, 9, 11], "first": [3, 4, 5, 7, 8, 9, 10, 14], "thei": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "arrow": [3, 4, 5, 7, 8, 9, 10, 14], "second": [3, 4, 5, 8, 10, 14], "some": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "point": [3, 4, 6, 7, 14], "player": [3, 7, 10], "footprint": 3, "question": [3, 5, 7, 8, 9, 14], "etc": [3, 4, 7, 8, 10], "one": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "our": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15], "relat": [3, 5, 6, 8, 9, 11], "think": [3, 4, 5, 6, 7, 8, 9, 11], "algebraicjulia": [3, 5, 6, 7, 8, 11], "simpl": [3, 5, 8, 9, 10, 11, 14], "model": [3, 4, 5, 6, 7, 8, 9, 10, 14], "call": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "In": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "languag": [3, 5, 8, 10, 11, 14], "commonli": [3, 10], "known": [3, 5, 7, 9, 14], "vertic": [3, 4, 5, 6, 7, 8, 9, 11], "vertex": [3, 4, 5, 7, 8, 9, 10, 11], "when": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15], "singular": 3, "collect": [3, 6, 14, 15], "few": [3, 5, 6, 7, 9, 13, 14], "rule": [3, 4, 7, 9, 10], "follow": [3, 4, 5, 6, 8, 9, 10, 11, 13, 15], "s": [3, 4, 6, 7, 8, 9, 10, 11, 13, 14, 15], "setup": 3, "situat": [3, 6, 10, 14], "life": [3, 5, 9, 11], "well": [3, 5, 7, 10, 11, 14], "captur": [3, 7, 8, 11, 14], "kind": [3, 4, 5, 6, 8, 13, 14, 15], "repres": [3, 5, 6, 7, 8, 9, 11, 14], "three": [3, 5, 7, 8, 9, 10, 11, 14], "aphrodit": [3, 4], "adoni": [3, 4], "But": [3, 4, 7, 8, 9, 10, 14], "polyamor": [3, 4], "also": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "narcissu": [3, 4], "cours": [3, 4, 8], "onli": [3, 4, 5, 7, 8, 9, 10, 11, 14], "himself": [3, 4, 10], "relationship": [3, 4, 7, 8, 9, 10, 11, 14], "which": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15], "charact": [3, 5, 10, 13], "indic": [3, 5, 7, 9, 10], "sourc": [3, 5, 6, 7, 8, 9, 10, 11, 13], "target": [3, 5, 6, 7, 8, 9, 11], "lodg": [3, 5], "take": [3, 4, 6, 8, 9, 10, 11, 14, 15], "lift": [3, 5, 8, 10], "top": [3, 8, 11, 14], "mountain": [3, 5, 8], "down": [3, 5, 8, 9], "slope": 3, "isol": [3, 9], "alpin": 3, "villag": [3, 5, 8], "vallei": [3, 8], "where": [3, 4, 5, 6, 8, 9, 10], "cross": [3, 5, 9], "countri": [3, 5, 10], "surround": 3, "landscap": 3, "Of": [3, 8], "peopl": [3, 6, 7, 13], "don": [3, 4, 7, 9, 11, 14], "t": [3, 4, 5, 7, 8, 9, 10, 11, 14], "know": [3, 4, 6, 7, 8, 9, 10, 11, 14], "If": [3, 4, 5, 7, 9, 10, 11, 14], "sound": [3, 8, 9, 14], "worri": [3, 7, 10], "still": [3, 7, 8, 14], "visit": [3, 8], "beauti": [3, 4, 10, 14], "just": [3, 4, 5, 6, 7, 8, 9, 10, 14, 15], "jump": [3, 14], "back": [3, 5, 6, 10], "return": [3, 7], "locat": 3, "mode": 3, "transport": 3, "anoth": [3, 4, 5, 7, 8, 9, 10, 11, 14], "squint": 3, "look": [3, 4, 5, 6, 7, 8, 9, 10, 14], "simplifi": [3, 6, 14], "map": [3, 6, 7, 8, 9, 10, 11], "ve": [3, 4, 6, 7, 8], "left": [3, 8, 10, 11], "tree": 3, "geographi": 3, "distanc": [3, 14], "place": [3, 7, 8, 10, 14, 15], "distil": 3, "wai": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "find": [3, 7, 8, 9, 14], "most": [3, 5, 9, 10, 14, 15], "essenti": [3, 4], "detail": [3, 4, 5, 6, 7, 8, 13], "need": [3, 4, 5, 6, 8, 9, 10, 14], "get": [3, 4, 5, 6, 7, 8, 9, 10, 14], "paul": [3, 8, 9, 13], "hi": [3, 10, 13], "wife": 3, "toni": [3, 8], "trade": 3, "off": [3, 4, 5, 10, 11, 14], "each": [3, 4, 7, 8, 9, 10, 11, 13, 14], "Then": [3, 8, 9, 14], "friend": [3, 9, 11], "tuco": [3, 8, 9], "move": [3, 4, 5, 7, 8, 14], "done": [3, 8, 10, 11, 14], "them": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "ever": 3, "sinc": [3, 9, 10], "wa": [3, 5, 7, 8, 9, 10], "last": [3, 4, 5, 8, 14], "befor": [3, 5, 9, 10], "took": [3, 5, 8], "over": [3, 5, 8, 9, 10, 14], "onc": [3, 5, 8, 9, 10, 11, 14], "again": [3, 8, 9, 14], "two": [3, 4, 5, 6, 8, 9, 10, 11, 14], "mai": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "consecut": 3, "individu": [3, 8, 9], "seem": [3, 4, 5, 8, 9, 10, 14], "quit": [3, 5, 6, 8, 9, 10, 11, 14], "differ": [3, 4, 6, 7, 8, 9, 10, 11, 14, 15], "clear": 3, "share": [3, 7, 13, 14], "same": [3, 4, 5, 6, 7, 8, 10, 11, 14, 15], "abstractli": 3, "unlabel": [3, 10], "form": [3, 4, 6, 7, 8, 9, 10, 11, 14], "casual": 3, "littl": [3, 5, 6, 9, 14, 15], "than": [3, 5, 7, 9, 10, 11, 14], "conveni": [3, 4], "pictur": [3, 5, 8, 9, 10, 13, 14], "heurist": 3, "easier": [3, 9, 10, 14], "underli": [3, 5, 6, 7, 8], "transit": [3, 5], "formal": [3, 5, 8, 14, 15], "unpack": [3, 14], "capabl": [3, 4, 5, 11], "through": [3, 4, 5, 8, 9, 14], "extend": [3, 5, 7, 9, 14], "idea": [3, 5, 6, 7, 9, 10, 11, 15], "choos": [3, 4, 10, 11], "focu": [3, 8, 10, 14, 15], "sens": [3, 5, 7, 9, 10, 14], "nice": 3, "combin": [3, 6, 7, 11], "simplic": [3, 4], "versatil": [3, 5, 6, 7, 11], "easi": [3, 6, 9], "understand": [3, 4, 7, 8, 10, 11, 14, 15], "rich": [3, 8, 9], "term": [3, 5, 6, 7, 8, 9, 10, 14, 15], "applic": [3, 7, 11, 14], "pictograph": 3, "allow": [3, 4, 5, 7, 8, 9, 10, 14], "pretti": 3, "illustr": [3, 9, 10, 11, 14, 15], "power": [3, 6, 7, 9, 10, 11, 14], "someth": [3, 8, 10, 11, 14, 15], "order": [3, 5, 7, 8, 11, 14], "complex": [3, 8, 9, 11, 14], "As": [3, 4, 5, 8, 9, 10, 11, 14, 15], "help": [3, 4, 5, 8, 9, 11, 13, 14], "both": [3, 5, 6, 7, 8, 9, 10, 11], "deep": [3, 9, 14], "real": [3, 9, 11, 14], "reason": [3, 7, 8, 9, 10, 11, 14], "want": [3, 4, 5, 6, 7, 9, 10, 11], "becaus": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "fragil": 3, "suppos": [3, 4, 5, 6, 7, 8, 9, 10], "re": [3, 4, 6, 7, 8, 14], "go": [3, 4, 5, 6, 7, 8, 9, 10, 11, 14], "updat": [3, 11], "reflect": [3, 9, 10, 11, 14], "new": [3, 4, 5, 6, 7, 8, 9, 10, 11, 15], "specif": [3, 4, 6, 7, 8, 9, 10, 14], "ll": [3, 4, 5, 6, 7, 8, 14], "abil": [3, 8], "add": [3, 5, 6, 7, 9, 11], "delet": [3, 8, 11], "necessari": [3, 10, 14], "now": [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14], "modifi": [3, 5, 9, 10], "non": [3, 4, 5, 6, 9, 10, 11, 14, 15], "trivial": [3, 5], "problem": [3, 4, 7, 8, 9, 10, 11, 14], "procedur": [3, 5, 8, 9, 10], "freeli": 3, "compon": [3, 8, 10, 11], "end": [3, 5, 6, 7, 8, 9, 10, 11], "broken": [3, 4, 8, 9, 10], "By": [3, 4, 5, 6, 7, 9, 10], "definit": [3, 7, 14], "must": [3, 4, 5, 6, 7, 8, 9, 10, 11], "care": [3, 4, 7, 8, 9, 10], "dangl": [3, 4, 7, 9, 10, 14], "big": [3, 6, 9, 14, 15], "invalid": 3, "becom": [3, 5, 7, 11], "incorrect": [3, 10], "meaningless": 3, "sai": [3, 5, 7, 8, 9, 10, 11, 14], "wrong": 3, "ungrammat": 3, "unfortun": 3, "fact": [3, 4, 5, 7, 8], "prone": 3, "exercis": [3, 9, 10], "perform": [3, 5], "sophist": [3, 5, 7, 14], "manipul": [3, 7, 11], "merg": [3, 8], "separ": [3, 8, 9, 10], "subgraph": 3, "replac": [3, 4, 9], "section": [3, 5, 7, 8, 9, 10, 14], "introduc": [3, 5, 8, 9, 14], "complic": [3, 14], "edg": [3, 4, 5, 6, 7, 9, 11, 14], "case": [3, 4, 5, 6, 7, 8, 9, 11, 14], "detach": 3, "condit": [3, 4, 5, 7, 8, 9, 10, 11], "eleg": [3, 4, 10, 11], "solut": [3, 11, 13], "final": [3, 5, 7, 8, 9, 10, 14], "arriv": [3, 8], "doubl": [3, 8, 11], "pushout": [3, 11], "rewrit": [3, 10, 11], "theoret": [3, 7, 9, 10, 11, 14], "design": [3, 4, 7, 8, 11, 13], "pattern": [3, 7, 8, 14, 15], "intric": 3, "without": [3, 4, 7, 8, 9, 10, 13, 14], "thought": [3, 4, 7, 8, 10, 14, 15], "exist": [3, 5, 7, 8, 9, 10, 11], "level": [3, 4, 5, 7, 8, 9], "simpli": [3, 5, 7, 11], "accustom": [3, 9], "certain": [3, 5, 7], "layer": 3, "develop": [3, 4, 5, 6, 7, 8, 11, 14], "along": [3, 4, 5, 7, 9, 10, 11], "being": [3, 4, 5, 10, 11], "ecosystem": [3, 9, 13, 14], "seriou": 3, "scientif": [3, 7, 14], "effect": [3, 5, 8, 11, 14], "organ": [3, 10], "while": [3, 4, 8, 9, 10, 11, 14], "write": [3, 8, 10, 13, 14, 15], "program": [3, 5, 8, 9, 10, 11, 13, 14], "wrote": 3, "show": [3, 5, 8, 9, 14], "chronic": 3, "practic": [3, 7, 8, 9, 10, 14], "handl": [3, 5, 7, 9, 10], "elegantli": 3, "viewpoint": [3, 14], "hope": [3, 11, 14], "exampl": [3, 4, 5, 6, 7, 8, 9, 11, 13, 14], "tast": 3, "categor": [3, 11], "appetit": 3, "A": [4, 6, 7, 8, 9, 13], "river": 4, "jam": 4, "log": 4, "imag": [4, 8, 9, 10], "wikimedia": 4, "even": [4, 5, 9, 10, 14], "stuck": 4, "shift": [4, 14], "michael": [4, 14], "sorkin": 4, "hundr": 4, "fifti": 4, "thing": [4, 5, 6, 7, 8, 9, 10, 11, 14], "architect": 4, "should": [4, 7, 9, 10, 11, 14], "creatur": [4, 8], "leverag": 4, "percept": 4, "spatial": [4, 8, 11], "lai": 4, "pertin": 4, "singl": [4, 6, 9, 10], "For": [4, 5, 6, 7, 8, 9, 10, 11, 14], "compar": [4, 8], "textual": [4, 10], "descript": [4, 8, 14], "aginst": 4, "its": [4, 5, 7, 8, 9, 10, 11, 13, 14, 15], "written": [4, 11, 14], "requir": [4, 6, 9, 14, 15], "concentr": 4, "pars": 4, "associ": [4, 7, 8, 11], "inform": [4, 5, 6, 7, 8, 9, 10, 11, 14], "instantli": 4, "avail": [4, 5, 7, 9, 10, 14], "Such": [4, 6, 10, 11, 14], "implicit": [4, 11], "made": [4, 7, 9, 10, 13, 14, 15], "appar": 4, "proxim": 4, "element": [4, 11], "unlik": 4, "involv": [4, 10, 11], "video": 4, "outlin": [4, 8], "possibl": [4, 7, 8, 9, 10, 11, 13, 14, 15], "redescrib": 4, "virtu": 4, "explicit": [4, 11], "list": [4, 10], "easili": [4, 11, 14], "type": [4, 11], "disclaim": [4, 7], "sampl": 4, "graphic": [4, 5, 8], "graphviz": 4, "packag": [4, 5, 11, 13], "under": [4, 5, 6, 8, 9, 10, 14], "sometim": [4, 8], "behav": [4, 5], "inept": 4, "reconstructor": 4, "surpris": 4, "choic": [4, 6, 9, 10, 11], "draw": [4, 6, 9, 10], "describ": [4, 5, 6, 8, 9, 14], "paper": [4, 7, 9], "examin": 4, "convert": [4, 7], "number": [4, 5, 6, 7, 8, 9, 10, 11, 14], "time": [4, 5, 8, 10, 14], "explain": [4, 11, 14], "edit": [4, 11, 14], "enter": [4, 7, 9], "below": [4, 5, 6, 8, 9, 10, 14], "src": [4, 6, 7, 8, 10, 11], "tgt": [4, 6, 7, 8, 10, 11], "expect": [4, 9, 11], "catlab": [4, 8, 9, 10], "categoricalalgebra": [4, 8], "aj_problem4a": 4, "add_vertic": [4, 8], "add_part": [4, 8], "to_graphviz": [4, 9, 10, 11], "aj_problem4b": 4, "6": [4, 13, 14], "best": [4, 5, 6], "current": [4, 5, 7, 10, 11], "assign": [4, 5], "uniqu": [4, 7, 10], "what": [4, 7, 8, 11, 14, 15], "would": [4, 5, 6, 7, 8, 9, 10, 11, 13], "happen": [4, 7, 10, 14], "flip": 4, "That": [4, 5, 7, 8, 9, 10, 11, 14], "instead": [4, 5, 6, 8, 14], "doe": [4, 8, 9, 10, 11, 14, 15], "mean": [4, 5, 6, 7, 8, 9, 10, 11, 14], "flow": [4, 5, 8, 9, 10], "opposit": [4, 7], "Is": [4, 9], "between": [4, 5, 7, 8, 9, 10, 11, 14], "At": [4, 5, 8], "glanc": 4, "might": [4, 6, 7, 8, 10, 11, 14], "exact": [4, 7, 8, 10], "whole": [4, 6, 7, 8, 14], "bunch": [4, 14], "aris": [4, 8], "express": [4, 7, 9, 11, 14], "least": [4, 7, 9, 10], "relax": 4, "had": [4, 5, 7, 8, 11, 13], "arbitrari": [4, 9, 10], "looser": 4, "rise": 4, "bookkeep": 4, "headach": 4, "won": [4, 8], "anymor": 4, "It": [4, 5, 7, 8, 9, 10, 14, 15], "turn": [4, 7, 8, 9, 10, 14], "importantli": 4, "vulner": 4, "random": 4, "throw": 4, "togeth": [4, 7, 8, 9, 10, 11, 14, 15], "arbitrarili": 4, "result": [4, 5, 7, 8, 9, 10, 14], "reconstruct": 4, "mutant": 4, "multipl": [4, 5, 10], "somehow": [4, 10, 14], "float": [4, 8], "themselv": [4, 9, 14], "unattach": 4, "anyth": 4, "carnag": 4, "nonsens": 4, "appear": [4, 13, 14], "valid": 4, "produc": [4, 5, 9, 10], "interpret": [4, 5, 7], "contrast": 4, "proper": [4, 8], "why": [4, 5, 10], "alwai": [4, 5, 8, 9, 10, 14], "safe": 4, "purpos": [4, 5, 8, 11, 14], "highlight": [4, 11, 14], "good": [4, 8, 9, 13, 14], "bad": [4, 5, 10], "hard": [4, 9, 13, 14], "escap": 4, "natur": [4, 5, 8, 9, 10, 14], "There": [4, 5, 8, 9, 10, 14], "correspond": [4, 6, 8], "typic": 4, "forc": [4, 13], "counten": 4, "deal": 4, "problemat": 4, "word": [4, 6, 8, 9, 10, 14], "fussi": 4, "annoi": [4, 7], "barrier": 4, "seri": 4, "increasingli": 4, "begin": [4, 5, 6, 7, 8, 9, 10, 11, 14], "journei": [4, 6, 7, 14], "permit": 4, "ladder": [4, 8], "cleanli": 4, "stage": 4, "fulli": [4, 7, 9, 14], "disregard": 4, "previou": [4, 9, 10, 11], "abl": [4, 7, 11], "grant": [4, 6, 8, 13], "everyth": [4, 8, 14], "itself": [4, 6, 7, 8, 9, 10, 14], "rung": [4, 8, 9, 14], "continu": [4, 5, 6, 7, 9], "climb": 4, "blueprint": [4, 8, 14], "step": [4, 5, 8, 9, 10, 14], "obtain": [4, 10], "reap": 4, "cumul": 4, "ch2": 5, "great": [5, 11, 14], "fun": [5, 9, 10, 11, 13, 14], "meet": [5, 14], "highli": 5, "excit": [5, 14], "prefer": 5, "grumpi": 5, "side": [5, 6, 7, 8, 9], "howev": [5, 6, 8, 9, 10, 14, 15], "interact": [5, 10, 14], "built": [5, 7], "direct": [5, 7, 8, 9, 10, 14], "met": [5, 9], "mytholog": 5, "romanc": 5, "depict": [5, 8], "here": [5, 7, 8, 9, 10, 11, 13, 14], "base": [5, 11, 14], "downhil": 5, "manifest": [5, 10], "bring": [5, 10], "feed": 5, "addit": [5, 8, 10], "simul": [5, 11], "event": 5, "These": [5, 6, 7, 8, 9, 10, 14], "occur": [5, 10], "period": 5, "60": 5, "minut": [5, 14], "discret": [5, 9], "piec": [5, 6, 7, 9, 11], "set": [5, 6, 8, 9, 10, 11, 13], "veri": [5, 8, 14], "let": [5, 6, 7, 8, 9, 10, 11, 14], "could": [5, 7, 8, 9, 10, 11, 14], "simpler": 5, "almost": [5, 8, 14], "doesn": [5, 8, 9], "rememb": [5, 6, 8, 10], "bear": 5, "henc": [5, 9, 10, 14], "either": [5, 6, 8, 9, 10], "ON": 5, "extra": [5, 9, 10], "data": [5, 6, 7, 9, 11, 14], "instant": 5, "valu": [5, 8, 10, 14], "snapshot": 5, "stai": [5, 7, 8, 9], "whatev": [5, 7], "ad": [5, 7, 8, 9, 11], "slightli": 5, "i": [5, 7, 8, 9], "accomplish": 5, "toggl": 5, "present": [5, 6, 7, 11, 14], "switch": [5, 10], "oper": [5, 8, 9, 10, 11], "enabl": [5, 14], "evolv": [5, 14], "k": 5, "given": [5, 7, 8, 9, 10], "encod": [5, 7, 8, 9, 14], "complet": [5, 8, 10, 14], "github": [5, 7, 14], "jl": [5, 7], "enum": 5, "bulbstat": 5, "bulb_on": 5, "true": [5, 7, 8, 10], "bulb_off": 5, "fals": 5, "input": [5, 6, 10], "param": 5, "xor": 5, "bool": 5, "transmiss": 5, "readout": 5, "per": [5, 10], "initial_st": 5, "arrai": 5, "export": 5, "anim": [5, 8], "javi": 5, "librari": [5, 10, 14], "shown": [5, 8, 9, 10, 11, 14], "act": [5, 9, 10, 11, 14], "never": 5, "depend": [5, 14], "loop": [5, 7, 8, 9, 10], "danc": 5, "copi": 5, "neighbor": [5, 9], "transmit": 5, "serv": 5, "uni": 5, "conduit": 5, "fed": 5, "next": [5, 6, 7, 8, 9, 10], "carri": 5, "read": [5, 8, 9, 11, 14], "incom": 5, "ask": [5, 8, 9, 10, 11, 14], "One": [5, 8, 14], "behavior": 5, "thu": [5, 7, 8, 9, 10, 14], "determin": [5, 9, 10], "too": [5, 8, 10, 14], "imagin": [5, 6, 7, 8, 14], "full": 5, "exactli": [5, 7, 8, 9, 11], "With": [5, 7, 9, 11], "familiar": [5, 9, 14], "object": [5, 6, 7, 8, 9, 11, 14], "relabel": 5, "red": [5, 10], "yellow": [5, 9], "green": [5, 9, 14], "cycl": [5, 10], "mimic": 5, "accid": 5, "rest": [5, 9, 11], "control": 5, "mastermind": 5, "decid": [5, 10, 14, 15], "decis": [5, 10, 13], "indvidu": 5, "bulbtransit": 5, "box": [5, 9, 10], "controllertransit": 5, "elseif": 5, "els": 5, "init": 5, "carefulli": [5, 11, 14], "meaning": 5, "send": [5, 8, 9, 10, 11], "respect": [5, 8, 11], "got": [5, 9, 10, 14, 15], "grand": 5, "readi": [5, 8, 10], "build": [5, 6, 7, 10, 14, 15], "recollect": [5, 8, 9], "seen": [5, 6, 8, 9, 11], "far": [5, 6, 9, 10, 11], "featur": [5, 10, 11, 13, 14], "stori": [5, 14], "creativ": [5, 14, 15], "sketch": 5, "rang": [5, 14], "emot": 5, "happi": [5, 10], "scale": [5, 10], "mention": [5, 7], "earlier": [5, 7, 14], "anywher": [5, 10, 14], "calm": 5, "toward": [5, 8, 9, 14, 15], "neutral": 5, "own": [5, 8, 14], "paramet": 5, "weight": 5, "particular": [5, 6, 10, 11, 14], "standalon": 5, "x": [5, 6, 7, 10], "pai": [5, 10], "attent": [5, 10], "neg": 5, "sign": [5, 7], "front": 5, "amount": 5, "zero": 5, "dotmood": 5, "calmdown_r": 5, "0": [5, 7, 8, 9, 14], "05": [5, 7], "03": 5, "initial_mood": 5, "lvector": 5, "extern": 5, "stimulu": 5, "restaur": 5, "dinner": [5, 13], "long": [5, 14], "affect": 5, "home": [5, 10], "happier": 5, "grumpier": 5, "recal": [5, 6, 8, 9, 11], "includ": [5, 7, 9, 10, 14], "imbib": 5, "fraction": 5, "similarli": [5, 9, 10, 11, 14], "suspect": 5, "reach": [5, 8], "maximum": 5, "toler": 5, "refus": 5, "listen": 5, "name": [5, 6, 7, 8, 9, 10, 11], "logic": [5, 11, 14], "dotmood_kiki": 5, "grumpiness_toler": 5, "excitement_toler": 5, "super": 5, "bit": [5, 9, 11, 14], "8": [5, 7, 14], "plot": 5, "oscil": 5, "100": [5, 14], "convers": 5, "struggl": [5, 10, 14], "30": 5, "lose": 5, "steadili": 5, "somewher": 5, "happili": 5, "reson": 5, "less": [5, 14], "kinda": 5, "20": 5, "02": 5, "spicier": 5, "actual": [5, 6, 7, 8], "crew": 5, "him": 5, "busi": [5, 6, 7], "boss": 5, "dispers": 5, "among": [5, 7, 9], "entiti": [5, 9, 10, 11], "susceptabl": 5, "group": [5, 13], "01": 5, "evolut": 5, "broad": 5, "class": 5, "fall": [5, 11], "binari": 5, "vari": 5, "infinit": [5, 8], "treat": [5, 11], "blue": [5, 8, 9], "print": [5, 14], "special": [5, 7, 8, 10], "within": [5, 14], "larger": 5, "reader": [5, 8, 9, 10, 11, 15], "explor": [5, 8, 9, 11, 14, 15], "further": [5, 9, 10, 11, 14, 15], "recommend": [5, 8, 10, 11, 14], "document": [5, 7, 10], "algebraicdynam": 5, "framework": [5, 7, 14], "inde": [5, 7, 9, 10, 14], "close": [5, 7, 8, 9, 14, 15], "match": [5, 9, 11], "tend": 5, "conceptu": [5, 8, 14], "caus": [5, 10, 14], "influenc": [5, 10], "understood": [5, 8], "maintain": 5, "equilibrium": 5, "satisfi": [5, 7, 9, 10, 11], "simultan": [5, 9], "constraint": [5, 9], "subtl": 5, "emphasi": 5, "filter": 5, "richer": 5, "wire": 5, "gener": [5, 6, 7, 9, 10, 11, 13, 14], "nest": 5, "rupel": 5, "dylan": 5, "operad": 5, "tempor": 5, "process": [5, 6, 7, 8, 9, 14, 15], "arxiv": [5, 7], "preprint": 5, "1307": 5, "6894": 5, "2013": 5, "were": [6, 7, 8, 10, 11, 14], "social": 6, "network": 6, "tiktok": 6, "someon": [6, 14, 15], "perfect": [6, 10], "linkedin": 6, "parti": 6, "mutual": [6, 7], "agre": [6, 8, 9, 10], "symmetr": 6, "undirect": [6, 9, 10, 14], "sure": [6, 10], "suggest": 6, "zoo": 6, "specimen": 6, "flexibl": [6, 11], "tidi": 6, "basic": [6, 8], "item": [6, 11], "hide": [6, 8], "wrap": 6, "tube": 6, "put": [6, 7], "label": [6, 8, 10, 11, 14], "sphere": 6, "forget": [6, 14], "those": [6, 7, 8, 9, 10, 14, 15], "whenev": [6, 15], "hood": 6, "equat": [6, 7], "variabl": 6, "placehold": 6, "defin": [6, 7, 8, 11], "parallel": [6, 7], "configur": 6, "pair": [6, 7, 8], "fill": [6, 7, 8, 10, 11], "firstnam": 6, "lastnam": 6, "simiarli": [6, 10], "fillabl": 6, "schema": [6, 14], "mark": [6, 9, 10], "said": [6, 9, 14], "instanc": [6, 7, 11], "notic": [6, 7, 10], "v": [6, 7, 8, 9, 10], "ob": [6, 11], "ject": 6, "hom": [6, 7, 11], "y": [6, 7], "syntax": 6, "freeschema": [6, 11], "character": [6, 7, 8], "notion": [6, 8, 14], "foundat": 6, "cool": [6, 9, 10], "beyond": [6, 7, 9, 10], "shall": [7, 8, 9, 10, 14], "flavor": [7, 14], "upon": 7, "game": [7, 11], "tic": 7, "tac": 7, "toe": 7, "state": [7, 11, 14], "ancient": 7, "board": [7, 13], "option": 7, "pass": 7, "lot": [7, 8, 9, 10, 13, 14, 15], "ourselv": 7, "self": [7, 8, 9, 10], "attach": [7, 8], "frequent": 7, "widespread": 7, "excel": [7, 8, 14], "geometr": [7, 11], "preval": 7, "divis": 7, "integ": 7, "subset": 7, "preorder": 7, "refl": 7, "ey": [7, 8], "dash": [7, 8], "line": [7, 8, 9, 10], "figur": [7, 8], "heart": [7, 8], "reddish": 7, "convinc": [7, 8, 9, 11], "yourself": [7, 9], "bullet": 7, "establish": 7, "meant": 7, "semant": 7, "phrase": 7, "equival": [7, 9, 14], "whether": [7, 9, 10, 14], "specifi": [7, 8, 9, 11], "text": [7, 9, 10, 14], "semicolon": 7, "sequenc": 7, "equal": [7, 9], "endpoint": [7, 8], "id": 7, "ident": 7, "commut": [7, 8, 10], "fundament": [7, 11], "mechan": [7, 8], "compos": [7, 14], "reflexivegraph": [7, 8], "directedgraph": [7, 8], "surprisingli": 7, "street": 7, "unidirect": 7, "felt": 7, "analog": [7, 9], "liter": [7, 8], "substitut": 7, "oppos": 7, "cancel": 7, "partner": 7, "invers": [7, 9], "inv": [7, 10], "land": [7, 8, 9], "vice": [7, 9, 10], "versa": [7, 9, 10], "grei": [7, 8, 9], "circl": 7, "rout": 7, "partnership": 7, "cliqu": 7, "four": [7, 8, 9, 11, 14], "five": [7, 8], "avoid": [7, 10], "undirectedgraph": 7, "moreov": [7, 8], "mind": [7, 8, 9], "chore": [7, 8], "swing": 7, "exclus": [7, 10], "bubbl": [7, 8, 10], "signal": 7, "programm": 7, "extraordinari": 7, "varieti": [7, 8], "elabor": 7, "profound": 7, "offer": 7, "sheer": 7, "brief": 7, "glimps": [7, 14], "scope": 7, "higher": [7, 14], "dimens": 7, "topologist": 7, "favorit": 7, "ordinari": 7, "dimension": [7, 11, 14], "triangl": [7, 8, 9], "triangul": 7, "surfac": 7, "tetrahedra": 7, "solid": 7, "geometri": 7, "topolog": 7, "space": [7, 8, 9, 11, 14], "combinatori": 7, "scientist": 7, "3d": 7, "On": [7, 8], "analysi": [7, 14], "concurr": 7, "german": 7, "carl": 7, "adam": 7, "1960": 7, "whose": [7, 9, 10], "goal": [7, 8, 9, 14, 15], "synchron": 7, "resourc": 7, "suitabl": [7, 14], "wide": 7, "chemic": [7, 10, 11], "reaction": [7, 10, 11], "manag": [7, 11, 13], "logist": 7, "practition": 7, "born": 7, "necess": 7, "util": [7, 9], "gap": 7, "gave": [7, 8], "implement": 7, "algebraicpetri": 7, "sever": 7, "popul": 7, "dynam": [7, 11, 13, 14], "epidemiolog": 7, "enzym": 7, "origin": [7, 8, 10], "repes": 7, "tabul": 7, "whom": 7, "enemi": 7, "queri": 7, "ones": [7, 8, 10, 14], "often": [7, 14], "corrupt": 7, "transfer": 7, "context": [7, 10, 11, 14], "major": 7, "issu": [7, 10], "high": [7, 10], "resolv": [7, 14], "techniqu": [7, 9], "migrat": [7, 11], "canon": 7, "automat": [7, 9, 10, 14], "variou": [7, 9, 11, 14], "functori": 7, "princip": 7, "subsequ": 7, "dev": 7, "volum": 7, "217": 7, "2012": 7, "31": 7, "51": 7, "issn": 7, "0890": 7, "5401": 7, "doi": [7, 8, 14], "10": [7, 8, 14], "1016": 7, "j": 7, "ic": 7, "001": 7, "ab": 7, "1009": 7, "1166": 7, "shore": 8, "encount": [8, 14], "isn": [8, 9, 10, 14], "endless": 8, "swarm": 8, "No": 8, "bore": 8, "incred": 8, "achiev": [8, 9], "fourth": 8, "topmost": 8, "drew": 8, "layout": [8, 10, 11], "ski": 8, "resort": 8, "winter": 8, "visitor": 8, "ride": 8, "summer": 8, "snow": 8, "year": [8, 14], "guest": 8, "pack": 8, "travel": 8, "insid": [8, 9, 10, 11], "part": [8, 9, 10, 11, 15], "clearli": [8, 9, 11, 14], "redraw": 8, "white": 8, "color": 8, "shape": [8, 10, 14], "went": 8, "caution": 8, "apart": 8, "preserv": [8, 9], "orient": [8, 11], "twelv": 8, "strategi": 8, "did": [8, 9, 10], "count": 8, "systemat": 8, "trial": 8, "error": [8, 10], "algorithm": [8, 9, 10], "solv": [8, 10], "relev": [8, 10, 11, 14], "keep": [8, 10, 11, 13, 14], "intact": [8, 9, 10, 14, 15], "welcom": [8, 9], "arrang": [8, 10, 11], "horizont": 8, "corner": [8, 14], "squar": [8, 10, 11], "bottom": [8, 11], "path": [8, 9, 10, 14], "brown": [8, 11], "miss": [8, 10], "late": 8, "correct": [8, 9], "across": [8, 11], "sent": [8, 9, 10], "revisit": [8, 9, 14], "attempt": [8, 10, 14, 15], "precis": [8, 9, 10, 14], "aren": 8, "saw": [8, 9, 10], "account": [8, 11], "eventu": [8, 11, 14], "roommat": 8, "duti": 8, "accur": 8, "handed": 8, "washer": 8, "version": [8, 14], "consist": [8, 10, 11], "fewer": 8, "tell": [8, 9, 10, 11, 14], "moment": [8, 9, 10], "discuss": [8, 11, 13, 14], "righti": 8, "lefti": 8, "identifi": [8, 9, 10, 11, 14], "computation": 8, "formul": 8, "aid": [8, 14], "ONE": [8, 9], "ubiquit": 8, "tt": 8, "collaps": [8, 9], "undesir": 8, "after": [8, 9, 10, 13, 14], "break": 8, "violat": [8, 10], "ruin": 8, "pose": 8, "similar": [8, 10, 14], "risk": 8, "circumst": 8, "danger": 8, "dishwash": 8, "although": [8, 14], "awai": [8, 14], "overal": 8, "rel": [8, 14], "domain": [8, 9], "answer": [8, 14], "graph1": 8, "graph2": 8, "countthemorph": 8, "length": 8, "homomorph": [8, 9, 10], "distinct": 8, "hexagon": 8, "trick": 8, "triangular": 8, "graph3": 8, "graph4": 8, "except": [8, 9, 14], "stipul": 8, "impli": [8, 10], "presenc": [8, 9], "light": [8, 11, 13], "graph5": 8, "graph6": 8, "seven": 8, "succe": 8, "correctli": 8, "reflex": 8, "chunki": 8, "messi": 8, "shade": 8, "background": [8, 15], "encompass": 8, "promis": [8, 11, 14], "smaller": 8, "correl": 8, "intuit": [8, 9, 10], "remaind": 8, "readili": 8, "diagrammat": 8, "impract": 8, "enough": [8, 14, 15], "appreci": 8, "vast": 8, "interconnect": [8, 10, 14], "retriev": 8, "fit": 8, "magic": 8, "geni": 8, "omnisci": 8, "discov": [8, 10, 14], "crucial": 8, "vantag": 8, "operation": 8, "advantag": [8, 10], "posit": [8, 10], "declar": [8, 9], "bread": [8, 9], "butter": [8, 9], "much": [8, 10, 13, 14, 15], "depth": [8, 14, 15], "thorough": 8, "yet": [8, 11, 14], "elementari": [8, 14], "topic": [8, 11, 14], "lawver": 8, "schanuel": 8, "w": 8, "h": [8, 10, 14], "2009": 8, "2nd": 8, "ed": 8, "cambridg": [8, 11], "press": [8, 11], "1017": 8, "cbo9780511804199": 8, "ch6": 9, "engag": [9, 14], "learnt": 9, "morphism": [9, 10, 11], "coars": [9, 10], "grain": [9, 10], "proce": [9, 10], "codomain": 9, "excitingli": [9, 14], "odd": 9, "island": 9, "bridg": 9, "channel": 9, "claim": 9, "unawar": [9, 10], "cat": 9, "brendan": [9, 13], "angelin": [9, 11], "priyaa": [9, 10, 13], "author": [9, 10, 13], "friendship": 9, "emerg": [9, 14], "assum": [9, 14], "infer": 9, "support": [9, 13], "assumpt": 9, "deceivingli": 9, "eyebal": 9, "pen": 9, "inher": [9, 15], "unambigu": 9, "dumb": 9, "charad": 9, "popularli": 9, "challeng": [9, 14], "explicitli": [9, 11], "talk": [9, 10, 11], "longer": 9, "awar": 9, "otherwis": [9, 10], "old": [9, 11], "terminolog": 9, "NOT": 9, "spot": 9, "narrow": 9, "search": 9, "until": 9, "earli": [9, 10], "radiat": [9, 10], "region": [9, 10], "inject": [9, 10], "connecit": 9, "matter": [9, 10], "loos": [9, 10, 14], "stick": 9, "sheet": 9, "glue": [9, 10], "closer": [9, 10], "tea": 9, "cup": 9, "glu": [9, 14], "potenti": [9, 14], "cannot": 9, "vanish": 9, "perspect": [9, 14], "spanish": 9, "goe": 9, "me": [9, 10], "immedi": [9, 14], "enquiri": 9, "vagu": 9, "remind": [9, 10], "hurrai": [9, 10], "irrespect": 9, "IS": 9, "TO": 9, "indistinguish": 9, "distinguish": 9, "belong": [9, 14], "orang": 9, "scroll": 9, "demonstr": [9, 10, 11], "cover": [9, 13, 14, 15], "outsid": [9, 10], "sharpen": 9, "instinct": 9, "concret": [9, 14], "oneself": 9, "principl": [9, 15], "effort": [9, 14], "resist": 9, "reveal": [9, 14, 15], "remain": [9, 10, 13], "boundari": 9, "fade": 9, "maxim": 9, "squeez": 9, "lazi": 9, "kept": 9, "seper": 9, "noth": [9, 10], "quest": 9, "vs": 9, "dot": [9, 14], "signifi": 9, "past": [9, 14], "balanc": 9, "nope": 9, "embed": [9, 14], "upper": 9, "lower": [9, 10], "fine": 9, "backward": 9, "score": 9, "obviou": 9, "neither": 9, "nor": 9, "emb": 9, "plumb": [9, 10], "smoothli": [9, 10], "harmoni": [9, 10], "whewww": 9, "core": [9, 14], "review": 9, "repeat": 9, "isomorph": 9, "THE": 9, "AND": 9, "x2": 9, "unison": 9, "x1": 9, "prove": [9, 14], "impos": 9, "consequ": [9, 14, 15], "summar": 9, "sensibl": 9, "method": [9, 11, 14], "rather": [9, 10, 14], "focus": 9, "construct": [9, 14], "verifi": 9, "scenario": [9, 11], "invas": 9, "tricki": 9, "therebi": [9, 10, 11], "empti": 9, "o": [9, 10], "sum": 9, "ex": 9, "finit": 9, "clue": 9, "snippet": 9, "output": 9, "overlap1": 9, "symmetricgraph": [9, 10], "grapha": 9, "cycle_graph": [9, 10], "graphb": 9, "path_graph": [9, 10], "add_edg": [9, 10], "due": [9, 10], "symmetri": [9, 10], "pick": [9, 10], "manual": [9, 10], "grapha_map": 9, "graphb_map": 9, "acsettransform": [9, 10], "pushout_graph": 9, "colimit": 9, "apex": 9, "cell": 9, "overlap2": 9, "g2": 9, "g3": 9, "keyword": 9, "overlap3": 9, "uncom": [9, 10], "remov": [9, 11], "sharp": 9, "congratul": [9, 10], "successfulli": 9, "quickli": 9, "nuanc": 9, "elimin": 9, "cleverli": 9, "later": 9, "increas": 9, "www": [9, 10], "frontiersin": 9, "articl": 9, "815153": 9, "fbuil": 9, "07": 9, "image_m": 9, "g002": 9, "jpg": 9, "ch7": 10, "innov": 10, "20th": 10, "spite": 10, "unavail": 10, "statist": 10, "tangibl": 10, "undeni": 10, "chao": 10, "european": 10, "conqueror": 10, "nativ": 10, "american": [10, 14], "settlement": 10, "canada": 10, "cultur": 10, "entir": 10, "children": 10, "missionari": 10, "trauma": 10, "Or": 10, "wage": 10, "war": 10, "govern": 10, "polit": 10, "forest": 10, "industri": 10, "advers": 10, "impact": 10, "global": 10, "climat": 10, "hindsight": 10, "lead": [10, 14], "face": [10, 11, 14], "bigger": 10, "intend": [10, 14], "sugar": 10, "usual": 10, "behind": [10, 13, 14, 15], "realiti": 10, "youtub": 10, "com": 10, "watch": 10, "86uc5fgraii": 10, "instabl": 10, "naiv": 10, "Being": [10, 11], "healthi": 10, "eat": 10, "unstabl": 10, "restor": 10, "stabil": 10, "brine": 10, "though": [10, 14], "simplist": 10, "drive": 10, "messag": [10, 14], "consider": 10, "guarante": 10, "mission": 10, "microsoft": 10, "interfac": 10, "unless": 10, "middl": 10, "node": [10, 11], "overlap": [10, 11], "dure": [10, 13], "alon": [10, 13], "retain": 10, "unchang": 10, "neat": 10, "huh": 10, "string": 10, "ring": 10, "bell": 10, "wherea": 10, "strengthen": 10, "zombi": 10, "appropri": [10, 14], "identif": 10, "fail": 10, "bug": 10, "iphon": 10, "lie": 10, "normal": [10, 14], "custom": 10, "behaviour": 10, "anecdot": 10, "imposs": [10, 14], "suppli": 10, "approprait": 10, "heavi": 10, "relation": [10, 14], "intervent": 10, "guard": 10, "rail": 10, "gre": 10, "half": [10, 14], "carv": 10, "literatur": 10, "dpo": [10, 11], "click": [10, 13, 14], "yield": 10, "low": 10, "harmless": 10, "product": [10, 14], "diel": 10, "alder": 10, "materi": [10, 14, 15], "1928": 10, "otto": 10, "kurt": 10, "award": 10, "nobel": 10, "prize": 10, "fascin": 10, "discoveri": 10, "molecul": 10, "atom": 10, "bond": 10, "standard": [10, 14], "substrat": 10, "expert": 10, "environ": [10, 14], "track": [10, 11], "dungeon": 10, "dragon": 10, "room": 10, "room2": 10, "directli": 10, "told": 10, "hei": 10, "corridor": 10, "redrawn": 10, "reshap": 10, "layoout": 10, "12": 10, "clockwis": [10, 11], "independ": 10, "style": [10, 15], "algebraicrewrit": 10, "cset": 10, "del": [10, 11], "can_pushout_compl": 10, "gluing_condit": 10, "composablepair": 10, "acset": 10, "find\u2085": 10, "host\u2085": 10, "o_pc\u2085": 10, "pc_h\u2085": 10, "pushout_compl": 10, "dom": 10, "monic": 10, "enforc": [10, 11], "fromr": 10, "frompc": 10, "codom": 10, "find\u2086": 10, "host\u2086": 10, "pc": 10, "stand": [10, 13], "o_pc\u2086": 10, "pc_h\u2086": 10, "cent": 10, "crude": 10, "truth": 10, "air": 10, "superior": 10, "inflat": 10, "tyre": 10, "chain": 10, "brought": 10, "guid": [10, 13], "speak": [10, 14], "free": [10, 14], "prevent": 10, "econom": 10, "accident": 10, "absent": 10, "cleaner": 10, "knew": 10, "wonder": 10, "mysteri": 10, "convei": [10, 13], "rightawai": 10, "handout": 10, "titl": 10, "georg": 10, "fischer": 10, "hannah": 10, "gschwentner": 10, "blog": 10, "gritter": 10, "uncov": 11, "neatli": 11, "recov": 11, "wish": 11, "shed": 11, "remark": 11, "encourag": [11, 14], "ambiti": 11, "car": [11, 13], "wet": 11, "dry": 11, "mental": 11, "bottl": 11, "coca": 11, "cola": 11, "soda": 11, "my": [11, 14], "refriger": 11, "refridger": 11, "mento": 11, "explod": 11, "lucki": 11, "six": 11, "schcube": 11, "sch3dshape": 11, "acset_typ": 11, "typ3dshap": 11, "resembl": 11, "schgraph": 11, "pointedli": 11, "inherit": 11, "akin": 11, "unfold": 11, "cardboard": 11, "action": [11, 14], "redefin": 11, "flat": 11, "radic": 11, "alter": 11, "birthdai": 11, "cake": 11, "deliv": 11, "f1": 11, "f2": 11, "f3": 11, "f4": 11, "f5": 11, "f6": 11, "e1": 11, "e2": 11, "e3": 11, "e4": 11, "reminisc": 11, "came": 11, "bound": 11, "v1": 11, "v2": 11, "closedcub": 11, "acset_colim": 11, "yschcube": 11, "wall": 11, "e5": 11, "e6": 11, "e7": 11, "e8": 11, "e9": 11, "e10": 11, "e11": 11, "e12": 11, "v3": 11, "v4": 11, "v5": 11, "v6": 11, "v7": 11, "v8": 11, "fig": 11, "celebr": 11, "sweet": 11, "open_box": 11, "schrule": 11, "join": 11, "face1": 11, "face2": 11, "face3": 11, "face4": 11, "facenew": 11, "edge1": 11, "edge2": 11, "edge3": 11, "open_box_rul": 11, "make_rul": 11, "openbox": 11, "format": 11, "shut": 11, "exclud": 11, "hing": 11, "disconnect": 11, "asset": 11, "ch8": 11, "bottomopen": 11, "gif": 11, "machineri": 11, "food": 11, "egg": 11, "breadslic": 11, "counter": 11, "kitchenwar": 11, "subtyp": 11, "g": 11, "function": 11, "likewis": 11, "schkitchen": 11, "food_in_on": 11, "food_is_ent": 11, "ware_in_on": 11, "ware_is_ent": 11, "counter_is_ent": 11, "breadloaf": 11, "bread_loaf_is_food": 11, "bread_slice_is_food": 11, "egg_is_food": 11, "cheese_is_food": 11, "knife": 11, "knife_is_war": 11, "plate_is_war": 11, "ykitchen": 11, "yoneda": 11, "cach": 11, "make_cach": 11, "put_cheese_on_bread": 11, "put_cheese_on_bread_rul": 11, "bread_slic": 11, "fusion": 11, "plate_slic": 11, "plate_slice_rul": 11, "ti": 11, "food_is_on": 11, "implicitli": 11, "ai": 11, "frame": [11, 14], "ag": 11, "reconfigur": 11, "advanc": [11, 13], "exposit": 11, "delv": 11, "deeper": [11, 14], "gentl": 11, "technic": 11, "public": [11, 14], "forum": [11, 14], "zulip": [11, 14], "localchart": [11, 14], "aguinaldo": 11, "jame": 11, "fairbank": 11, "william": 11, "regli": 11, "jami": 11, "ruiz": 11, "2023": 11, "aaai": 11, "symposium": 11, "unifi": 11, "kristoph": 11, "tyler": 11, "hank": 11, "2022": 11, "owen": [11, 13], "lynch": 11, "joi": 11, "mozilla": 13, "internet": 13, "mieco": 13, "futur": 13, "grate": 13, "logo": 13, "thank": 13, "avik": 13, "tripura": 13, "namista": 13, "tabassum": 13, "kiki": 13, "bouba": 13, "chapter": [13, 14], "team": 13, "million": 13, "sophi": 13, "enthusiasm": 13, "patienc": 13, "kri": 13, "draft": 13, "schedul": 13, "project": [13, 14], "theme": 13, "beth": 13, "wisdom": 13, "scene": 13, "experiment": [13, 14], "modern": 13, "technolog": [13, 14], "audienc": 13, "honor": 13, "limit": 13, "retreat": 13, "famili": [13, 14], "wave": 13, "biolog": 14, "healthcar": 14, "solar": 14, "interlink": 14, "persist": 14, "despit": 14, "lack": 14, "clariti": 14, "phenomenon": 14, "holist": 14, "1": 14, "emphas": 14, "de": 14, "reduct": 14, "deconstruct": 14, "aspect": 14, "seek": 14, "outward": 14, "inward": 14, "refreshingli": 14, "taught": 14, "amplifi": 14, "conclus": 14, "trust": 14, "disagre": 14, "activ": 14, "rigor": 14, "nonetheless": 14, "hasn": 14, "histor": 14, "emphasis": 14, "avenu": 14, "1940": 14, "ago": 14, "slow": 14, "patient": 14, "inter": 14, "recent": 14, "decad": 14, "difficult": 14, "masteri": 14, "lean": 14, "driven": 14, "clai": 14, "ball": 14, "sun": 14, "planet": 14, "size": 14, "jupit": 14, "Its": 14, "heavili": 14, "insight": 14, "vision": 14, "matur": 14, "signific": 14, "theorem": 14, "graph": 14, "dive": 14, "broadli": 14, "chosen": 14, "barest": 14, "thorni": 14, "particularli": 14, "slowli": 14, "essenc": 14, "payoff": 14, "4": 14, "sort": 14, "showcas": 14, "interrel": 14, "ultim": 14, "shine": 14, "forth": 14, "7": 14, "sandwich": 14, "kitchen": 14, "contextu": 14, "extract": 14, "abstrus": 14, "seemingli": 14, "fiction": [14, 15], "screw": [14, 15], "forward": [14, 15], "tini": [14, 15], "nut": [14, 15], "bolt": [14, 15], "tight": [14, 15], "breadth": [14, 15], "prior": 14, "acquaint": 14, "difficulti": 14, "ramp": 14, "peak": 14, "implic": 14, "somewhat": 14, "linearli": 14, "relief": 14, "detour": 14, "circular": 14, "glean": 14, "discourag": 14, "introductori": 14, "deepli": 14, "endeavour": 14, "yai": 14, "rocket": 14, "icon": 14, "select": 14, "button": 14, "statu": 14, "boot": 14, "wait": 14, "kernel": 14, "displai": 14, "respons": 14, "faster": 14, "delai": 14, "worth": 14, "soon": 14, "opportun": 14, "internalis": 14, "lesson": 14, "spend": 14, "daydream": 14, "rush": 14, "motiv": 14, "andi": 14, "matuschak": 14, "nielsen": 14, "essai": 14, "immers": 14, "formerli": 14, "properti": 14, "expand": 14, "realis": 14, "theorist": 14, "ground": 14, "embodi": 14, "todai": 14, "glori": 14, "contribut": 14, "meadow": 14, "donella": 14, "2015": 14, "chelsea": 14, "publish": 14, "eilenberg": 14, "samuel": 14, "saunder": 14, "maclan": 14, "transact": 14, "58": 14, "1945": 14, "231": 14, "94": 14, "2307": 14, "1990284": 14, "gratefulli": 14, "servic": 14, "binder": 14, "server": 14, "factor": 14, "hour": 14, "numin": 14, "ttft": 14, "san": 14, "francisco": 14, "2019": 14, "acknowledg": 15, "learner": 15, "road": 15, "plural": 15, "accordingli": 15, "minim": 15, "incorpor": 15}, "objects": {}, "objtypes": {}, "objnames": {}, "titleterms": {"sampl": 0, "markdown": 0, "here": 0, "how": [0, 8, 14], "we": [0, 5, 14], "emb": 0, "an": 0, "imag": 0, "video": 0, "some": 0, "math": 0, "guid": 1, "add": [1, 10], "content": [1, 2], "build": 1, "book": [1, 14], "ad": [1, 10], "new": [1, 14], "chapter": [1, 3, 4, 5, 6, 7, 8, 9, 10, 11], "modifi": 1, "exist": 1, "publish": 1, "github": 1, "page": 1, "author": 2, "develop": 2, "write": [2, 7], "angelin": 2, "aguinaldo": 2, "paul": 2, "dancstep": 2, "brendan": 2, "fong": 2, "priyaa": 2, "varshine": 2, "srinivasan": 2, "multimedia": 2, "illustr": 2, "technolog": 2, "advisor": 2, "project": 2, "manag": [2, 10], "0": 3, "direct": [3, 4, 6], "graph": [3, 4, 5, 6, 7, 8, 9, 10, 11], "1": [3, 4, 5, 6, 7, 8, 9, 10, 11], "what": [3, 5, 9, 10], "mytholog": [3, 4], "romanc": [3, 4], "ski": [3, 5], "trip": [3, 5], "brochur": [3, 5], "whose": [3, 5], "turn": [3, 5], "Is": [3, 10], "It": 3, "To": 3, "do": [3, 5], "dish": [3, 5], "2": [3, 4, 5, 6, 7, 8, 9, 10, 11], "why": [3, 9], "data": [4, 8], "introduct": [4, 5, 6, 7, 8, 9, 10, 11, 14], "sourc": 4, "target": 4, "map": 4, "puzzl": [4, 5, 8, 9, 10, 14], "3": [4, 5, 6, 7, 8, 9, 10, 11], "4": [4, 5, 7, 8, 9, 10, 11], "On": [4, 11], "import": 4, "find": [4, 10, 11], "right": 4, "abstract": [4, 14], "paus": [4, 6, 7, 8, 9, 10, 11], "ponder": [4, 6, 7, 8, 9, 10, 11], "summari": [4, 5, 6, 7, 8, 9, 10, 11], "dynam": 5, "system": [5, 7, 14], "kiki": 5, "bouba": 5, "make": 5, "kei": [5, 8, 9, 10, 14], "point": [5, 8, 9, 10], "light": 5, "bulb": 5, "singl": 5, "flash": 5, "string": 5, "differ": 5, "initi": 5, "state": 5, "solut": [5, 8, 9, 10], "A": [5, 10, 11, 14], "traffic": 5, "see": 5, "answer": [5, 10], "themselv": 5, "food": 5, "thought": 5, "talk": 5, "each": 5, "other": [5, 7], "stand": 5, "alon": 5, "updat": 5, "rule": [5, 11], "happen": 5, "start": [5, 7], "mood": 5, "can": 5, "thi": [5, 10, 14], "situat": 5, "better": 5, "friend": 5, "reduc": 5, "s": 5, "suscept": 5, "factor": 5, "chef": 5, "hi": 5, "helper": 5, "5": [5, 7, 8, 9, 10], "blueprint": [6, 7], "part": [6, 7, 14], "i": [6, 14], "introduc": 6, "chunki": 6, "arrow": 6, "us": [6, 9, 10], "ii": [7, 14], "reflex": 7, "theori": 7, "The": [7, 8, 9, 10, 11], "follow": 7, "path": 7, "alwai": 7, "take": 7, "you": [7, 8], "back": [7, 8], "where": 7, "comput": [7, 9, 10], "undirect": 7, "compar": 7, "two": 7, "kind": 7, "schema": [7, 8, 11], "simplici": 7, "set": 7, "petri": 7, "net": 7, "databas": 7, "footnot": [7, 8, 9, 10, 14], "refer": [7, 8, 9, 10, 11, 14], "categori": 8, "inject": 8, "concret": 8, "avoid": 8, "dangl": 8, "edg": [8, 10], "upper": 8, "rout": 8, "lower": 8, "morphism": 8, "gener": 8, "coars": 8, "grain": 8, "Be": 8, "ar": [8, 9], "isomorph": 8, "idea": [8, 14], "algebra": [8, 10], "julia": [8, 10], "6": [8, 9, 10], "7": [8, 10], "instanc": 8, "geometr": 8, "vs": 8, "view": [8, 14], "combin": 9, "recap": 9, "meme": 9, "game": [9, 10], "descript": 9, "shape": 9, "overlap": 9, "pass": 9, "commut": 9, "squar": 9, "univers": 9, "properti": 9, "uniqu": 9, "x": 9, "pushout": [9, 10], "same": 9, "time": 9, "algebraicjulia": [9, 14], "evolv": [10, 11], "specifi": 10, "replac": [10, 11], "delet": 10, "match": 10, "remov": 10, "vertic": 10, "from": [10, 11], "perform": 10, "exampl": 10, "requir": 10, "million": 10, "dollar": 10, "question": 10, "ye": 10, "continu": 10, "8": [10, 11], "machineri": 10, "few": 10, "case": 10, "chemistri": 10, "design": [10, 14], "search": 10, "pattern": 10, "complement": 10, "doubl": 10, "relat": [10, 14], "think": [10, 14], "hard": 10, "good": 10, "shift": 10, "vocabulari": 10, "slogan": 10, "order": 10, "process": 10, "9": 10, "look": 11, "beyond": 11, "world": 11, "model": 11, "cube": 11, "configur": 11, "extend": 11, "close": 11, "box": 11, "open": 11, "code": [11, 14], "never": 11, "underneath": 11, "work": 11, "kitchen": 11, "put": 11, "chees": 11, "bread": 11, "plate": 11, "slice": 11, "conclud": 11, "word": 11, "cover": 12, "credit": 13, "softwar": 14, "mathemat": [14, 15], "climb": 14, "ladder": 14, "appreci": 14, "ve": 14, "style": 14, "reader": 14, "background": 14, "live": 14, "line": 14, "medium": 14, "through": 15, "stori": 15, "tell": 15}, "envversion": {"sphinx.domains.c": 2, "sphinx.domains.changeset": 1, "sphinx.domains.citation": 1, "sphinx.domains.cpp": 6, "sphinx.domains.index": 1, "sphinx.domains.javascript": 2, "sphinx.domains.math": 2, "sphinx.domains.python": 3, "sphinx.domains.rst": 2, "sphinx.domains.std": 2, "sphinx.ext.intersphinx": 1, "sphinxcontrib.bibtex": 9, "sphinx": 56}})
\ No newline at end of file
diff --git a/storytelling.html b/storytelling.html
index 1a9d8ac..d7c6a8c 100644
--- a/storytelling.html
+++ b/storytelling.html
@@ -65,6 +65,8 @@
     <script>DOCUMENTATION_OPTIONS.pagename = 'storytelling';</script>
     <link rel="index" title="Index" href="genindex.html" />
     <link rel="search" title="Search" href="search.html" />
+    <link rel="next" title="Authors" href="authors.html" />
+    <link rel="prev" title="Chapter 8: A Look Beyond – Evolving World Models" href="chp8-dpo-application.html" />
   <meta name="viewport" content="width=device-width, initial-scale=1"/>
   <meta name="docsearch:language" content="en"/>
   </head>
@@ -127,8 +129,6 @@
       
       
       
-        
-      
       <div class="bd-sidebar-primary bd-sidebar">
         
 
@@ -173,7 +173,7 @@
                 </a>
             </li>
         </ul>
-        <ul class="nav bd-sidenav">
+        <ul class="current nav bd-sidenav">
 <li class="toctree-l1"><a class="reference internal" href="intro.html">Introduction</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp0.html">Chapter 0: Directed Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp1-directed-graphs.html">Chapter 1: Data</a></li>
@@ -184,6 +184,7 @@
 <li class="toctree-l1"><a class="reference internal" href="chp6-graph-gluing.html">Chapter 6: Combining Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp7-dpo.html">Chapter 7: Evolving Graphs</a></li>
 <li class="toctree-l1"><a class="reference internal" href="chp8-dpo-application.html">Chapter 8: A Look Beyond – Evolving World Models</a></li>
+<li class="toctree-l1 current active"><a class="current reference internal" href="#">Mathematics through story-telling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="authors.html">Authors</a></li>
 <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
 </ul>
@@ -385,9 +386,9 @@ <h1>Mathematics through story-telling</h1>
                   
   <section class="tex2jax_ignore mathjax_ignore" id="mathematics-through-story-telling">
 <h1>Mathematics through story-telling<a class="headerlink" href="#mathematics-through-story-telling" title="Permalink to this heading">#</a></h1>
-<p>This book has been inspired by the following idea:</p>
+<p>This book has been inspired by the following principle:</p>
 <blockquote>
-<div><p>“Different learners take different roads to understanding the same mathematical idea and encourages one to consider this inherent plurality of thought patterns when communicating mathematics.”</p>
+<div><p>“We acknowledge that different learners take different roads to understanding the same mathematical idea, and work to consider this inherent plurality of thought patterns when communicating mathematics.”</p>
 </div></blockquote>
 <p>Accordingly, this book attempts to reveal the thought-process behind creating mathematics (category theory) using story-telling, lots of illustrations, and visualization of computations. Minimizing the requirement for coding background, we have incorporated live-coding whenever possible. As such, this book is close to a creative non-fiction in formal mathematics. It is a new kind of experiment.</p>
 <a class="reference internal image-reference" href="_images/machinery.png"><img alt="Whoopsy!" class="align-center" src="_images/machinery.png" style="width: 400px;" /></a>
@@ -425,6 +426,24 @@ <h1>Mathematics through story-telling<a class="headerlink" href="#mathematics-th
                 <footer class="prev-next-footer d-print-none">
                   
 <div class="prev-next-area">
+    <a class="left-prev"
+       href="chp8-dpo-application.html"
+       title="previous page">
+      <i class="fa-solid fa-angle-left"></i>
+      <div class="prev-next-info">
+        <p class="prev-next-subtitle">previous</p>
+        <p class="prev-next-title">Chapter 8: A Look Beyond – Evolving World Models</p>
+      </div>
+    </a>
+    <a class="right-next"
+       href="authors.html"
+       title="next page">
+      <div class="prev-next-info">
+        <p class="prev-next-subtitle">next</p>
+        <p class="prev-next-title">Authors</p>
+      </div>
+      <i class="fa-solid fa-angle-right"></i>
+    </a>
 </div>
                 </footer>