bump

hejohns · Jun 4, 2024 · cd7102b · cd7102b
1 parent 7040328
commit cd7102b
Show file tree

Hide file tree

Showing 152 changed files with 18,896 additions and 9,885 deletions.
diff --git a/_forest b/_forest
diff --git a/_site/2023/04/09/gsi-applications.html b/_site/2023/04/09/gsi-applications.html
@@ -83,8 +83,8 @@ <h2 id="engr-101-f23">ENGR 101 (F23)</h2>
 
 <iframe width="560" height="315" src="https://www.youtube.com/embed/Cd9Tq7s_BhQ" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" allowfullscreen=""></iframe>
 
-<style> .pdf-embed-wrap-798aab41-27ff-4376-bab4-3e0f273277b2 { display: flex; flex-direction: column; width: 100%; height: 650px; } .pdf-embed-container-798aab41-27ff-4376-bab4-3e0f273277b2 { height: 100%; } .pdf-link-798aab41-27ff-4376-bab4-3e0f273277b2 { background-color: white; text-align: center; border-style: solid; } .pdf-embed-container-798aab41-27ff-4376-bab4-3e0f273277b2 iframe { width: 100%; height: 100%; } </style>
-<div class="pdf-embed-wrap-798aab41-27ff-4376-bab4-3e0f273277b2"> <div class="pdf-link-798aab41-27ff-4376-bab4-3e0f273277b2"> <a href="/files/101-gsi-application.pdf" target="_blank">View PDF</a> </div> <div class="pdf-embed-container-798aab41-27ff-4376-bab4-3e0f273277b2"> <iframe src="/files/101-gsi-application.pdf" frameborder="0" allowfullscreen=""></iframe> </div> </div>
+<style> .pdf-embed-wrap-ee36fe05-00b8-4e4e-add2-8999ccc2868f { display: flex; flex-direction: column; width: 100%; height: 650px; } .pdf-embed-container-ee36fe05-00b8-4e4e-add2-8999ccc2868f { height: 100%; } .pdf-link-ee36fe05-00b8-4e4e-add2-8999ccc2868f { background-color: white; text-align: center; border-style: solid; } .pdf-embed-container-ee36fe05-00b8-4e4e-add2-8999ccc2868f iframe { width: 100%; height: 100%; } </style>
+<div class="pdf-embed-wrap-ee36fe05-00b8-4e4e-add2-8999ccc2868f"> <div class="pdf-link-ee36fe05-00b8-4e4e-add2-8999ccc2868f"> <a href="/files/101-gsi-application.pdf" target="_blank">View PDF</a> </div> <div class="pdf-embed-container-ee36fe05-00b8-4e4e-add2-8999ccc2868f"> <iframe src="/files/101-gsi-application.pdf" frameborder="0" allowfullscreen=""></iframe> </div> </div>
 <h2 id="eecs-376-f23">EECS 376 (F23)</h2>
 <p><strong>outcome</strong>: rejected. No response.</p>
 <h3 id="too-long-version">too long version</h3>
@@ -153,7 +153,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2023/04/10/miserliness.html b/_site/2023/04/10/miserliness.html
@@ -142,7 +142,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2023/04/14/rasterize-pdfs.html b/_site/2023/04/14/rasterize-pdfs.html
@@ -135,7 +135,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2023/04/23/scripting.html b/_site/2023/04/23/scripting.html
@@ -266,7 +266,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2023/05/02/chili-oil.html b/_site/2023/05/02/chili-oil.html
@@ -122,7 +122,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2023/05/07/nonstandard-analysis.html b/_site/2023/05/07/nonstandard-analysis.html
@@ -116,7 +116,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2023/05/10/linux-graphics-modules.html b/_site/2023/05/10/linux-graphics-modules.html
@@ -137,7 +137,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2023/07/24/book-catalogue.html b/_site/2023/07/24/book-catalogue.html
@@ -291,7 +291,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2023/08/03/nic-bonding.html b/_site/2023/08/03/nic-bonding.html
@@ -126,7 +126,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2023/10/10/tortoise-tts.html b/_site/2023/10/10/tortoise-tts.html
@@ -252,7 +252,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2023/10/29/coordinating-processes.html b/_site/2023/10/29/coordinating-processes.html
@@ -108,7 +108,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2023/11/07/ble-sh.html b/_site/2023/11/07/ble-sh.html
@@ -106,7 +106,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2023/12/19/icecc.html b/_site/2023/12/19/icecc.html
@@ -131,7 +131,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2023/12/20/xmonad.html b/_site/2023/12/20/xmonad.html
@@ -193,7 +193,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2024/01/08/thunderbird-and-nix.html b/_site/2024/01/08/thunderbird-and-nix.html
@@ -170,7 +170,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2024/01/16/mellanox.html b/_site/2024/01/16/mellanox.html
@@ -110,7 +110,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2024/02/08/natural-models.html b/_site/2024/02/08/natural-models.html
@@ -166,7 +166,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2024/02/12/noctua.html b/_site/2024/02/12/noctua.html
@@ -115,7 +115,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2024/02/24/vim.html b/_site/2024/02/24/vim.html
@@ -123,7 +123,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2024/03/10/deoplete.html b/_site/2024/03/10/deoplete.html
@@ -166,7 +166,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/2024/04/11/fountain-pen-nibs.html b/_site/2024/04/11/fountain-pen-nibs.html
@@ -157,7 +157,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/404.html b/_site/404.html
@@ -100,7 +100,7 @@ <h1>404</h1>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/category-theory/2023/05/18/equivalence-of-categories.html b/_site/category-theory/2023/05/18/equivalence-of-categories.html
@@ -153,7 +153,7 @@ <h2> related </h2>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/category/category-theory/index.html b/_site/category/category-theory/index.html
@@ -90,7 +90,7 @@ <h1>Archive of posts with category 'category-theory'</h1>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/category/site-construction/index.html b/_site/category/site-construction/index.html
@@ -120,7 +120,7 @@ <h1>Archive of posts with category 'site-construction'</h1>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/feed.xml b/_site/feed.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.3.3">Jekyll</generator><link href="https://hejohns.github.io/feed.xml" rel="self" type="application/atom+xml" /><link href="https://hejohns.github.io/" rel="alternate" type="text/html" /><updated>2024-06-03T05:14:53-04:00</updated><id>https://hejohns.github.io/feed.xml</id><title type="html">hejohns’ jekyll site</title><subtitle>a pure waste of space</subtitle><author><name>Johnson He</name><email>hejohns α umich δ edu</email></author><entry><title type="html">fountain pen nibs</title><link href="https://hejohns.github.io/2024/04/11/fountain-pen-nibs.html" rel="alternate" type="text/html" title="fountain pen nibs" /><published>2024-04-11T00:00:00-04:00</published><updated>2024-04-11T17:48:22-04:00</updated><id>https://hejohns.github.io/2024/04/11/fountain-pen-nibs</id><content type="html" xml:base="https://hejohns.github.io/2024/04/11/fountain-pen-nibs.html"><![CDATA[<p>Several weeks ago, I lost my other TWSBI 580 (technically, the 580 ALR)
+<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.3.3">Jekyll</generator><link href="https://hejohns.github.io/feed.xml" rel="self" type="application/atom+xml" /><link href="https://hejohns.github.io/" rel="alternate" type="text/html" /><updated>2024-06-04T02:22:53-04:00</updated><id>https://hejohns.github.io/feed.xml</id><title type="html">hejohns’ jekyll site</title><subtitle>a pure waste of space</subtitle><author><name>Johnson He</name><email>hejohns α umich δ edu</email></author><entry><title type="html">fountain pen nibs</title><link href="https://hejohns.github.io/2024/04/11/fountain-pen-nibs.html" rel="alternate" type="text/html" title="fountain pen nibs" /><published>2024-04-11T00:00:00-04:00</published><updated>2024-04-11T17:48:22-04:00</updated><id>https://hejohns.github.io/2024/04/11/fountain-pen-nibs</id><content type="html" xml:base="https://hejohns.github.io/2024/04/11/fountain-pen-nibs.html"><![CDATA[<p>Several weeks ago, I lost my other TWSBI 580 (technically, the 580 ALR)
 which meant that I didn’t have any EF nibs left<sup id="fnref:1" role="doc-noteref"><a href="#fn:1" class="footnote" rel="footnote">1</a></sup>.</p>
 
 <p>Through the process of sourcing nibs, I learned a lot about the details so:</p>

diff --git a/_site/forest.html b/_site/forest.html
@@ -82,7 +82,7 @@ <h3>
             <li>(the answer is yes, you should.)</li>
         </ul>
         <!-- add last-modified-time -->
-        <p>site version: 2024-06-03</p>
+        <p>site version: 2024-06-04</p>
       </div>
       <div class="footer-col">
         <p>a pure waste of space</p>

diff --git a/_site/forest/awodey-2010.xml b/_site/forest/awodey-2010.xml
@@ -7,4 +7,4 @@ numbered="true"
 show-heading="true"
 show-metadata="true"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>339</fr:anchor><fr:taxon>Reference</fr:taxon><fr:addr>awodey-2010</fr:addr><fr:route>awodey-2010.xml</fr:route><fr:title>Category Theory</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>2</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>3</fr:day></fr:date></fr:frontmatter><fr:mainmatter></fr:mainmatter><fr:backmatter><fr:contributions></fr:contributions><fr:context></fr:context><fr:related></fr:related><fr:backlinks></fr:backlinks><fr:references></fr:references></fr:backmatter></fr:tree>
+root="false"><fr:frontmatter><fr:anchor>470</fr:anchor><fr:taxon>Reference</fr:taxon><fr:addr>awodey-2010</fr:addr><fr:route>awodey-2010.xml</fr:route><fr:title>Category Theory</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>2</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>3</fr:day></fr:date></fr:frontmatter><fr:mainmatter></fr:mainmatter><fr:backmatter><fr:contributions></fr:contributions><fr:context></fr:context><fr:related></fr:related><fr:backlinks></fr:backlinks><fr:references></fr:references></fr:backmatter></fr:tree>
diff --git a/_site/forest/blass-1988.xml b/_site/forest/blass-1988.xml
@@ -7,14 +7,14 @@ numbered="true"
 show-heading="true"
 show-metadata="true"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>676</fr:anchor><fr:taxon>Reference</fr:taxon><fr:addr>blass-1988</fr:addr><fr:route>blass-1988.xml</fr:route><fr:title>Topoi and Computation</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date></fr:frontmatter><fr:mainmatter><fr:tree
+root="false"><fr:frontmatter><fr:anchor>737</fr:anchor><fr:taxon>Reference</fr:taxon><fr:addr>blass-1988</fr:addr><fr:route>blass-1988.xml</fr:route><fr:title>Topoi and Computation</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date></fr:frontmatter><fr:mainmatter><fr:tree
 xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"
 toc="true"
 numbered="true"
 show-heading="true"
 show-metadata="false"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>299</fr:anchor><fr:taxon>Abstract</fr:taxon><fr:addr>#287</fr:addr><fr:route>unstable-287.xml</fr:route><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:parent>blass-1988</fr:parent></fr:frontmatter><fr:mainmatter><fr:p>
+root="false"><fr:frontmatter><fr:anchor>459</fr:anchor><fr:taxon>Abstract</fr:taxon><fr:addr>#291</fr:addr><fr:route>unstable-291.xml</fr:route><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:parent>blass-1988</fr:parent></fr:frontmatter><fr:mainmatter><fr:p>
         This is the written version of a talk given at the C.I.R.M. Workshop on
         Logic in Computer Science at Marseille, France in June, 1988. Its purpose
         is to argue that there is a close connection between the theory of
@@ -27,7 +27,7 @@ numbered="true"
 show-heading="true"
 show-metadata="false"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>300</fr:anchor><fr:taxon>Notes</fr:taxon><fr:addr>#288</fr:addr><fr:route>unstable-288.xml</fr:route><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:parent>blass-1988</fr:parent></fr:frontmatter><fr:mainmatter><fr:p>
+root="false"><fr:frontmatter><fr:anchor>460</fr:anchor><fr:taxon>Notes</fr:taxon><fr:addr>#292</fr:addr><fr:route>unstable-292.xml</fr:route><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:parent>blass-1988</fr:parent></fr:frontmatter><fr:mainmatter><fr:p>
         Prof. Blass essentially described this background over the course of
         the logic seminar last semester (as comments at various meetings,
         culminating with a full talk), but this is a nice written account of
@@ -43,7 +43,7 @@ numbered="false"
 show-heading="true"
 show-metadata="true"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>672</fr:anchor><fr:addr>hejohns-000F</fr:addr><fr:route>hejohns-000F.xml</fr:route><fr:title>"Higher-order intuitionistic logic" v. "topos logic"</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>3</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>733</fr:anchor><fr:addr>hejohns-000F</fr:addr><fr:route>hejohns-000F.xml</fr:route><fr:title>"Higher-order intuitionistic logic" v. "topos logic"</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>3</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors></fr:frontmatter><fr:mainmatter><fr:p>
@@ -85,7 +85,7 @@ numbered="false"
 show-heading="true"
 show-metadata="true"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>674</fr:anchor><fr:addr>hejohns-000H</fr:addr><fr:route>hejohns-000H.xml</fr:route><fr:title>Why is it called an "elementary" topos?</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>3</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>735</fr:anchor><fr:addr>hejohns-000H</fr:addr><fr:route>hejohns-000H.xml</fr:route><fr:title>Why is it called an "elementary" topos?</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>1</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>3</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors></fr:frontmatter><fr:mainmatter><fr:p><fr:link