Index

/, for IsAlgebroid, IsList 4.4-1
    for IsFpCategory, IsList 2.4-1
[], for IsHomalgRing, IsFpCategory 4.4-1
\*, for IsAlgebroid, IsAlgebroid 4.3-4
    for IsFpCategory, IsFpCategory 2.3-2
\/, for IsPath, IsFpCategory 2.4-4
    for IsQuiverAlgebraElement, IsAlgebroid 4.4-7
    for IsQuiverVertex, IsAlgebroid 4.4-5
AddAntipode, for IsAlgebroid, IsRecord 7.3-2
AddBialgebroidStructure, for IsAlgebroid, IsRecord, IsRecord 7.3-1
Algebroid, for IsFpCategory, IsCapCategory 4.4-1
    for IsHomalgRing, IsFpCategory 4.4-1
    for IsHomalgRing, IsQuiver 4.4-1
    for IsQuiverAlgebra 4.4-1
    for IsQuiverAlgebra, IsList 4.4-1
AmbientAlgebra, for IsObjectInCategoryOfFpAlgebras 9.1-13
    for IsObjectInCategoryOfFpMatrixAlgebras 10.1-17
Antipode, for IsAlgebroid 4.2-14
    for IsFpCategory 2.2-14
ApplyToQuiverAlgebraElement, for IsCapFunctor, IsQuiverAlgebraElement 4.3-2
    for IsFunction, IsFunction, IsCapCategory, IsQuiverAlgebraElement, IsBool 4.3-2
AsCapCategory, for IsCategoryOfAlgebroidsObject 6.2-1
AsCapFunctor, for IsCategoryOfAlgebroidsMorphism 6.2-2
AssignSetOfGeneratingMorphisms, for IsAlgebroid, IsString 4.2-11
    for IsFpCategory, IsString 2.2-11
AssignSetOfObjects, for IsAlgebroid, IsString 4.2-7
    for IsFpCategory, IsString 2.2-7
AssociatedFunctorOfLinearClosuresOfPathCategoriesData, for IsCategoryOfFpAlgebras, IsMorphismInCategoryOfFpAlgebras 9.3-4
AssociatedLinearClosureOfPathCategory, for IsObjectInCategoryOfFpAlgebras 9.1-8
    for IsObjectInCategoryOfFpMatrixAlgebras 10.1-12
AssociatedQuotientCategoryOfLinearClosureOfPathCategory, for IsObjectInCategoryOfFpAlgebras 9.1-11
    for IsObjectInCategoryOfFpMatrixAlgebras 10.1-15
BasisMorphismsByVertexIndex, for IsAlgebroid 4.2-5
    for IsFpCategory 2.2-5
BasisPathsByVertexIndex, for IsAlgebroid 4.2-4
    for IsFpCategory 2.2-4
CapFunctor, for IsAlgebroid, IsCapCategoryObject 4.4-3
    for IsAlgebroid, IsList, IsList, IsCapCategory 4.4-3
    for IsAlgebroid, IsList, IsList, IsCapCategory, IsBool 4.4-3
    for IsAlgebroid, IsRecord, IsRecord 4.4-3
    for IsAlgebroid, IsRecord, IsRecord, IsBool 4.4-3
    for IsFpCategory, IsCapCategoryObject 4.4-3
    for IsFpCategory, IsList, IsList, IsCapCategory 4.4-3
    for IsFpCategory, IsList, IsList, IsCapCategory, IsBool 4.4-3
    for IsFpCategory, IsRecord, IsRecord 4.4-3
    for IsFpCategory, IsRecord, IsRecord, IsBool 4.4-3
Category, for IsQuiver, IsList 2.4-1
CategoryFromDataTables, for IsFpCategory 2.4-5
CategoryFromNerveData, for IsFpCategory 2.2-20
CategoryOfAlgebroids, for IsHomalgRing, IsString 6.4-1
CategoryOfAlgebroidsMorphism, for IsAlgebroidMorphism 6.4-4
    for IsCategoryOfAlgebroidsObject, IsAlgebroidMorphism, IsCategoryOfAlgebroidsObject 6.4-3
CategoryOfAlgebroidsObject, for IsAlgebroid 6.4-2
CategoryOfFpAlgebras, for IsCapCategory and IsLinearCategoryOverCommutativeRing 9.2-1
    for IsHomalgRing and IsCommutative 9.2-2
CategoryOfFpMatrixAlgebras, for IsCategoryOfFpAlgebras 10.2-1
    for IsHomalgRing 10.2-2
CoefficientsRing, for IsCategoryOfFpAlgebras 9.1-2
    for IsCategoryOfFpMatrixAlgebras 10.1-3
    for IsObjectInCategoryOfFpAlgebras 9.1-3
    for IsObjectInCategoryOfFpMatrixAlgebras 10.1-4
Comultiplication, for IsAlgebroid 7.2-2
    for IsObjectInCategoryOfFpAlgebras, IsList 9.3-3
    for IsObjectInCategoryOfFpMatrixAlgebras, IsList 10.3-2
Counit, for IsAlgebroid 7.2-1
    for IsObjectInCategoryOfFpAlgebras, IsList 9.3-2
    for IsObjectInCategoryOfFpMatrixAlgebras, IsList 10.3-1
DataTablesOfCategory, for IsAlgebroid 4.2-20
DecomposeQuiverAlgebraElement, for IsQuiverAlgebraElement 4.3-1
DefiningPairOfFinitelyPresentedMatrixAlgebra, for IsObjectInCategoryOfFpMatrixAlgebras 10.1-5
DefiningRelations, for IsObjectInCategoryOfFpAlgebras 9.1-9
    for IsObjectInCategoryOfFpMatrixAlgebras 10.1-13
DefiningSeptupleOfFinitelyPresentedAlgebra, for IsObjectInCategoryOfFpAlgebras 9.1-4
DefiningTripleOfAQuiver, for IsQuiver 11.2-1
DescentToZDefinedByBasisPaths, for IsAlgebroid 4.4-2
Dimension, for IsAlgebroid 4.2-3
    for IsCapCategory and IsObjectFiniteCategory and IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms 11.1-1
    for IsObjectInCategoryOfFpAlgebras 9.1-12
    for IsObjectInCategoryOfFpMatrixAlgebras 10.1-16
ElementaryTensor, for IsMorphismInAlgebroid, IsObjectInAlgebroid, IsAlgebroid 4.3-7
    for IsMorphismInFpCategory, IsObjectInFpCategory, IsFpCategory 2.3-5
    for IsObjectInAlgebroid, IsMorphismInAlgebroid, IsAlgebroid 4.3-6
    for IsObjectInAlgebroid, IsObjectInAlgebroid, IsAlgebroid 4.3-5
    for IsObjectInFpCategory, IsMorphismInFpCategory, IsFpCategory 2.3-4
    for IsObjectInFpCategory, IsObjectInFpCategory, IsFpCategory 2.3-3
EvaluateFpAlgebraMorphism, for IsCategoryOfFpAlgebras, IsMorphismInCategoryOfFpAlgebras, IsCapCategory, IsCapCategoryObject, IsList 9.3-1
FreeCategory, for IsQuiver 2.4-1
Generators, for IsObjectInCategoryOfFpAlgebras 9.1-7
    for IsObjectInCategoryOfFpMatrixAlgebras 10.1-10
GroebnerBasisOfDefiningRelations, for IsObjectInCategoryOfFpAlgebras 9.1-10
    for IsObjectInCategoryOfFpMatrixAlgebras 10.1-14
HomStructureOnBasisPaths, for IsAlgebroid 4.2-6
    for IsFpCategory 2.2-6
IsAlgebraAsCategory, for IsAlgebroid 4.5-5
IsAlgebroid, for IsCapCategory 4.5-4
IsAlgebroidMorphism, for IsCapFunctor 4.5-6
IsBialgebroid, for IsAlgebroid 7.4-1
IsCategoryOfAlgebroidsMorphism, for IsCapCategoryMorphism 6.5-2
IsCategoryOfAlgebroidsObject, for IsCapCategoryObject 6.5-1
IsCategoryOfFpAlgebras, for IsCapCategory 9.4-1
IsCategoryOfFpMatrixAlgebras, for IsCapCategory 10.4-1
IsCellInAlgebroid, for IsCapCategoryCell 4.5-1
IsCellInFpCategory, for IsCapCategoryCell 2.5-3
IsCoassociative, for IsAlgebroid 4.1-4
    for IsCategoryOfAlgebroidsObject 6.1-3
    for IsFpCategory 2.1-3
IsCocommutative, for IsBialgebroid 7.1-1
IsCommutative, for IsAlgebroid 4.1-2
    for IsCategoryOfAlgebroidsObject 6.1-1
    for IsFpCategory 2.1-1
IsCounitary, for IsAlgebroid 4.1-3
    for IsCategoryOfAlgebroidsObject 6.1-2
    for IsFpCategory 2.1-2
IsFinitelyPresentedLinearCategory, for IsCapCategory 4.1-1
IsFpCategory, for IsCapCategory 2.5-1
IsHopfAlgebroid, for IsBialgebroid 7.1-2
IsMonoidAsCategory, for IsFpCategory 2.5-2
IsMorphismInAlgebroid, for IsCellInAlgebroid and IsCapCategoryMorphism 4.5-3
IsMorphismInCategoryOfFpAlgebras, for IsCapCategoryMorphism 9.4-3
IsMorphismInCategoryOfFpMatrixAlgebras, for IsCapCategoryMorphism 10.4-3
IsMorphismInFpCategory, for IsCellInFpCategory and IsCapCategoryMorphism 2.5-5
IsObjectInAlgebroid, for IsCellInAlgebroid and IsCapCategoryObject 4.5-2
IsObjectInCategoryOfFpAlgebras, for IsCapCategoryObject 9.4-2
IsObjectInCategoryOfFpMatrixAlgebras, for IsCapCategoryObject 10.4-2
IsObjectInFpCategory, for IsCellInFpCategory and IsCapCategoryObject 2.5-4
IsomorphismFromAlgebroidFromDataTables, for IsAlgebroidFromDataTables, IsAlgebroid 4.2-22
IsomorphismOntoAlgebroidFromDataTables, for IsAlgebroid, IsAlgebroidFromDataTables 4.2-21
ListOfImages, for IsMorphismInCategoryOfFpAlgebras 9.1-5
ListOfMatrixImages, for IsMorphismInCategoryOfFpMatrixAlgebras 10.1-8
MatrixGenerators, for IsObjectInCategoryOfFpMatrixAlgebras 10.1-11
MorphismInAlgebroid, for IsAlgebroid, IsQuiverAlgebraElement 4.4-6
    for IsObjectInAlgebroid, IsQuiverAlgebraElement, IsObjectInAlgebroid 4.4-6
MorphismInFpCategory, for IsFpCategory, IsPath 2.4-3
    for IsObjectInFpCategory, IsPath, IsObjectInFpCategory 2.4-3
NrGenerators, for IsObjectInCategoryOfFpAlgebras 9.1-6
    for IsObjectInCategoryOfFpMatrixAlgebras 10.1-9
ObjectInAlgebroid, for IsAlgebroid, IsQuiverVertex 4.4-4
ObjectInFpCategory, for IsFpCategory, IsQuiverVertex 2.4-2
OppositeAlgebroid, for IsAlgebroid 4.2-13
OppositeFpCategory, for IsFpCategory 2.2-13
Parity, for IsAlgebroid 4.2-18
    for IsFpCategory 2.2-18
POW, for IsAlgebroid, IsInt 4.2-19
    for IsCapCategoryMorphism, IsInt 4.4-8
    for IsFpCategory, IsInt 2.2-19
QuiverVertexAsIdentityPath, for IsQuiverVertex 2.3-6
QuotientCategory, for IsAlgebroid, IsList 4.4-1
    for IsFpCategory, IsList 2.4-1
RelationsOfAlgebroid, for IsAlgebroid 4.2-12
RelationsOfFpCategory, for IsFpCategory 2.2-12
SetOfGeneratingMorphisms, for IsAlgebroid, IsInt, IsInt 4.2-10
    for IsAlgebroid, IsObjectInAlgebroid, IsObjectInAlgebroid 4.2-8
    for IsFpCategory, IsInt, IsInt 2.2-10
    for IsFpCategory, IsObjectInFpCategory, IsObjectInFpCategory 2.2-8
    for IsObjectInAlgebroid, IsObjectInAlgebroid 4.2-9
    for IsObjectInFpCategory, IsObjectInFpCategory 2.2-9
SieveFunctor, for IsFpCategory 2.2-22
Size, for IsFpCategory 2.2-3
TrivialAlgebroid, for IsHomalgRing, IsString 4.3-3
TrivialCategory, for IsString 2.3-1
TruthMorphismOfTrueToSieveFunctor, for IsFpCategory 2.2-21
Twist, for IsAlgebroid, IsAlgebroid 6.3-1
UnderlyingAlgebra, for IsAlgebroid 4.2-17
    for IsFpCategory 2.2-17
UnderlyingCategory, for IsCategoryOfFpMatrixAlgebras 10.1-1
UnderlyingCategoryOfMatrices, for IsCategoryOfFpAlgebras 9.1-1
    for IsCategoryOfFpMatrixAlgebras 10.1-2
UnderlyingFpAlgebra, for IsObjectInCategoryOfFpMatrixAlgebras 10.1-6
UnderlyingListOfMorphismsInCategoryOfFpAlgebras, for IsMorphismInCategoryOfFpMatrixAlgebras 10.1-7
UnderlyingQuiver, for IsAlgebroid 4.2-1
    for IsFpCategory 2.2-1
UnderlyingQuiverAlgebra, for IsAlgebroid 4.2-2
    for IsFpCategory 2.2-2
UnderlyingQuiverAlgebraElement, for IsMorphismInAlgebroid 4.2-16
    for IsMorphismInFpCategory 2.2-16
UnderlyingVertex, for IsObjectInAlgebroid 4.2-15
    for IsObjectInFpCategory 2.2-15