From fab42ae9f3c09f63d242b62a5b058be081c8b02c Mon Sep 17 00:00:00 2001
From: Andreas Nuyts <andreas.nuyts@kuleuven.be>
Date: Mon, 21 Oct 2024 17:09:02 +0200
Subject: [PATCH] Tweak.

---
 Cubical/Categories/Category.agda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cubical/Categories/Category.agda b/Cubical/Categories/Category.agda
index b4d65b59f..4e5ed8a7e 100644
--- a/Cubical/Categories/Category.agda
+++ b/Cubical/Categories/Category.agda
@@ -1,7 +1,7 @@
 {-
   Definition of various kinds of categories.
 
-  This library partially the UniMath terminology:
+  This library partially follows the UniMath terminology:
 
   Concept              Ob C   Hom C  Univalence