Functors _between_ large...

fredrik-bakke · Sep 21, 2023 · 2ac83c1 · 2ac83c1
1 parent 5577dbb
commit 2ac83c1
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/src/category-theory/functors-categories.lagda.md b/src/category-theory/functors-categories.lagda.md
@@ -1,4 +1,4 @@
-# functors between categories
+# Functors between categories
 
 ```agda
 module category-theory.functors-categories where

diff --git a/src/category-theory/functors-large-precategories.lagda.md b/src/category-theory/functors-large-precategories.lagda.md
@@ -1,4 +1,4 @@
-# Functors on large precategories
+# Functors between large precategories
 
 ```agda
 module category-theory.functors-large-precategories where

diff --git a/src/category-theory/functors-precategories.lagda.md b/src/category-theory/functors-precategories.lagda.md
@@ -1,4 +1,4 @@
-# functors between precategories
+# Functors between precategories
 
 ```agda
 module category-theory.functors-precategories where

diff --git a/src/category-theory/natural-isomorphisms-large-precategories.lagda.md b/src/category-theory/natural-isomorphisms-large-precategories.lagda.md
@@ -1,4 +1,4 @@
-# Natural isomorphisms between functors on large precategories
+# Natural isomorphisms between functors between large precategories
 
 ```agda
 module category-theory.natural-isomorphisms-large-precategories where

diff --git a/src/category-theory/natural-transformations-large-precategories.lagda.md b/src/category-theory/natural-transformations-large-precategories.lagda.md
@@ -1,4 +1,4 @@
-# Natural transformations between functors on large precategories
+# Natural transformations between functors between large precategories
 
 ```agda
 module category-theory.natural-transformations-large-precategories where