Deployed af87028 to master with MkDocs 1.6.1 and mike 2.1.3

emilyriehl · Oct 5, 2024 · 0accbfb · 0accbfb
1 parent 28c46b3
commit 0accbfb
Show file tree

Hide file tree

Showing 38 changed files with 553 additions and 590 deletions.
diff --git a/master/404.html b/master/404.html
diff --git a/master/STYLEGUIDE/index.html b/master/STYLEGUIDE/index.html
diff --git a/master/assets/javascripts/bundle.525ec568.min.js b/master/assets/javascripts/bundle.525ec568.min.js
diff --git a/master/assets/javascripts/bundle.525ec568.min.js.map b/master/assets/javascripts/bundle.525ec568.min.js.map
diff --git a/master/assets/javascripts/bundle.fe8b6f2b.min.js b/master/assets/javascripts/bundle.fe8b6f2b.min.js
diff --git a/master/assets/javascripts/bundle.fe8b6f2b.min.js.map b/master/assets/javascripts/bundle.fe8b6f2b.min.js.map
diff --git a/...avascripts/workers/search.b8dbb3d2.min.js → ...avascripts/workers/search.6ce7567c.min.js b/...avascripts/workers/search.b8dbb3d2.min.js → ...avascripts/workers/search.6ce7567c.min.js
diff --git a/...cripts/workers/search.b8dbb3d2.min.js.map → ...cripts/workers/search.6ce7567c.min.js.map b/...cripts/workers/search.b8dbb3d2.min.js.map → ...cripts/workers/search.6ce7567c.min.js.map
diff --git a/master/assets/stylesheets/main.76a95c52.min.css b/master/assets/stylesheets/main.76a95c52.min.css
diff --git a/master/assets/stylesheets/main.76a95c52.min.css.map b/master/assets/stylesheets/main.76a95c52.min.css.map
diff --git a/master/assets/stylesheets/main.8c3ca2c6.min.css b/master/assets/stylesheets/main.8c3ca2c6.min.css
diff --git a/master/assets/stylesheets/main.8c3ca2c6.min.css.map b/master/assets/stylesheets/main.8c3ca2c6.min.css.map
diff --git a/master/hott/00-common.rzk/index.html b/master/hott/00-common.rzk/index.html
diff --git a/master/hott/01-paths.rzk/index.html b/master/hott/01-paths.rzk/index.html
diff --git a/master/hott/02-homotopies.rzk/index.html b/master/hott/02-homotopies.rzk/index.html
diff --git a/master/hott/03-equivalences.rzk/index.html b/master/hott/03-equivalences.rzk/index.html
diff --git a/master/hott/04-half-adjoint-equivalences.rzk/index.html b/master/hott/04-half-adjoint-equivalences.rzk/index.html
diff --git a/master/hott/05-sigma.rzk/index.html b/master/hott/05-sigma.rzk/index.html
diff --git a/master/hott/06-contractible.rzk/index.html b/master/hott/06-contractible.rzk/index.html
diff --git a/master/hott/07-fibers.rzk/index.html b/master/hott/07-fibers.rzk/index.html
diff --git a/master/hott/08-families-of-maps.rzk/index.html b/master/hott/08-families-of-maps.rzk/index.html
diff --git a/master/hott/09-propositions.rzk/index.html b/master/hott/09-propositions.rzk/index.html
diff --git a/master/hott/10-trivial-fibrations.rzk/index.html b/master/hott/10-trivial-fibrations.rzk/index.html
diff --git a/master/index.html b/master/index.html
diff --git a/master/other/index.html b/master/other/index.html
diff --git a/master/search/search_index.json b/master/search/search_index.json
diff --git a/master/simplicial-hott/03-simplicial-type-theory.rzk/index.html b/master/simplicial-hott/03-simplicial-type-theory.rzk/index.html
diff --git a/master/simplicial-hott/04-extension-types.rzk/index.html b/master/simplicial-hott/04-extension-types.rzk/index.html
diff --git a/master/simplicial-hott/05-segal-types.rzk/index.html b/master/simplicial-hott/05-segal-types.rzk/index.html
diff --git a/master/simplicial-hott/06-2cat-of-segal-types.rzk/index.html b/master/simplicial-hott/06-2cat-of-segal-types.rzk/index.html
diff --git a/master/simplicial-hott/07-discrete.rzk/index.html b/master/simplicial-hott/07-discrete.rzk/index.html
diff --git a/master/simplicial-hott/08-covariant.rzk/index.html b/master/simplicial-hott/08-covariant.rzk/index.html
diff --git a/master/simplicial-hott/09-yoneda.rzk/index.html b/master/simplicial-hott/09-yoneda.rzk/index.html
diff --git a/master/simplicial-hott/10-rezk-types.rzk/index.html b/master/simplicial-hott/10-rezk-types.rzk/index.html
diff --git a/master/simplicial-hott/12-cocartesian.rzk/index.html b/master/simplicial-hott/12-cocartesian.rzk/index.html
diff --git a/master/simplicial-hott/13-yoneda-geodesic.rzk/index.html b/master/simplicial-hott/13-yoneda-geodesic.rzk/index.html
diff --git a/master/sitemap.xml b/master/sitemap.xml
@@ -2,122 +2,98 @@
 <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/STYLEGUIDE/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/other/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/hott/00-common.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/hott/01-paths.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/hott/02-homotopies.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/hott/03-equivalences.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/hott/04-half-adjoint-equivalences.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/hott/05-sigma.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/hott/06-contractible.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/hott/07-fibers.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/hott/08-families-of-maps.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/hott/09-propositions.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/hott/10-trivial-fibrations.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/simplicial-hott/03-simplicial-type-theory.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/simplicial-hott/04-extension-types.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/simplicial-hott/05-segal-types.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/simplicial-hott/06-2cat-of-segal-types.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/simplicial-hott/07-discrete.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/simplicial-hott/08-covariant.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/simplicial-hott/09-yoneda.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/simplicial-hott/10-rezk-types.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/simplicial-hott/12-cocartesian.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
     <url>
          <loc>https://emilyriehl.github.io/yoneda/master/simplicial-hott/13-yoneda-geodesic.rzk/</loc>
-         <lastmod>2024-07-17</lastmod>
-         <changefreq>daily</changefreq>
+         <lastmod>2024-10-05</lastmod>
     </url>
 </urlset>
diff --git a/master/sitemap.xml.gz b/master/sitemap.xml.gz