fix: bold equivalence on objects

the1lab · Jul 25, 2023 · e70e6aa · e70e6aa
1 parent 7aabe3f
commit e70e6aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Cat/Functor/Base.lagda.md b/src/Cat/Functor/Base.lagda.md
@@ -349,7 +349,7 @@ essentially injective.
 
 ## Equivalence on Objects Functors
 
-A functor $F : \cC \to \cD$ is an equivalence on objects if its action
+A functor $F : \cC \to \cD$ is an **equivalence on objects** if its action
 on objects is an equivalence.
 
 ```agda