From 274d2f6465c7c757f492b0572158e031f29b15b0 Mon Sep 17 00:00:00 2001
From: Mohamed Barakat <mohamed.barakat@rwth-aachen.de>
Date: Tue, 31 Mar 2020 15:26:18 +0200
Subject: [PATCH] pass the doctrine IsSymmetricMonoidalCategory

needs FunctorCategories v2020.02.18
---
 PackageInfo.g                                     | 4 ++--
 examples/ConcreteCategoryWithEndomorphismGroups.g | 3 +++
 gap/CatRepsWithCAP.gi                             | 4 +++-
 3 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index 68516b9..8530260 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
 Version := Maximum( [
-                   "2020.02.17", ## Mohamed's version
+                   "2020.02.18", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.01.01", ## Tibor's version
                    ## this line prevents merge conflicts
@@ -109,7 +109,7 @@ Dependencies := rec(
                    [ "FinSetsForCAP", ">= 2019.12.19" ],
                    [ "SubcategoriesForCAP", ">= 2020.02.02" ],
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
-                   [ "FunctorCategories", ">= 2020.02.15" ],
+                   [ "FunctorCategories", ">= 2020.02.18" ],
                    ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],
diff --git a/examples/ConcreteCategoryWithEndomorphismGroups.g b/examples/ConcreteCategoryWithEndomorphismGroups.g
index 3720c8f..eeb5e7c 100644
--- a/examples/ConcreteCategoryWithEndomorphismGroups.g
+++ b/examples/ConcreteCategoryWithEndomorphismGroups.g
@@ -351,6 +351,9 @@ Display( six );
 #!  . . 1
 #! 
 #! A morphism in Category of matrices over GF(3)
+eta2 := TensorProductOnMorphisms( eta, eta );
+#! <A morphism in The category of functors: Bialgebroid generated by the
+#! right quiver q(2)[a:1->1,b:1->2,c:2->2] -> Category of matrices over GF(3)>
 thirtyfive := CokernelObject( eta );
 #! <An object in The category of functors: Bialgebroid generated by the
 #! right quiver q(2)[a:1->1,b:1->2,c:2->2] -> Category of matrices over GF(3)>
diff --git a/gap/CatRepsWithCAP.gi b/gap/CatRepsWithCAP.gi
index c3b9e07..cd26f27 100644
--- a/gap/CatRepsWithCAP.gi
+++ b/gap/CatRepsWithCAP.gi
@@ -78,7 +78,9 @@ InstallMethod( CategoryOfRepresentations,
   function( kq, A )
     local CatReps;
     
-    CatReps := Hom( kq, A : FinalizeCategory := false );
+    CatReps := Hom( kq, A :
+                    doctrines := [ [ "IsSymmetricMonoidalCategory", true ] ],
+                    FinalizeCategory := false );
     
     AddTensorUnit( CatReps,
       function( )