diff --git a/PackageInfo.g b/PackageInfo.g index 749d195..54271d3 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,15 +10,7 @@ SetPackageInfo( rec( PackageName := "CatReps", Subtitle := "Representations and cohomology of finite categories", -Version := Maximum( [ - "2021.06-01", ## Mohamed's version - ## this line prevents merge conflicts - "2020.10-02", ## Tibor's version - ## this line prevents merge conflicts - "2020.01-01", ## Peter's version - ## this line prevents merge conflicts - "2021.07-02", ## Fabian's version - ] ), +Version := "2021.08-01", Date := ~.Version{[ 1 .. 10 ]}, Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ), @@ -115,8 +107,8 @@ Dependencies := rec( [ "SubcategoriesForCAP", ">= 2020.06-01" ], [ "MatricesForHomalg", ">= 2020.02.02" ], [ "Toposes", ">= 2020.04.27" ], - [ "Algebroids", ">= 2020.11-01" ], - [ "FunctorCategories", ">= 2020.11-01" ], + [ "Algebroids", ">= 2021.08-02" ], + [ "FunctorCategories", ">= 2021.08-01" ], ], SuggestedOtherPackages := [ ], ExternalConditions := [ ], diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g index 29ea489..a5b1daa 100644 --- a/examples/CategoryOfRepresentations.g +++ b/examples/CategoryOfRepresentations.g @@ -507,7 +507,7 @@ Display( s1 ); #! (an empty 0 x 0 matrix) #! #! A zero, isomorphism in Category of matrices over GF(3) -Aop := OppositeAlgebroidOverOppositeQuiverAlgebra( A ); +Aop := OppositeAlgebroid( A ); #! Algebroid generated by the right quiver q_op(2)[a:1->1,b:2->1,c:2->2] Yop := YonedaEmbedding( Aop ); #! Yoneda embedding functor diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb index 7e73ce6..edbe4d7 100644 --- a/examples/julia/notebooks/CategoryOfRepresentations.ipynb +++ b/examples/julia/notebooks/CategoryOfRepresentations.ipynb @@ -1942,7 +1942,7 @@ } ], "source": [ - "Aop = OppositeAlgebroidOverOppositeQuiverAlgebra( A )" + "Aop = OppositeAlgebroid( A )" ] }, {