X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FWeakFunctorCategory.v;h=b6adae67208b0d66f2bf444b5ab5fd7d8ebaf209;hp=5e52faa4b6e4c5456937aa6179248a0a2c6e20aa;hb=423b0bd3972c5bcbbd757cb715e13b5b9104a9a6;hpb=de9b7cba83ba98f30da7999cfe5ff0e4c1058e42 diff --git a/src/WeakFunctorCategory.v b/src/WeakFunctorCategory.v index 5e52faa..b6adae6 100644 --- a/src/WeakFunctorCategory.v +++ b/src/WeakFunctorCategory.v @@ -21,8 +21,6 @@ Require Import NaturalTransformations_ch7_4. Require Import NaturalIsomorphisms_ch7_5. Require Import MonoidalCategories_ch7_8. Require Import Coherence_ch7_8. -(*Require Import Enrichment_ch2_8.*) -(*Require Import RepresentableStructure_ch7_2.*) Section WeakFunctorCategory.