Skip to content

Commit

Permalink
renamed variable unit -> const
Browse files Browse the repository at this point in the history
  • Loading branch information
mohamed-barakat committed Apr 7, 2020
1 parent 6c70ff7 commit d609aa1
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions examples/ConcreteCategoryWithEndomorphismGroups.g
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit d609aa1

Please sign in to comment.