chore: whoops

the1lab · Aug 10, 2023 · 17003a7 · 17003a7
1 parent 87a0259
commit 17003a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/index.lagda.md b/src/index.lagda.md
@@ -423,7 +423,7 @@ open import Cat.Functor.Adjoint.Monadic -- Monadic adjunctions
 open import Cat.Functor.Adjoint.Compose -- Adjunctions compose
 open import Cat.Functor.Adjoint.Continuous -- Right adjoints preserve limits
 open import Cat.Functor.Adjoint.Reflective -- Reflective subcategories
-open import Cat.Functor.Adjoint.Mates -- Mates of adjoints
+open import Cat.Functor.Adjoint.Mate -- Mates of adjoints
 ```
 
 Monadicity theorems: