Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Ind
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 

16 The CAP category of graded module presentations for CAP by use of Freyd categories
 16.1 CAP categories
 16.2 The GAP categories for graded module presentations for CAP
 16.3 The GAP categories for graded module presentation morphisms for CAP

16 The CAP category of graded module presentations for CAP by use of Freyd categories

16.1 CAP categories

16.1-1 FpGradedLeftModules
‣ FpGradedLeftModules( S )( attribute )

Returns: a CapCategory

Given a graded ring S, one can consider the category of f.p. graded left S-modules, which is captured by this attribute.

16.1-2 FpGradedRightModules
‣ FpGradedRightModules( S )( attribute )

Returns: a CapCategory

Given a graded ring S, one can consider the category of f.p. graded right S-modules, which is captured by this attribute.

16.2 The GAP categories for graded module presentations for CAP

16.2-1 IsFpGradedLeftOrRightModulesObject
‣ IsFpGradedLeftOrRightModulesObject( object )( filter )

Returns: true or false

The GAP category of graded left and right module presentations.

16.2-2 IsFpGradedLeftModulesObject
‣ IsFpGradedLeftModulesObject( object )( filter )

Returns: true or false

The GAP category of objects in the presentation category over the category of projective graded left modules.

16.2-3 IsFpGradedRightModulesObject
‣ IsFpGradedRightModulesObject( object )( filter )

Returns: true or false

The GAP category of objects in the presentation category over the category of projective graded right modules.

16.3 The GAP categories for graded module presentation morphisms for CAP

16.3-1 IsFpGradedLeftOrRightModulesMorphism
‣ IsFpGradedLeftOrRightModulesMorphism( object )( filter )

Returns: true or false

The GAP category of left or right module presentation morphisms

16.3-2 IsFpGradedLeftModulesMorphism
‣ IsFpGradedLeftModulesMorphism( object )( filter )

Returns: true or false

The GAP category of morphisms in the presentation category over the category of projective graded left modules.

16.3-3 IsFpGradedRightModulesMorphism
‣ IsFpGradedRightModulesMorphism( object )( filter )

Returns: true or false

The GAP category of morphisms in the presentation category over the category of projective graded right modules.

 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Ind

generated by GAPDoc2HTML