‣ NaturalIsomorphismFromIdentityToStandardPresentationOfFpLeftModule( A ) | ( attribute ) |
Returns: a natural transformation \(\mathrm{Id} \rightarrow \mathrm{StandardPresentationOfFpLeftModule}\)
The argument is an additve closure category \(A\) of a ring. The output is the natural isomorphism from the identity functor to the left standard module functor.
‣ NaturalIsomorphismFromIdentityToStandardPresentationOfFpRightModule( A ) | ( attribute ) |
Returns: a natural transformation \(\mathrm{Id} \rightarrow \mathrm{StandardPresentationOfFpRightModule}\)
The argument is an additve closure category \(A\) of a ring. The output is the natural isomorphism from the identity functor to the right standard module functor.
‣ NaturalIsomorphismFromIdentityToGetRidOfZeroGeneratorsOfFpLeftModule( A ) | ( attribute ) |
Returns: a natural transformation \(\mathrm{Id} \rightarrow \mathrm{GetRidOfZeroGeneratorsOfFpLeftModule}\)
The argument is an additve closure category \(A\) of a ring. The output is the natural isomorphism from the identity functor to the functor that gets rid of zero generators of left modules.
‣ NaturalIsomorphismFromIdentityToGetRidOfZeroGeneratorsOfFpRightModule( A ) | ( attribute ) |
Returns: a natural transformation \(\mathrm{Id} \rightarrow \mathrm{GetRidOfZeroGeneratorsOfFpRightModule}\)
The argument is an additve closure category \(A\) of a ring. The output is the natural isomorphism from the identity functor to the functor that gets rid of zero generators of right modules.
‣ NaturalIsomorphismFromIdentityToLessGeneratorsOfFpLeftModule( A ) | ( attribute ) |
Returns: a natural transformation \(\mathrm{Id} \rightarrow \mathrm{LessGeneratorsOfFpLeftModule}\)
The argument is an additve closure category \(A\) of a ring. The output is the natural morphism from the identity functor to the left less generators functor.
‣ NaturalIsomorphismFromIdentityToLessGeneratorsOfFpRightModule( A ) | ( attribute ) |
Returns: a natural transformation \(\mathrm{Id} \rightarrow \mathrm{LessGeneratorsOfFpRightModule}\)
The argument is an additve closure category \(A\) of a ring. The output is the natural morphism from the identity functor to the right less generator functor.
generated by GAPDoc2HTML