rename RepresentableFunctor to HomFunctor

[coq-categories.git] / src / Yoneda_ch8.v

diff --git a/src/Yoneda_ch8.v b/src/Yoneda_ch8.v
index 045c427..d7652da 100644 (file)
--- a/src/Yoneda_ch8.v
+++ b/src/Yoneda_ch8.v
@@ -3,5 +3,5 @@
 (*******************************************************************************)
 
   (*
-  Lemma YonedaLemma : forall (A B:ec), (CategoryOfNaturalTransformations (RepresentableFunctor A) (RepresentableFunctor B)) ≅ (B~~>A)
+  Lemma YonedaLemma : forall (A B:ec), (CategoryOfNaturalTransformations (HomFunctor A) (HomFunctor B)) ≅ (B~~>A)
   *)