Index

CategoryOfHomalgFinitelyPresentedLeftModules, for IsHomalgRing 1.1-2
CategoryOfHomalgFinitelyPresentedRightModules, for IsHomalgRing 1.1-3
FunctorGetRidOfZeroGeneratorsOfFpLeftModule, for IsCapCategory 6.1-3
FunctorGetRidOfZeroGeneratorsOfFpRightModule, for IsCapCategory 6.1-4
FunctorLessGeneratorsOfLeftFpModule, for IsCapCategory 6.1-5
FunctorLessGeneratorsOfRightFpModule, for IsCapCategory 6.1-6
FunctorStandardPresentationOfFpLeftModule, for IsCapCategory 6.1-1
FunctorStandardPresentationOfFpRightModule, for IsCapCategory 6.1-2
HomalgGeneratorsForModule, for IsLazyGeneralizedEmbeddingInAmbientObject, IsHomalgModule 3.1-1
HomalgMap, for IsHomalgMatrix, IsHomalgModule, IsHomalgModule 5.1-1
HomalgRelationsForModule, for IsCategoryOfColumnsObject 2.1-1
    for IsCategoryOfRowsObject 2.1-1
    for IsFreydCategoryObject 2.1-1
    for IsLeftOrRightPresentation 2.1-2
ImageEmbeddingForFpLeftModulesByFreyd 1.3-1
ImageEmbeddingForFpLeftModulesByPresentations 1.3-3
ImageEmbeddingForFpRightModulesByFreyd 1.3-2
ImageEmbeddingForFpRightModulesByPresentations 1.3-4
IsCategoryOfHomalgModules, for IsCapCategory 1.4-1
LeftPresentation, for IsHomalgMatrix 4.1-1
NaturalIsomorphismFromIdentityToGetRidOfZeroGeneratorsOfFpLeftModule, for IsCapCategory 7.1-3
NaturalIsomorphismFromIdentityToGetRidOfZeroGeneratorsOfFpRightModule, for IsCapCategory 7.1-4
NaturalIsomorphismFromIdentityToLessGeneratorsOfFpLeftModule, for IsCapCategory 7.1-5
NaturalIsomorphismFromIdentityToLessGeneratorsOfFpRightModule, for IsCapCategory 7.1-6
NaturalIsomorphismFromIdentityToStandardPresentationOfFpLeftModule, for IsCapCategory 7.1-1
NaturalIsomorphismFromIdentityToStandardPresentationOfFpRightModule, for IsCapCategory 7.1-2
RightPresentation, for IsHomalgMatrix 4.1-2
TurnAutoequivalenceIntoIdentityFunctorForHomalg, for IsCapNaturalTransformation, IsCapCategory 1.1-1
UpdateHomalgGenerators, for IsObject, IsHomalgGenerators 3.2-1