deploy: 843a91a

_sources/afterword.ipynb

@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "12d2413d",
+   "id": "bb594f17",
    "metadata": {},
    "source": [
     "# Afterword"

_sources/authors.ipynb

@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "cf8e56ec",
+   "id": "624d11fc",
    "metadata": {},
    "source": [
     "# Authors\n",
@@ -32,7 +32,7 @@
     ":width: 150px\n",
     ":align: left\n",
     "```\n",
-    "Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. \n",
+    "Paul Dancstep is a right handed person who likes to do the dishes every other day. He has an initial mood of around 3 and a calmdown rate of probably 5% or so. He enjoys trying to come up with visualizations and explanations for abstract concepts and is optimistic that tools from applied category theory will have a role to play in human flourishing in the 21st century.\n",
     "\n",
     ":::\n",
     "\n",

_sources/authors.md

@@ -37,7 +37,7 @@ Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor i
 :width: 150px
 :align: left
 ```
-Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. 
+Paul Dancstep is a right handed person who likes to do the dishes every other day. He has an initial mood of around 3 and a calmdown rate of probably 5% or so. He enjoys trying to come up with visualizations and explanations for abstract concepts and is optimistic that tools from applied category theory will have a role to play in human flourishing in the 21st century.
 
 :::
 

_sources/chp0.ipynb

@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "bfeb6baf",
+   "id": "0b304591",
    "metadata": {},
    "source": [
     "# Chapter 0: Directed Graphs\n",
@@ -103,7 +103,7 @@
     " \n",
     " We will call this our `DANGLING EDGE CONDITION`. \n",
     " \n",
-    " This is a book about a powerful and elegant solution to this problem. In our final chapters we will arrive at the concept of a **Double Pushout Rewrite Rule**, a category theoretic design pattern that will allow us to perform intricate surgery on graphs without having to give a second thought to the problem of dangling edges. Unfortunately, this tool exists at a level of abstraction that most people are simply not accustomed to thinking about. We will have to move through many layers of abstraction to get where we're going, developing new was of thinking with help from AlgebraicJulia along the way.\n",
+    " This is a book about a powerful and elegant solution to this problem. In our final chapters we will arrive at the concept of a **double-pushout rewrite rule**, a category theoretic design pattern that will allow us to perform intricate surgery on graphs without having to give a second thought to the problem of dangling edges. Unfortunately, this tool exists at a level of abstraction that most people are simply not accustomed to thinking about. We will have to move through many layers of abstraction to get where we're going, developing new ways of thinking with help from AlgebraicJulia along the way.\n",
     " \n",
     " AlgebraicJulia is being developed as an ecosystem for serious scientific modeling. But in order to use AlgebraicJulia effectively you need to have some sense of how to organize your thoughts while writing programs with it. We wrote this book to show how a simple and chronic practical problem - the `DANGLING EDGE CONDITION` - can be handled elegantly from a relational viewpoint using AlgebraicJulia. We hope this simple example gives you a taste of how categorical computation works and an appetite to find out more."
    ]

_sources/chp0.md

@@ -108,7 +108,7 @@ Suppose we've modeled some situation in a computer using a directed graph. If ou
 
  We will call this our `DANGLING EDGE CONDITION`. 
 
- This is a book about a powerful and elegant solution to this problem. In our final chapters we will arrive at the concept of a **Double Pushout Rewrite Rule**, a category theoretic design pattern that will allow us to perform intricate surgery on graphs without having to give a second thought to the problem of dangling edges. Unfortunately, this tool exists at a level of abstraction that most people are simply not accustomed to thinking about. We will have to move through many layers of abstraction to get where we're going, developing new was of thinking with help from AlgebraicJulia along the way.
+ This is a book about a powerful and elegant solution to this problem. In our final chapters we will arrive at the concept of a **double-pushout rewrite rule**, a category theoretic design pattern that will allow us to perform intricate surgery on graphs without having to give a second thought to the problem of dangling edges. Unfortunately, this tool exists at a level of abstraction that most people are simply not accustomed to thinking about. We will have to move through many layers of abstraction to get where we're going, developing new ways of thinking with help from AlgebraicJulia along the way.
 
  AlgebraicJulia is being developed as an ecosystem for serious scientific modeling. But in order to use AlgebraicJulia effectively you need to have some sense of how to organize your thoughts while writing programs with it. We wrote this book to show how a simple and chronic practical problem - the `DANGLING EDGE CONDITION` - can be handled elegantly from a relational viewpoint using AlgebraicJulia. We hope this simple example gives you a taste of how categorical computation works and an appetite to find out more.
 

_sources/chp1-directed-graphs.ipynb

@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "8a85566f",
+   "id": "3b5f4efd",
    "metadata": {},
    "source": [
     "# Chapter 1: Data\n",
@@ -87,7 +87,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "a75d623f",
+   "id": "9294b55b",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -102,7 +102,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "0c1109dc",
+   "id": "3719ca8d",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -114,7 +114,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "028916ec",
+   "id": "2cd94f56",
    "metadata": {},
    "source": [
     "## 1.3 On the importance of finding the right abstractions \n",

_sources/chp2-dwd.ipynb

@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "cea43a6d",
+   "id": "ead685d7",
    "metadata": {},
    "source": [
     "# Chapter 2: Dynamical Systems with Kiki and Bouba\n",
@@ -133,7 +133,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "9b69c1ef",
+   "id": "40b45808",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -157,15 +157,15 @@
   },
   {
    "cell_type": "markdown",
-   "id": "47b6abeb",
+   "id": "d94c47a1",
    "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!"
    ]
   },
   {
    "cell_type": "markdown",
-   "id": "40e312d8",
+   "id": "bd9cb275",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -177,7 +177,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "922126a1",
+   "id": "43b05440",
    "metadata": {},
    "source": [
     "The simulation reuslts are exported as an animation showing that our simulation works (using Javis library) as shown below!\n",
@@ -235,7 +235,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "8f3b1635",
+   "id": "3f22c52c",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -259,7 +259,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "dbb0cebf",
+   "id": "4b3ba9f4",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -274,7 +274,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "810e28cd",
+   "id": "182006dd",
    "metadata": {},
    "source": [
     "Animating the simulation results produces a result like that:\n",
@@ -430,7 +430,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "69a0b532",
+   "id": "e53dab11",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -460,15 +460,15 @@
   },
   {
    "cell_type": "markdown",
-   "id": "2ebe7e6d",
+   "id": "95942107",
    "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."
    ]
   },
   {
    "cell_type": "markdown",
-   "id": "45d78f3b",
+   "id": "56dbd71d",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -481,7 +481,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "b6b6c5cd",
+   "id": "ec178491",
    "metadata": {},
    "source": [
     "Simulation of the results creates the following animation of traffic light! We got our initial states right!!\n",
@@ -599,7 +599,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "a87d466c",
+   "id": "6b9331ba",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -618,15 +618,15 @@
   },
   {
    "cell_type": "markdown",
-   "id": "070f6ca6",
+   "id": "15ed13a5",
    "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."
    ]
   },
   {
    "cell_type": "markdown",
-   "id": "9d513796",
+   "id": "7594da1e",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -639,7 +639,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "495a08f0",
+   "id": "aa018070",
    "metadata": {},
    "source": [
     "Are you ready to visualize their mood change when they are by themselves?\n",
@@ -713,7 +713,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "e5275ee0",
+   "id": "4ab2bd6e",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -736,15 +736,15 @@
   },
   {
    "cell_type": "markdown",
-   "id": "4915c5fe",
+   "id": "87e44685",
    "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."
    ]
   },
   {
    "cell_type": "markdown",
-   "id": "5fe45bc9",
+   "id": "6940b6d6",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -765,7 +765,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "9ec2a686",
+   "id": "6d49df79",
    "metadata": {},
    "source": [
     "Here is the plot showing how Kiki and Bouba's moods oscillate during their 100 minutes conversation! They seem to struggle for the first 30 minutes with Kiki losing her excitment steadily. However, their moods meet somewhere above zero and they happily seem to resonate at their maximum excitement levels from there on!\n",
@@ -850,7 +850,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "c4a54361",
+   "id": "442831fb",
    "metadata": {},
    "source": [
     "```{code}\n",
@@ -869,7 +869,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "38f5d144",
+   "id": "8a23dfd9",
    "metadata": {},
    "source": [
     "The change in mood level of Kiki, Bouba, and Bouba's crew over 100 minutes!\n",

_sources/chp3-graph-relationships.ipynb

@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "c3bdabd1",
+   "id": "653cb598",
    "metadata": {},
    "source": [
     "# Chapter 3: Graph Morphisms\n",