From d609aa1599016a0a8b3ba5956eef50f58dc63099 Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Tue, 7 Apr 2020 15:43:27 +0200 Subject: [PATCH] renamed variable unit -> const --- examples/ConcreteCategoryWithEndomorphismGroups.g | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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: