Fixing a link (#1135)

Just fixing a link :)
UniMath · Apr 30, 2024 · 09efc0f · 09efc0f
1 parent 2f51298
commit 09efc0f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/category-theory/precategories.lagda.md b/src/category-theory/precategories.lagda.md
@@ -319,8 +319,8 @@ module _
 ## See also
 
 - [Categories](category-theory.categories.md) are univalent precategories.
-- [Functors between precategories](category-theory.categories.md) are
-  [structure](foundation.structure.md)-preserving maps of precategories.
+- [Functors between precategories](category-theory.functors-precategories.md)
+  are [structure](foundation.structure.md)-preserving maps of precategories.
 - [Large precategories](category-theory.large-precategories.md) are
   precategories whose collections of objects and morphisms form large types.