Require Import MonoidalCategories_ch7_8.
Require Import Exponentials_ch6.
-Require Import CategoryOfCategories_ch7_1.
+(*Require Import CategoryOfCategories_ch7_1.*)
Require Import Yoneda_ch8.
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.*)