comply with homalg-project/FunctorCategories#216

comply with FunctorCategories v2022.10-24
homalg-project · Oct 22, 2022 · 6c37eb0 · 6c37eb0
1 parent f3ea5a1
commit 6c37eb0
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
-Version := "2022.10-02",
+Version := "2022.10-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", ">= 2022.05-07" ],
                    [ "Algebroids", ">= 2022.05-05" ],
-                   [ "FunctorCategories", ">= 2022.10-03" ],
+                   [ "FunctorCategories", ">= 2022.10-24" ],
                    ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],

diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
@@ -492,7 +492,7 @@ Display( s1 );
 Aop := OppositeAlgebroid( A );
 #! Algebroid( GF(3), FreeCategory(
 #! RightQuiver( "q_op(2)[a:1->1,b:2->1,c:2->2]" ) ) ) / relations
-Yop := YonedaEmbedding( Aop );
+Yop := YonedaEmbeddingInFunctorCategory( Aop );
 #! Yoneda embedding functor
 Display( Yop );
 #! Yoneda embedding functor:

diff --git a/examples/notebooks/CategoryOfRepresentations.ipynb b/examples/notebooks/CategoryOfRepresentations.ipynb
@@ -2023,7 +2023,7 @@
     }
    ],
    "source": [
-    "Yop = YonedaEmbedding( Aop )"
+    "Yop = YonedaEmbeddingInFunctorCategory( Aop )"
    ]
   },
   {
-Original file line number
+Diff line change
@@ Expand Up / @@ -2023,7 +2023,7 @@ @@
         }
        ],
        "source": [
-        "Yop = YonedaEmbedding( Aop )"
+        "Yop = YonedaEmbeddingInFunctorCategory( Aop )"
        ]
       },
       {
@@ Expand Down @@