pass the doctrine IsSymmetricMonoidalCategory

needs FunctorCategories v2020.02.18

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 := [ ],

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)>

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( )