comply with FunctorCategories v2021.11-06

As/Is*HomCategory -> As/Is*FunctorCategory

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
-Version := "2021.11-02",
+Version := "2021.11-03",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
@@ -109,7 +109,7 @@ Dependencies := rec(
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
                    [ "Toposes", ">= 2021.11-18" ],
                    [ "Algebroids", ">= 2021.08-02" ],
-                   [ "FunctorCategories", ">= 2021.08-01" ],
+                   [ "FunctorCategories", ">= 2021.11-06" ],
                    ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],

examples/AssociatorUnitor.g

@@ -25,7 +25,7 @@ e := VectorSpaceMorphism( V1, e, V2 );;
 f := One(GF3) * [[1,1,0,0],[0,1,1,0],[0,0,1,0],[0,0,0,1]];;
 f := HomalgMatrix( f, 4, 4, GF3 );;
 f := VectorSpaceMorphism( V2, f, V2 );;
-nine := AsObjectInHomCategory( kq, [ V1, V2 ], [ d, e, f ] );;
+nine := AsObjectInFunctorCategory( kq, [ V1, V2 ], [ d, e, f ] );;
 fortyone := TensorProductOnObjects( nine, nine );;
 etas := WeakDirectSumDecomposition( fortyone );;
 eta := etas[9];;

examples/CategoryOfRepresentations.g

@@ -101,7 +101,7 @@ Display( unit );
 d := [[1,1,0,0,0],[0,1,1,0,0],[0,0,1,0,0],[0,0,0,1,1],[0,0,0,0,1]];;
 e := [[0,1,0,0],[0,0,1,0],[0,0,0,0],[0,1,0,1],[0,0,1,0]];;
 f := [[1,1,0,0],[0,1,1,0],[0,0,1,0],[0,0,0,1]];;
-nine := AsObjectInHomCategory( A, [ 5, 4 ], [ d, e, f ] );
+nine := AsObjectInFunctorCategory( A, [ 5, 4 ], [ d, e, f ] );
 #! <(1)->5, (2)->4; (a)->5x5, (b)->5x4, (c)->4x4>
 Display( nine );
 #! An object in The category of functors: Algebroid generated by the

examples/DecomposeOnceByRandomEndomorphism.g

@@ -19,7 +19,7 @@ CatReps := Hom( A, GF3 );
 d := [[1,1,0,0,0],[0,1,1,0,0],[0,0,1,0,0],[0,0,0,1,1],[0,0,0,0,1]];;
 e := [[0,1,0,0],[0,0,1,0],[0,0,0,0],[0,1,0,1],[0,0,1,0]];;
 f := [[1,1,0,0],[0,1,1,0],[0,0,1,0],[0,0,0,1]];;
-nine := AsObjectInHomCategory( A, [ 5, 4 ], [ d, e, f ] );
+nine := AsObjectInFunctorCategory( A, [ 5, 4 ], [ d, e, f ] );
 #! <(1)->5, (2)->4; (a)->5x5, (b)->5x4, (c)->4x4>
 DecomposeOnceByRandomEndomorphism( nine );
 #! fail

examples/RepresentingC4C4.g

@@ -115,7 +115,7 @@ amat * bmat = bmat * cmat;
 #! well-defined representation of C4C4.
 
 #! @Example
-eleven := AsObjectInHomCategory( A, [ 6, 5 ], [ amat, bmat, cmat ] );
+eleven := AsObjectInFunctorCategory( A, [ 6, 5 ], [ amat, bmat, cmat ] );
 #! <(1)->6, (2)->5; (a)->6x6, (b)->6x5, (c)->5x5>
 IsWellDefined( eleven );
 #! true

examples/julia/notebooks/CategoryOfRepresentations.ipynb

@@ -719,7 +719,7 @@
     "d = [[1,1,0,0,0],[0,1,1,0,0],[0,0,1,0,0],[0,0,0,1,1],[0,0,0,0,1]];;\n",
     "e = [[0,1,0,0],[0,0,1,0],[0,0,0,0],[0,1,0,1],[0,0,1,0]];;\n",
     "f = [[1,1,0,0],[0,1,1,0],[0,0,1,0],[0,0,0,1]];;\n",
-    "nine = AsObjectInHomCategory( A, [ 5, 4 ], [ d, e, f ] )"
+    "nine = AsObjectInFunctorCategory( A, [ 5, 4 ], [ d, e, f ] )"
    ]
   },
   {

gap/CatRepsWithCAP.gd

@@ -127,7 +127,7 @@ DeclareOperation( "RelationsOfEndomorphisms",
 #! @Arguments eta, F
 #! @Returns an morphism in a Hom-category
 DeclareOperation( "EmbeddingOfSubRepresentation",
-        [ IsList, IsCapCategoryObjectInHomCategory ] );
+        [ IsList, IsObjectInFunctorCategory ] );
 
 ####################################
 #

gap/CatRepsWithCAP.gi

@@ -267,7 +267,7 @@ InstallMethod( \[\],
 ## Source( EmbeddingOfSubRepresentation ) = SubmoduleRep in catreps
 InstallMethod( EmbeddingOfSubRepresentation,
         "for a list and an object in a Hom-category",
-        [ IsList, IsCapCategoryObjectInHomCategory ],
+        [ IsList, IsObjectInFunctorCategory ],
 
   function( eta, F )
     local kq, objects, morphisms, subrep, embedding;
@@ -286,9 +286,9 @@ InstallMethod( EmbeddingOfSubRepresentation,
                               PreCompose( eta[VertexIndex( UnderlyingVertex( Source( m ) ) )],
                                       F( m ) ) ) );
 
-    subrep := AsObjectInHomCategory( kq, objects, morphisms );
+    subrep := AsObjectInFunctorCategory( kq, objects, morphisms );
 
-    embedding := AsMorphismInHomCategory( subrep, eta, F );
+    embedding := AsMorphismInFunctorCategory( subrep, eta, F );
 
     SetIsMonomorphism( embedding, true );