rebuilding site Mon Jul 1 20:51:28 EDT 2024

glangmead · Jul 2, 2024 · b710e8c · b710e8c
1 parent 55e5434
commit b710e8c
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 16 deletions.
diff --git a/index.xml b/index.xml
@@ -766,13 +766,10 @@ the middle, and square in back.&lt;/p&gt;
 &lt;figcaption&gt;Torus embedded in 3-dimensional space.&lt;/figcaption&gt;
 &lt;/figure&gt;
 &lt;figure id=&#34;fig:flattorus&#34;&gt;
-&lt;img src=&#34;./518fc68d3181bee2bb93f7bd6691d7a687c06ea0.png&#34; /&gt;
+&lt;img src=&#34;./e15645edebdda60c139ef14005bd28bdddea2f31.png&#34; /&gt;
 &lt;figcaption&gt;An inspiration for the torus. Identify the sides and then
 the top, definitionally, to get the actual torus.&lt;/figcaption&gt;
 &lt;/figure&gt;
-&lt;p&gt;In this case it should be intuitively obvious that transport around
-the boundary of any face is the identity, corresponding to the torus
-being flat.&lt;/p&gt;
 &lt;h2 data-number=&#34;2.3&#34; id=&#34;combinatorial-manifolds&#34;&gt;&lt;span
 class=&#34;header-section-number&#34;&gt;2.3&lt;/span&gt; Combinatorial manifolds&lt;/h2&gt;
 &lt;p&gt;(This section is not quite off the ground.)&lt;/p&gt;

diff --git a/writing/index.xml b/writing/index.xml
@@ -638,13 +638,10 @@ the middle, and square in back.&lt;/p&gt;
 &lt;figcaption&gt;Torus embedded in 3-dimensional space.&lt;/figcaption&gt;
 &lt;/figure&gt;
 &lt;figure id=&#34;fig:flattorus&#34;&gt;
-&lt;img src=&#34;./518fc68d3181bee2bb93f7bd6691d7a687c06ea0.png&#34; /&gt;
+&lt;img src=&#34;./e15645edebdda60c139ef14005bd28bdddea2f31.png&#34; /&gt;
 &lt;figcaption&gt;An inspiration for the torus. Identify the sides and then
 the top, definitionally, to get the actual torus.&lt;/figcaption&gt;
 &lt;/figure&gt;
-&lt;p&gt;In this case it should be intuitively obvious that transport around
-the boundary of any face is the identity, corresponding to the torus
-being flat.&lt;/p&gt;
 &lt;h2 data-number=&#34;2.3&#34; id=&#34;combinatorial-manifolds&#34;&gt;&lt;span
 class=&#34;header-section-number&#34;&gt;2.3&lt;/span&gt; Combinatorial manifolds&lt;/h2&gt;
 &lt;p&gt;(This section is not quite off the ground.)&lt;/p&gt;

diff --git a/writing/towards_gauge_theory_in_hott/discrete_gauge_theory.html b/writing/towards_gauge_theory_in_hott/discrete_gauge_theory.html
@@ -620,13 +620,10 @@ <h2 data-number="2.2" id="the-torus"><span
 <figcaption>Torus embedded in 3-dimensional space.</figcaption>
 </figure>
 <figure id="fig:flattorus">
-<img src="./518fc68d3181bee2bb93f7bd6691d7a687c06ea0.png" />
+<img src="./e15645edebdda60c139ef14005bd28bdddea2f31.png" />
 <figcaption>An inspiration for the torus. Identify the sides and then
 the top, definitionally, to get the actual torus.</figcaption>
 </figure>
-<p>In this case it should be intuitively obvious that transport around
-the boundary of any face is the identity, corresponding to the torus
-being flat.</p>
 <h2 data-number="2.3" id="combinatorial-manifolds"><span
 class="header-section-number">2.3</span> Combinatorial manifolds</h2>
 <p>(This section is not quite off the ground.)</p>

diff --git a/writing/towards_gauge_theory_in_hott/e15645edebdda60c139ef14005bd28bdddea2f31.png b/writing/towards_gauge_theory_in_hott/e15645edebdda60c139ef14005bd28bdddea2f31.png
diff --git a/writing/towards_gauge_theory_in_hott/index.html b/writing/towards_gauge_theory_in_hott/index.html
@@ -1319,13 +1319,10 @@ <h2 data-number="2.2" id="the-torus"><span
 <figcaption>Torus embedded in 3-dimensional space.</figcaption>
 </figure>
 <figure id="fig:flattorus">
-<img src="./518fc68d3181bee2bb93f7bd6691d7a687c06ea0.png" />
+<img src="./e15645edebdda60c139ef14005bd28bdddea2f31.png" />
 <figcaption>An inspiration for the torus. Identify the sides and then
 the top, definitionally, to get the actual torus.</figcaption>
 </figure>
-<p>In this case it should be intuitively obvious that transport around
-the boundary of any face is the identity, corresponding to the torus
-being flat.</p>
 <h2 data-number="2.3" id="combinatorial-manifolds"><span
 class="header-section-number">2.3</span> Combinatorial manifolds</h2>
 <p>(This section is not quite off the ground.)</p>