CategoryOfHomalgFinitelyPresentedGradedLeftModules
, for IsHomalgGradedRing 1.1-3 CategoryOfHomalgFinitelyPresentedGradedRightModules
, for IsHomalgGradedRing 1.1-4 FunctorDoubleGradedDualLeft
, for IsHomalgGradedRing 1.2-9 FunctorDoubleGradedDualRight
, for IsHomalgGradedRing 1.2-10 FunctorGetRidOfZeroHomogeneousGeneratorsLeft
, for IsHomalgGradedRing 1.2-3 FunctorGetRidOfZeroHomogeneousGeneratorsRight
, for IsHomalgGradedRing 1.2-4 FunctorGradedDualLeft
, for IsHomalgGradedRing 1.2-7 FunctorGradedDualRight
, for IsHomalgGradedRing 1.2-8 FunctorLessHomogeneousGeneratorsLeft
, for IsHomalgGradedRing 1.2-5 FunctorLessHomogeneousGeneratorsRight
, for IsHomalgGradedRing 1.2-6 FunctorStandardGradedModuleLeft
, for IsHomalgGradedRing 1.2-1 FunctorStandardGradedModuleRight
, for IsHomalgGradedRing 1.2-2 IsCategoryOfHomalgGradedModules
, for IsCapCategory 1.6-1 LeftPresentationWithDegrees
, for IsHomalgMatrix 1.1-1 NaturalIsomorphismFromIdentityToGetRidOfZeroHomogeneousGeneratorsLeft
, for IsHomalgGradedRing 1.3-3 NaturalIsomorphismFromIdentityToGetRidOfZeroHomogeneousGeneratorsRight
, for IsHomalgGradedRing 1.3-4 NaturalIsomorphismFromIdentityToLessHomogeneousGeneratorsLeft
, for IsHomalgGradedRing 1.3-5 NaturalIsomorphismFromIdentityToLessHomogeneousGeneratorsRight
, for IsHomalgGradedRing 1.3-6 NaturalIsomorphismFromIdentityToStandardGradedModuleLeft
, for IsHomalgGradedRing 1.3-1 NaturalIsomorphismFromIdentityToStandardGradedModuleRight
, for IsHomalgGradedRing 1.3-2 NaturalTransformationFromIdentityToDoubleGradedDualLeft
, for IsHomalgGradedRing 1.3-7 NaturalTransformationFromIdentityToDoubleGradedDualRight
, for IsHomalgGradedRing 1.3-8 RightPresentationWithDegrees
, for IsHomalgMatrix 1.1-2
generated by GAPDoc2HTML