pi/sigma

groupoid · Oct 2, 2023 · 4612960 · 4612960
1 parent 414f6f7
commit 4612960
Show file tree

Hide file tree

Showing 19 changed files with 683 additions and 683 deletions.
diff --git a/foundations/mltt/pi/index.html b/foundations/mltt/pi/index.html
diff --git a/foundations/mltt/pi/index.pug b/foundations/mltt/pi/index.pug
@@ -20,7 +20,7 @@ block content
                 h1 SPACES OF FUNCTIONS
                 span.
         aside
-            time Published: 28 JAN 2017
+            time Published: 16 OCT 2017
         .exe
             section
                 +tex.
@@ -30,7 +30,7 @@ block content
 
                     Spaces of dependent functions could serve as models for various mathematical constructions,
                     objects, types, or spaces: dependent functions, sets, polynomial functors, $\infty$-groupoids,
-                    CW-complexes, categories, languages, processes, protocols, etc.
+                    $CW$-complexes, categories, languages, processes, protocols, etc.
 
                 h2 Formation
 

diff --git a/foundations/mltt/sigma/index.html b/foundations/mltt/sigma/index.html
diff --git a/foundations/modal/derham/index.html b/foundations/modal/derham/index.html
diff --git a/foundations/modal/infinitesimal/index.html b/foundations/modal/infinitesimal/index.html
diff --git a/foundations/univalent/iso/index.html b/foundations/univalent/iso/index.html
diff --git a/foundations/univalent/path/index.html b/foundations/univalent/path/index.html
diff --git a/index.html b/index.html
diff --git a/mathematics/algebra/algebra/index.html b/mathematics/algebra/algebra/index.html
diff --git a/mathematics/algebra/homology/index.html b/mathematics/algebra/homology/index.html
diff --git a/mathematics/categories/category/index.html b/mathematics/categories/category/index.html
diff --git a/mathematics/geometry/bundle/index.html b/mathematics/geometry/bundle/index.html
diff --git a/mathematics/homotopy/cw/index.html b/mathematics/homotopy/cw/index.html
diff --git a/mathematics/homotopy/hopf/index.html b/mathematics/homotopy/hopf/index.html
diff --git a/mathematics/homotopy/pullback/index.html b/mathematics/homotopy/pullback/index.html
diff --git a/mathematics/homotopy/pushout/index.html b/mathematics/homotopy/pushout/index.html
diff --git a/mathematics/topoi/presheaf/index.html b/mathematics/topoi/presheaf/index.html
diff --git a/mathematics/topoi/topos/index.html b/mathematics/topoi/topos/index.html
diff --git a/spec/index.html b/spec/index.html