From 03637f885eaf71b30db16fbc0d877bfe83ce36ba Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Mon, 18 Apr 2022 21:17:15 +0200 Subject: [PATCH] got rid of UnderlyingCapTwoCategoryCell --- PackageInfo.g | 2 +- examples/CategoryOfRepresentations.g | 2 +- examples/julia/notebooks/CategoryOfRepresentations.ipynb | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index 10daa9c..ad148c3 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CatReps", Subtitle := "Representations and cohomology of finite categories", -Version := "2022.04-01", +Version := "2022.04-02", Date := ~.Version{[ 1 .. 10 ]}, Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ), diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g index 3e85a32..c2fe2ca 100644 --- a/examples/CategoryOfRepresentations.g +++ b/examples/CategoryOfRepresentations.g @@ -269,7 +269,7 @@ Display( fortyone ); #! A morphism in Category of matrices over GF(3) etas := WeakDirectSumDecomposition( fortyone : random := false );; dec := List( etas, eta -> List( SetOfObjects( A ), - o -> Dimension( Source( UnderlyingCapTwoCategoryCell( eta )( o ) ) ) ) ); + o -> Dimension( Source( eta( o ) ) ) ) ); #! [ [ 3, 0 ], [ 3, 0 ], [ 3, 0 ], [ 3, 0 ], [ 0, 3 ], #! [ 1, 3 ], [ 3, 3 ], [ 3, 3 ], [ 3, 3 ], [ 3, 1 ] ] iso := UniversalMorphismFromDirectSum( etas ); diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb index 9307b83..fc01ecb 100644 --- a/examples/julia/notebooks/CategoryOfRepresentations.ipynb +++ b/examples/julia/notebooks/CategoryOfRepresentations.ipynb @@ -1326,7 +1326,7 @@ ], "source": [ "dec = List( etas, eta -> List( SetOfObjects( A ),\n", - " o -> Dimension( Source( UnderlyingCapTwoCategoryCell( eta )( o ) ) ) ) )" + " o -> Dimension( Source( eta( o ) ) ) ) )" ] }, {