Goto Chapter: Top 1 2 3 4 5 6 7 8 9 Ind
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 

1 Categories of finitely presented modules
 1.1 Constructors

  1.1-1 TurnAutoequivalenceIntoIdentityFunctorForHomalg
  1.1-2 CategoryOfHomalgFinitelyPresentedLeftModules
  1.1-3 CategoryOfHomalgFinitelyPresentedRightModules
 1.2 Supported CAP operations

  1.2-1 Category of finitely presented modules
 1.3 Operations and global functions

  1.3-1 ImageEmbeddingForFpLeftModulesByFreyd
  1.3-2 ImageEmbeddingForFpRightModulesByFreyd
  1.3-3 ImageEmbeddingForFpLeftModulesByPresentations
  1.3-4 ImageEmbeddingForFpRightModulesByPresentations
 1.4 GAP categories

  1.4-1 IsCategoryOfHomalgModules

1 Categories of finitely presented modules

1.1 Constructors

1.1-1 TurnAutoequivalenceIntoIdentityFunctorForHomalg
‣ TurnAutoequivalenceIntoIdentityFunctorForHomalg( natiso )( operation )

Returns: a CAP functor

Turn a natural isomorphism from the identity functor to and endo-equivalence on the underlying CAP category into an identity rewriting functor on the homalg category.

1.1-2 CategoryOfHomalgFinitelyPresentedLeftModules
‣ CategoryOfHomalgFinitelyPresentedLeftModules( R )( attribute )

Returns: an intrinsic cateogry of left modules

Construct the category of finitely presented left homalg modules over the computable homalg ring R.

1.1-3 CategoryOfHomalgFinitelyPresentedRightModules
‣ CategoryOfHomalgFinitelyPresentedRightModules( R )( attribute )

Returns: an intrinsic cateogry of right modules

Construct the category of finitely presented right homalg modules over the computable homalg ring R.

1.2 Supported CAP operations

1.2-1 Category of finitely presented modules

The following CAP operations are supported:

1.3 Operations and global functions

1.3-1 ImageEmbeddingForFpLeftModulesByFreyd
‣ ImageEmbeddingForFpLeftModulesByFreyd( morphism )( function )

Returns: a left homalg module map

The image-embedding method used for homalg left modules.

1.3-2 ImageEmbeddingForFpRightModulesByFreyd
‣ ImageEmbeddingForFpRightModulesByFreyd( morphism )( function )

Returns: a right homalg module map

The image-embedding method used for homalg right modules.

1.3-3 ImageEmbeddingForFpLeftModulesByPresentations
‣ ImageEmbeddingForFpLeftModulesByPresentations( morphism )( function )

Returns: a left homalg module map

The image-embedding method used for homalg left modules.

1.3-4 ImageEmbeddingForFpRightModulesByPresentations
‣ ImageEmbeddingForFpRightModulesByPresentations( morphism )( function )

Returns: a right homalg module map

The image-embedding method used for homalg right modules.

1.4 GAP categories

1.4-1 IsCategoryOfHomalgModules
‣ IsCategoryOfHomalgModules( arg )( filter )

Returns: true or false

 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 Ind

generated by GAPDoc2HTML