Merge pull request #369 from epost/patch-1

Fix typos in comments
agda · Mar 23, 2023 · 20397e9 · 20397e9
2 parents 452ec48 + ef4b9fa
commit 20397e9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Categories/Category.agda b/src/Categories/Category.agda
@@ -10,10 +10,10 @@ private
   variable
     o ℓ e : Level
 
--- Convenience functions for working over mupliple categories at once:
+-- Convenience functions for working over multiple categories at once:
 -- C [ x , y ] (for x y objects of C) - Hom_C(x , y)
 -- C [ f ≈ g ] (for f g arrows of C)  - that f and g are equivalent arrows
--- C [ f ∘ g ] (for f g composables arrows of C) - composition in C
+-- C [ f ∘ g ] (for f g composable arrows of C) - composition in C
 infix 10  _[_,_] _[_≈_] _[_∘_]
 
 _[_,_] : (C : Category o ℓ e) → (X : Category.Obj C) → (Y : Category.Obj C) → Set ℓ