rename RepresentableFunctor to HomFunctor

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

diff --git a/src/Main.v b/src/Main.v
index 5ef4f55..962ed6d 100644 (file)
--- a/src/Main.v
+++ b/src/Main.v
@@ -35,7 +35,7 @@ Require Import Adjoints_ch9.
 (*Require Import CoqCategory.*)
 (*Require Import NaturalDeduction.*)
 (*Require Import NaturalDeductionCategories.*)
-(*Require Import CartesianEnrichmentsHaveMonoidalRepresentableFunctors.*)
+(*Require Import CartesianEnrichmentsHaveMonoidalHomFunctors.*)
 (*Require Import Reification.*)
 (*Require Import GeneralizedArrow.*)
 (*Require Import ReificationFromGArrow.*)