diff --git a/_images/40.png b/_images/40.png new file mode 100644 index 0000000..37980d4 Binary files /dev/null and b/_images/40.png differ diff --git a/_images/43.png b/_images/43.png new file mode 100644 index 0000000..a9cb626 Binary files /dev/null and b/_images/43.png differ diff --git a/_images/45.png b/_images/45.png new file mode 100644 index 0000000..1038eae Binary files /dev/null and b/_images/45.png differ diff --git a/_images/DPO-ex-1.png b/_images/DPO-ex-1.png deleted file mode 100644 index 34faa75..0000000 Binary files a/_images/DPO-ex-1.png and /dev/null differ diff --git a/_images/DPO-ex-2.png b/_images/DPO-ex-2.png deleted file mode 100644 index 24cf3fd..0000000 Binary files a/_images/DPO-ex-2.png and /dev/null differ diff --git a/_images/Ex-1.png b/_images/Ex-1.png deleted file mode 100644 index 1d04faf..0000000 Binary files a/_images/Ex-1.png and /dev/null differ diff --git a/_images/Ex-2.png b/_images/Ex-2.png deleted file mode 100644 index 21e71f7..0000000 Binary files a/_images/Ex-2.png and /dev/null differ diff --git a/_images/dangling-puzzle.png b/_images/dangling-puzzle.png deleted file mode 100644 index f4bc66a..0000000 Binary files a/_images/dangling-puzzle.png and /dev/null differ diff --git a/_images/match-ex1.png b/_images/match-ex1.png deleted file mode 100644 index a3e985a..0000000 Binary files a/_images/match-ex1.png and /dev/null differ diff --git a/_images/right-identity-puzzle.png b/_images/right-identity-puzzle.png deleted file mode 100644 index 715c9b3..0000000 Binary files a/_images/right-identity-puzzle.png and /dev/null differ diff --git a/_sources/afterword.ipynb b/_sources/afterword.ipynb index c4dfb75..55c96e5 100644 --- a/_sources/afterword.ipynb +++ b/_sources/afterword.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "640d2d80", + "id": "a817dc51", "metadata": {}, "source": [ "# Afterword" diff --git a/_sources/authors.ipynb b/_sources/authors.ipynb index d9960c9..6bcc4f1 100644 --- a/_sources/authors.ipynb +++ b/_sources/authors.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "b84c7e9e", + "id": "fe3992ea", "metadata": {}, "source": [ "# Authors\n", diff --git a/_sources/chp0.ipynb b/_sources/chp0.ipynb index fb9221a..097554a 100644 --- a/_sources/chp0.ipynb +++ b/_sources/chp0.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "c27d8fd7", + "id": "3f7c3bc7", "metadata": {}, "source": [ "# Chapter 0: Directed Graphs\n", diff --git a/_sources/chp1-directed-graphs.ipynb b/_sources/chp1-directed-graphs.ipynb index 8866bb0..c1c38b7 100644 --- a/_sources/chp1-directed-graphs.ipynb +++ b/_sources/chp1-directed-graphs.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "d3b8cffd", + "id": "57e299c1", "metadata": {}, "source": [ "# Chapter 1: Data\n", @@ -87,7 +87,7 @@ { "cell_type": "code", "execution_count": null, - "id": "4b5cbdfd", + "id": "83e40c0d", "metadata": {}, "outputs": [], "source": [ @@ -102,7 +102,7 @@ { "cell_type": "code", "execution_count": null, - "id": "2a9df91e", + "id": "7590a6dc", "metadata": {}, "outputs": [], "source": [ @@ -114,7 +114,7 @@ }, { "cell_type": "markdown", - "id": "3667a838", + "id": "2e1cf462", "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 dbd2e4a..e601a0f 100644 --- a/_sources/chp2-dwd.ipynb +++ b/_sources/chp2-dwd.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "c0d313b3", + "id": "3a0a91e8", "metadata": {}, "source": [ "# Chapter 2: Dynamical Systems with Kiki and Bouba\n", @@ -133,7 +133,7 @@ }, { "cell_type": "markdown", - "id": "2362de98", + "id": "ebc251e7", "metadata": {}, "source": [ "```{code}\n", @@ -157,7 +157,7 @@ }, { "cell_type": "markdown", - "id": "c9669ca6", + "id": "10816410", "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!" @@ -165,7 +165,7 @@ }, { "cell_type": "markdown", - "id": "815a3cce", + "id": "b05a6d24", "metadata": {}, "source": [ "```{code}\n", @@ -177,7 +177,7 @@ }, { "cell_type": "markdown", - "id": "0cf25594", + "id": "34226356", "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": "a03ecd5e", + "id": "c9830434", "metadata": {}, "source": [ "```{code}\n", @@ -259,7 +259,7 @@ }, { "cell_type": "markdown", - "id": "43202603", + "id": "6eac3a17", "metadata": {}, "source": [ "```{code}\n", @@ -274,7 +274,7 @@ }, { "cell_type": "markdown", - "id": "eba26b69", + "id": "64b80246", "metadata": {}, "source": [ "Animating the simulation results produces a result like that:\n", @@ -430,7 +430,7 @@ }, { "cell_type": "markdown", - "id": "9990b8b5", + "id": "647ef6ed", "metadata": {}, "source": [ "```{code}\n", @@ -460,7 +460,7 @@ }, { "cell_type": "markdown", - "id": "e9b010c0", + "id": "a3a822ca", "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." @@ -468,7 +468,7 @@ }, { "cell_type": "markdown", - "id": "e678102b", + "id": "f84682bb", "metadata": {}, "source": [ "```{code}\n", @@ -481,7 +481,7 @@ }, { "cell_type": "markdown", - "id": "aee820ea", + "id": "272973ce", "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": "9448957d", + "id": "c615e5e3", "metadata": {}, "source": [ "```{code}\n", @@ -618,7 +618,7 @@ }, { "cell_type": "markdown", - "id": "ea972c09", + "id": "8279599b", "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." @@ -626,7 +626,7 @@ }, { "cell_type": "markdown", - "id": "19761c4c", + "id": "6456a0a6", "metadata": {}, "source": [ "```{code}\n", @@ -639,7 +639,7 @@ }, { "cell_type": "markdown", - "id": "4551e7be", + "id": "ae8b4cfe", "metadata": {}, "source": [ "Are you ready to visualize their mood change when they are by themselves?\n", @@ -713,7 +713,7 @@ }, { "cell_type": "markdown", - "id": "bda6e066", + "id": "34a1b0c4", "metadata": {}, "source": [ "```{code}\n", @@ -736,7 +736,7 @@ }, { "cell_type": "markdown", - "id": "5315831e", + "id": "380015ea", "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." @@ -744,7 +744,7 @@ }, { "cell_type": "markdown", - "id": "74ea6ec8", + "id": "53c28bc6", "metadata": {}, "source": [ "```{code}\n", @@ -765,7 +765,7 @@ }, { "cell_type": "markdown", - "id": "d0c740fb", + "id": "07009f23", "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": "749db581", + "id": "77bc27ca", "metadata": {}, "source": [ "```{code}\n", @@ -869,7 +869,7 @@ }, { "cell_type": "markdown", - "id": "5e5dd095", + "id": "1cf7cb90", "metadata": {}, "source": [ "The change in mood level of Kiki, Bouba, and Bouba's crew over 100 minutes!\n", diff --git a/_sources/chp3-graph-relationships.ipynb b/_sources/chp3-graph-relationships.ipynb index 839bb92..7f67fb3 100644 --- a/_sources/chp3-graph-relationships.ipynb +++ b/_sources/chp3-graph-relationships.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "e6b6d1a4", + "id": "c10517cb", "metadata": {}, "source": [ "# Chapter 3: Graph Morphisms\n", diff --git a/_sources/chp3-schemas.ipynb b/_sources/chp3-schemas.ipynb index ac50c2c..8cb4ddb 100644 --- a/_sources/chp3-schemas.ipynb +++ b/_sources/chp3-schemas.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "038dbda1", + "id": "0ba87dd2", "metadata": {}, "source": [ "# Chapter 3: Blueprints\n", @@ -118,7 +118,7 @@ { "cell_type": "code", "execution_count": null, - "id": "9b224999", + "id": "407b6ffe", "metadata": {}, "outputs": [], "source": [ @@ -135,7 +135,7 @@ }, { "cell_type": "markdown", - "id": "03f3c8e4", + "id": "a44fe60a", "metadata": {}, "source": [ "And that's how AlgebraicJulia understands what we mean by a directed graph! Having given this general characterization of a directed graph blueprint we will next see how we can _modify_ this blueprint to define other kinds of graphs.\n", @@ -290,7 +290,7 @@ { "cell_type": "code", "execution_count": null, - "id": "730829b7", + "id": "3ad89877", "metadata": {}, "outputs": [], "source": [ @@ -306,7 +306,7 @@ }, { "cell_type": "markdown", - "id": "bdc11bd6", + "id": "96e228ab", "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", @@ -395,7 +395,7 @@ { "cell_type": "code", "execution_count": null, - "id": "e2ad976e", + "id": "df6217bf", "metadata": {}, "outputs": [], "source": [ @@ -413,7 +413,7 @@ }, { "cell_type": "markdown", - "id": "9d5df1a6", + "id": "836ef847", "metadata": {}, "source": [ ":::{admonition} Pause and Ponder! \n", diff --git a/_sources/chp4-graph-relationships.ipynb b/_sources/chp4-graph-relationships.ipynb index 94660e7..dbb432c 100644 --- a/_sources/chp4-graph-relationships.ipynb +++ b/_sources/chp4-graph-relationships.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "ce7d350e", + "id": "7f51edc5", "metadata": {}, "source": [ "# Chapter 4: Categories\n", @@ -358,7 +358,7 @@ { "cell_type": "code", "execution_count": null, - "id": "3a3edc1e", + "id": "a3450dce", "metadata": {}, "outputs": [], "source": [ @@ -378,7 +378,7 @@ }, { "cell_type": "markdown", - "id": "d828ced1", + "id": "fb073b1b", "metadata": {}, "source": [ ":::{admonition} Puzzle 3 Solution:\n", @@ -413,7 +413,7 @@ { "cell_type": "code", "execution_count": null, - "id": "c68ee80d", + "id": "a559e6ac", "metadata": {}, "outputs": [], "source": [ @@ -430,7 +430,7 @@ }, { "cell_type": "markdown", - "id": "997409df", + "id": "cd422473", "metadata": {}, "source": [ ":::{admonition} Puzzle 4 Solution:\n", @@ -456,7 +456,7 @@ { "cell_type": "code", "execution_count": null, - "id": "322a66d6", + "id": "021194de", "metadata": {}, "outputs": [], "source": [ @@ -465,7 +465,7 @@ }, { "cell_type": "markdown", - "id": "f9b03205", + "id": "864cfbc0", "metadata": {}, "source": [ ":::{admonition} Puzzle 5 Solution:\n", @@ -503,7 +503,7 @@ { "cell_type": "code", "execution_count": null, - "id": "1a1d0608", + "id": "d5e491b3", "metadata": {}, "outputs": [], "source": [ @@ -521,7 +521,7 @@ }, { "cell_type": "markdown", - "id": "1022d329", + "id": "c31d8f0f", "metadata": {}, "source": [ ":::{admonition} Puzzle 6 Solution:\n", @@ -539,7 +539,7 @@ { "cell_type": "code", "execution_count": null, - "id": "f9c7a9c6", + "id": "0b5b6490", "metadata": {}, "outputs": [], "source": [ @@ -557,7 +557,7 @@ }, { "cell_type": "markdown", - "id": "6469d62a", + "id": "2a3a89b0", "metadata": {}, "source": [ ":::{admonition} Puzzle 7 Solution:\n", diff --git a/_sources/chp5-graph-gluing.ipynb b/_sources/chp5-graph-gluing.ipynb index c09cdfc..56184de 100644 --- a/_sources/chp5-graph-gluing.ipynb +++ b/_sources/chp5-graph-gluing.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "f2bb4263", + "id": "d20a2769", "metadata": {}, "source": [ "# Chapter 5: Combining Graphs\n", @@ -693,7 +693,7 @@ { "cell_type": "code", "execution_count": null, - "id": "8c3882d6", + "id": "e9dba826", "metadata": {}, "outputs": [], "source": [ @@ -737,7 +737,7 @@ }, { "cell_type": "markdown", - "id": "6365f140", + "id": "48b70412", "metadata": {}, "source": [ "Use the code cell at the end of the section to visualize `graph A` and `graph B`.\n", @@ -749,7 +749,7 @@ { "cell_type": "code", "execution_count": null, - "id": "a79d943a", + "id": "503c8408", "metadata": {}, "outputs": [], "source": [ @@ -790,7 +790,7 @@ }, { "cell_type": "markdown", - "id": "de6fe709", + "id": "2dcca1d3", "metadata": {}, "source": [ "Use the code cell at the end of the section to visualize `graph A` and `graph B`.\n", @@ -801,7 +801,7 @@ { "cell_type": "code", "execution_count": null, - "id": "cf303210", + "id": "c56f8a9a", "metadata": {}, "outputs": [], "source": [ @@ -825,7 +825,7 @@ }, { "cell_type": "markdown", - "id": "d99a4e33", + "id": "eda998b5", "metadata": {}, "source": [ "Use the code cell below to visualize `graph A` and `graph B`." @@ -834,7 +834,7 @@ { "cell_type": "code", "execution_count": null, - "id": "7339ccfc", + "id": "133cbaf2", "metadata": {}, "outputs": [], "source": [ @@ -849,7 +849,7 @@ }, { "cell_type": "markdown", - "id": "49d94884", + "id": "9bb38951", "metadata": {}, "source": [ "## 5.6 Summary \n", diff --git a/_sources/chp6-dpo.ipynb b/_sources/chp6-dpo.ipynb index 4a9b4e6..a1a4834 100644 --- a/_sources/chp6-dpo.ipynb +++ b/_sources/chp6-dpo.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "8313a419", + "id": "69a870c7", "metadata": {}, "source": [ "# Chapter 6: Evolving Graphs\n", @@ -879,7 +879,7 @@ "Find at least two matches of the search pattern in the host graph. \n", "\n", "````{div} wrapper \n", - "```{image} assets/Ch6/match-ex1.png\n", + "```{image} assets/Ch6/40.png\n", ":alt: Whoopsy!\n", ":width: 350px\n", ":align: center\n", @@ -892,7 +892,7 @@ { "cell_type": "code", "execution_count": null, - "id": "7427325c", + "id": "d3189d4b", "metadata": {}, "outputs": [], "source": [ @@ -916,7 +916,7 @@ { "cell_type": "code", "execution_count": null, - "id": "cef22d67", + "id": "31b4f146", "metadata": {}, "outputs": [], "source": [ @@ -929,7 +929,7 @@ }, { "cell_type": "markdown", - "id": "9659c5ee", + "id": "63c8ad15", "metadata": {}, "source": [ "### Is this a pushout complement?\n", @@ -941,7 +941,7 @@ "Is there a pushout complement? If not, why?\n", "\n", "````{div} wrapper \n", - "```{image} assets/Ch6/dangling-puzzle.png\n", + "```{image} assets/Ch6/27.png\n", ":alt: Whoopsy!\n", ":width: 400px\n", ":align: center\n", @@ -953,7 +953,7 @@ { "cell_type": "code", "execution_count": null, - "id": "ffc94c5e", + "id": "aea03955", "metadata": {}, "outputs": [], "source": [ @@ -978,7 +978,7 @@ { "cell_type": "code", "execution_count": null, - "id": "89613606", + "id": "9bd18314", "metadata": {}, "outputs": [], "source": [ @@ -988,7 +988,7 @@ }, { "cell_type": "markdown", - "id": "7da187f5", + "id": "8655755d", "metadata": {}, "source": [ ":::{admonition} Example 3\n", @@ -997,7 +997,7 @@ "\n", "\n", "````{div} wrapper \n", - "```{image} assets/Ch6/right-identity-puzzle.png\n", + "```{image} assets/Ch6/28.png\n", ":alt: Whoopsy!\n", ":width: 400px\n", ":align: center\n", @@ -1010,7 +1010,7 @@ { "cell_type": "code", "execution_count": null, - "id": "35a93ce1", + "id": "5f4b1572", "metadata": {}, "outputs": [], "source": [ @@ -1036,7 +1036,7 @@ { "cell_type": "code", "execution_count": null, - "id": "56ac8ff0", + "id": "da23375d", "metadata": {}, "outputs": [], "source": [ @@ -1046,7 +1046,7 @@ }, { "cell_type": "markdown", - "id": "9fd9c244", + "id": "63a41e03", "metadata": {}, "source": [ "### Computing double-pushouts\n", @@ -1055,7 +1055,7 @@ "\n", "What is the pushout complement?\n", "\n", - "```{image} assets/Ch6/Ex-1.png\n", + "```{image} assets/Ch6/43.png\n", ":alt: Whoopsy!\n", ":width: 450px\n", ":align: center\n", @@ -1067,7 +1067,7 @@ { "cell_type": "code", "execution_count": null, - "id": "422798f2", + "id": "0e439239", "metadata": {}, "outputs": [], "source": [ @@ -1087,13 +1087,13 @@ }, { "cell_type": "markdown", - "id": "96425de9", + "id": "73e95fbe", "metadata": {}, "source": [ ":::{admonition} Puzzle 7 (continued from Puzzle 5 )\n", "\n", "Compute the pushout:\n", - "```{image} assets/Ch6/DPO-ex-1.png\n", + "```{image} assets/Ch6/36.png\n", ":alt: Whoopsy!\n", ":width: 550px\n", ":align: center\n", @@ -1104,7 +1104,7 @@ { "cell_type": "code", "execution_count": null, - "id": "6f91813b", + "id": "4439d4a5", "metadata": {}, "outputs": [], "source": [ @@ -1121,13 +1121,13 @@ }, { "cell_type": "markdown", - "id": "f0cb517a", + "id": "e904cffc", "metadata": {}, "source": [ ":::{admonition} Puzzle 6\n", "\n", "What is the pushout complement?\n", - "```{image} assets/Ch6/Ex-2.png\n", + "```{image} assets/Ch6/45.png\n", ":alt: Whoopsy!\n", ":width: 450px\n", ":align: center\n", @@ -1138,7 +1138,7 @@ { "cell_type": "code", "execution_count": null, - "id": "95756f73", + "id": "fd9e55d0", "metadata": {}, "outputs": [], "source": [ @@ -1168,14 +1168,14 @@ }, { "cell_type": "markdown", - "id": "17328a84", + "id": "69a52be7", "metadata": {}, "source": [ ":::{admonition} Puzzle 8 (continued from Puzzle 6 )\n", "\n", "Complete the pushout\n", "\n", - "```{image} assets/Ch6/DPO-ex-2.png\n", + "```{image} assets/Ch6/38.png\n", ":alt: Whoopsy!\n", ":width: 550px\n", ":align: center\n", @@ -1186,7 +1186,7 @@ { "cell_type": "code", "execution_count": null, - "id": "b6d383e7", + "id": "5c98561e", "metadata": {}, "outputs": [], "source": [ @@ -1204,7 +1204,7 @@ }, { "cell_type": "markdown", - "id": "48ed1141", + "id": "d6680bf2", "metadata": {}, "source": [ " \n", diff --git a/_sources/chp6-dpo.md b/_sources/chp6-dpo.md index 9483762..763eb77 100644 --- a/_sources/chp6-dpo.md +++ b/_sources/chp6-dpo.md @@ -884,7 +884,7 @@ This section will demonstrate how graph "find-and-replace" can be performed in a Find at least two matches of the search pattern in the host graph. ````{div} wrapper -```{image} assets/Ch6/match-ex1.png +```{image} assets/Ch6/40.png :alt: Whoopsy! :width: 350px :align: center @@ -939,7 +939,7 @@ matches = homomorphisms(find, host) Is there a pushout complement? If not, why? ````{div} wrapper -```{image} assets/Ch6/dangling-puzzle.png +```{image} assets/Ch6/27.png :alt: Whoopsy! :width: 400px :align: center @@ -978,7 +978,7 @@ Is there a pushout complement? If not, why? ````{div} wrapper -```{image} assets/Ch6/right-identity-puzzle.png +```{image} assets/Ch6/28.png :alt: Whoopsy! :width: 400px :align: center @@ -1020,7 +1020,7 @@ gluing_conditions(ComposablePair(del, match)) What is the pushout complement? -```{image} assets/Ch6/Ex-1.png +```{image} assets/Ch6/43.png :alt: Whoopsy! :width: 450px :align: center @@ -1048,7 +1048,7 @@ to_graphviz(dom(PC_H₅)) :::{admonition} Puzzle 7 (continued from Puzzle 5 ) Compute the pushout: -```{image} assets/Ch6/DPO-ex-1.png +```{image} assets/Ch6/36.png :alt: Whoopsy! :width: 550px :align: center @@ -1073,7 +1073,7 @@ to_graphviz(codom(fromR)) :::{admonition} Puzzle 6 What is the pushout complement? -```{image} assets/Ch6/Ex-2.png +```{image} assets/Ch6/45.png :alt: Whoopsy! :width: 450px :align: center @@ -1110,7 +1110,7 @@ to_graphviz(dom(PC_H₆)) Complete the pushout -```{image} assets/Ch6/DPO-ex-2.png +```{image} assets/Ch6/38.png :alt: Whoopsy! :width: 550px :align: center diff --git a/_sources/chp7-dpo-application.ipynb b/_sources/chp7-dpo-application.ipynb index b3b8d01..27047fb 100644 --- a/_sources/chp7-dpo-application.ipynb +++ b/_sources/chp7-dpo-application.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "583a1aaa", + "id": "18de19cf", "metadata": {}, "source": [ "# Chapter 7: A Look Beyond-- Evolving World Models\n", @@ -44,7 +44,7 @@ { "cell_type": "code", "execution_count": null, - "id": "4ee58680", + "id": "c118a25a", "metadata": {}, "outputs": [], "source": [ @@ -67,7 +67,7 @@ }, { "cell_type": "markdown", - "id": "84318e89", + "id": "8ef78fb5", "metadata": {}, "source": [ "```{image} assets/Ch7/Sch3DShape.svg\n", @@ -143,7 +143,7 @@ { "cell_type": "code", "execution_count": null, - "id": "40d1ae62", + "id": "54c96de2", "metadata": {}, "outputs": [], "source": [ @@ -192,7 +192,7 @@ }, { "cell_type": "markdown", - "id": "4b643c66", + "id": "9243005d", "metadata": {}, "source": [ "This instance defines a box that looks like _Fig. 1_. \n", @@ -361,7 +361,7 @@ { "cell_type": "code", "execution_count": null, - "id": "3784b03a", + "id": "e13fdaea", "metadata": {}, "outputs": [], "source": [ @@ -402,7 +402,7 @@ }, { "cell_type": "markdown", - "id": "5e49761a", + "id": "fc9a9c8b", "metadata": {}, "source": [ "```{image} assets/Ch7/SchKitchen.svg\n", @@ -418,7 +418,7 @@ { "cell_type": "code", "execution_count": null, - "id": "aab38f26", + "id": "0df83661", "metadata": {}, "outputs": [], "source": [ @@ -442,7 +442,7 @@ }, { "cell_type": "markdown", - "id": "50f92782", + "id": "c13bbfe6", "metadata": {}, "source": [ ":::{note}\n", @@ -465,7 +465,7 @@ { "cell_type": "code", "execution_count": null, - "id": "98f0aa9e", + "id": "b5fd4ece", "metadata": {}, "outputs": [], "source": [ @@ -489,7 +489,7 @@ }, { "cell_type": "markdown", - "id": "b51d00ef", + "id": "d7fd9815", "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/credits.ipynb b/_sources/credits.ipynb index 97699b4..8951ff5 100644 --- a/_sources/credits.ipynb +++ b/_sources/credits.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "a6f4f25a", + "id": "7916b5e9", "metadata": {}, "source": [ "# Credits\n", diff --git a/_sources/intro.ipynb b/_sources/intro.ipynb index 30f9ed7..68588ae 100644 --- a/_sources/intro.ipynb +++ b/_sources/intro.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "520950f2", + "id": "8d1421d9", "metadata": {}, "source": [ "# Introduction\n", @@ -111,7 +111,7 @@ { "cell_type": "code", "execution_count": null, - "id": "ef2490b6", + "id": "ad75549e", "metadata": {}, "outputs": [], "source": [ @@ -120,7 +120,7 @@ }, { "cell_type": "markdown", - "id": "4388333d", + "id": "d431e2c0", "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", diff --git a/_sources/julia-notebook.ipynb b/_sources/julia-notebook.ipynb index 7ebf681..51a5c11 100644 --- a/_sources/julia-notebook.ipynb +++ b/_sources/julia-notebook.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "5b343fed", + "id": "31fdb18a", "metadata": {}, "source": [ "# Sample Markdown with Code\n", @@ -26,7 +26,7 @@ }, { "cell_type": "markdown", - "id": "a4c843c3", + "id": "f6a48460", "metadata": {}, "source": [ "## How to run the code in this page?\n", @@ -42,7 +42,7 @@ }, { "cell_type": "markdown", - "id": "e87a5849", + "id": "e02dcfa1", "metadata": {}, "source": [ "## Julia code" @@ -51,7 +51,7 @@ { "cell_type": "code", "execution_count": null, - "id": "ad2105f2", + "id": "2d5364a0", "metadata": {}, "outputs": [], "source": [ @@ -61,7 +61,7 @@ }, { "cell_type": "markdown", - "id": "3424dc77", + "id": "0b9ddea8", "metadata": {}, "source": [ "## Drawing directed wiring diagrams\n", @@ -72,7 +72,7 @@ { "cell_type": "code", "execution_count": null, - "id": "45dbf310", + "id": "a12b39e3", "metadata": {}, "outputs": [], "source": [ @@ -103,7 +103,7 @@ }, { "cell_type": "markdown", - "id": "c8bc7848", + "id": "d4ecdcc7", "metadata": {}, "source": [ "## Drawing undirected wiring diagrams\n", @@ -113,7 +113,7 @@ }, { "cell_type": "markdown", - "id": "a7041d8e", + "id": "65e050af", "metadata": {}, "source": [ "The following code draws UWD using Graphviz library" @@ -122,7 +122,7 @@ { "cell_type": "code", "execution_count": null, - "id": "8a99a1ac", + "id": "b933ccc1", "metadata": {}, "outputs": [], "source": [ @@ -142,7 +142,7 @@ }, { "cell_type": "markdown", - "id": "23f514ae", + "id": "f58de219", "metadata": {}, "source": [ "Try your own code in the block below:" @@ -151,7 +151,7 @@ { "cell_type": "code", "execution_count": null, - "id": "44eb33a4", + "id": "e2afde25", "metadata": {}, "outputs": [], "source": [ diff --git a/chp6-dpo.html b/chp6-dpo.html index ffcd064..1ded7aa 100644 --- a/chp6-dpo.html +++ b/chp6-dpo.html @@ -887,7 +887,7 @@

Finding matches of a search patternPuzzle 4

Find at least two matches of the search pattern in the host graph.

-Whoopsy! +Whoopsy!
@@ -930,7 +930,7 @@

Is this a pushout complement? -Whoopsy! +Whoopsy!

@@ -967,7 +967,7 @@

Is this a pushout complement?Example 3

Is there a pushout complement? If not, why?

-Whoopsy! +Whoopsy!

@@ -1007,7 +1007,7 @@

Computing double-pushouts

Puzzle 5

What is the pushout complement?

-Whoopsy! +Whoopsy!

@@ -1030,7 +1030,7 @@

Computing double-pushouts

Puzzle 7 (continued from Puzzle 5 )

Compute the pushout:

-Whoopsy! +Whoopsy!

@@ -1050,7 +1050,7 @@

Computing double-pushouts

Puzzle 6

What is the pushout complement?

-Whoopsy! +Whoopsy!

@@ -1083,7 +1083,7 @@

Computing double-pushouts

Puzzle 8 (continued from Puzzle 6 )

Complete the pushout

-Whoopsy! +Whoopsy!