diff --git a/examples/ConcreteCategoryWithEndomorphismGroups.g b/examples/ConcreteCategoryWithEndomorphismGroups.g index d0973ea..ca37c28 100644 --- a/examples/ConcreteCategoryWithEndomorphismGroups.g +++ b/examples/ConcreteCategoryWithEndomorphismGroups.g @@ -116,9 +116,9 @@ Display( zero ); #! (an empty 0 x 0 matrix) #! #! A zero, identity morphism in Category of matrices over GF(3) -unit := TensorUnit( CatReps ); +const := TensorUnit( CatReps ); #! <(1)->1, (2)->1; (a)->1x1, (b)->1x1, (c)->1x1> -Display( unit ); +Display( const ); #! 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) defined by the following data: