Index

/, for IsAlgebroid, IsList 5.4-1
    for IsFpCategory, IsList 2.4-1
[], for IsHomalgRing, IsFpCategory 5.4-1
\*, for IsAlgebroid, IsAlgebroid 5.3-4
    for IsFpCategory, IsFpCategory 2.3-2
\/, for IsPath, IsFpCategory 2.4-4
    for IsQuiverAlgebraElement, IsAlgebroid 5.4-8
    for IsQuiverVertex, IsAlgebroid 5.4-6
AddAntipode, for IsAlgebroid, IsRecord 7.3-2
AddBialgebroidStructure, for IsAlgebroid, IsRecord, IsRecord 7.3-1
Algebroid, for IsFpCategory, IsCapCategory 5.4-1
    for IsHomalgRing, IsFpCategory 5.4-1
    for IsHomalgRing, IsQuiver 5.4-1
    for IsQuiverAlgebra 5.4-1
    for IsQuiverAlgebra, IsList 5.4-1
Antipode, for IsAlgebroid 5.2-16
    for IsFpCategory 2.2-16
ApplyToQuiverAlgebraElement, for IsCapFunctor, IsQuiverAlgebraElement 5.3-2
    for IsFunction, IsFunction, IsCapCategory, IsQuiverAlgebraElement, IsBool 5.3-2
AsCapCategory, for IsCategoryOfAlgebroidsObject 6.2-1
AsCapFunctor, for IsCategoryOfAlgebroidsMorphism 6.2-2
AssignSetOfGeneratingMorphisms, for IsAlgebroid, IsString 5.2-13
    for IsFpCategory, IsString 2.2-13
AssignSetOfObjects, for IsAlgebroid, IsString 5.2-8
    for IsFpCategory, IsString 2.2-8
BasisMorphismsByVertexIndex, for IsAlgebroid 5.2-5
    for IsFpCategory 2.2-5
BasisPathsByVertexIndex, for IsAlgebroid 5.2-4
    for IsFpCategory 2.2-4
CapFunctor, for IsAlgebroid, IsCapCategoryObject 5.4-3
    for IsAlgebroid, IsList, IsList, IsCapCategory 5.4-3
    for IsAlgebroid, IsList, IsList, IsCapCategory, IsBool 5.4-3
    for IsAlgebroid, IsRecord, IsRecord 5.4-3
    for IsAlgebroid, IsRecord, IsRecord, IsBool 5.4-3
    for IsFpCategory, IsCapCategoryObject 5.4-3
    for IsFpCategory, IsList, IsList, IsCapCategory 5.4-3
    for IsFpCategory, IsList, IsList, IsCapCategory, IsBool 5.4-3
    for IsFpCategory, IsRecord, IsRecord 5.4-3
    for IsFpCategory, IsRecord, IsRecord, IsBool 5.4-3
Category, for IsQuiver, IsList 2.4-1
CategoryFromDataTables, for IsCategoryFromNerveData 4.2-3
    for IsFpCategory 4.2-2
    for IsString, IsCapCategory, IsList, IsList, IsList, IsList 4.2-1
CategoryFromNerveData, for IsFpCategory 3.2-2
    for IsString, IsList, IsList, IsList, IsList 3.2-1
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
Comultiplication, for IsAlgebroid 7.2-2
Counit, for IsAlgebroid 7.2-1
CreateMorphism, for IsCategoryFromDataTables, IsInt 4.2-5
    for IsCategoryFromNerveData, IsInt 4.2-5
    for IsObjectInCategoryFromDataTables, IsInt, IsObjectInCategoryFromDataTables 4.2-5
    for IsObjectInCategoryFromNerveData, IsInt, IsObjectInCategoryFromNerveData 4.2-5
CreateObject, for IsCategoryFromDataTables, IsInt 4.2-4
    for IsCategoryFromNerveData, IsInt 3.2-3
DataTables, for IsCapCategory 4.1-1
DataTablesOfCategory, for IsCapCategory 9.2-2
DecomposeQuiverAlgebraElement, for IsQuiverAlgebraElement 5.3-1
DefiningPairOfAQuiver, for IsQuiver 9.1-1
DefiningPairOfUnderlyingQuiver, for IsCapCategory 9.1-2
DescentToZDefinedByBasisPaths, for IsAlgebroid 5.4-2
Dimension, for IsAlgebroid 5.2-3
ElementaryTensor, for IsMorphismInAlgebroid, IsObjectInAlgebroid, IsAlgebroid 5.3-7
    for IsMorphismInFpCategory, IsObjectInFpCategory, IsFpCategory 2.3-5
    for IsObjectInAlgebroid, IsMorphismInAlgebroid, IsAlgebroid 5.3-6
    for IsObjectInAlgebroid, IsObjectInAlgebroid, IsAlgebroid 5.3-5
    for IsObjectInFpCategory, IsMorphismInFpCategory, IsFpCategory 2.3-4
    for IsObjectInFpCategory, IsObjectInFpCategory, IsFpCategory 2.3-3
FreeCategory, for IsQuiver 2.4-1
HomStructureOnBasisPaths, for IsAlgebroid 5.2-6
    for IsFpCategory 2.2-6
IsAlgebraAsCategory, for IsAlgebroid 5.5-5
IsAlgebroid, for IsCapCategory 5.5-4
IsAlgebroidMorphism, for IsCapFunctor 5.5-6
IsBialgebroid, for IsAlgebroid 7.4-1
IsCategoryFromDataTables, for IsCapCategory 4.3-1
IsCategoryFromNerveData, for IsCapCategory 3.3-1
IsCategoryOfAlgebroidsMorphism, for IsCapCategoryMorphism 6.5-2
IsCategoryOfAlgebroidsObject, for IsCapCategoryObject 6.5-1
IsCellInAlgebroid, for IsCapCategoryCell 5.5-1
IsCellInCategoryFromDataTables, for IsCapCategoryCell 4.3-2
IsCellInCategoryFromNerveData, for IsCapCategoryCell 3.3-2
IsCellInFpCategory, for IsCapCategoryCell 2.6-3
IsCoassociative, for IsAlgebroid 5.1-5
    for IsCategoryOfAlgebroidsObject 6.1-3
    for IsFpCategory 2.1-4
IsCocommutative, for IsBialgebroid 7.1-1
IsCommutative, for IsAlgebroid 5.1-3
    for IsCategoryOfAlgebroidsObject 6.1-1
    for IsFpCategory 2.1-2
IsCounitary, for IsAlgebroid 5.1-4
    for IsCategoryOfAlgebroidsObject 6.1-2
    for IsFpCategory 2.1-3
IsFinitelyPresentedCategory, for IsCapCategory 2.1-1
IsFinitelyPresentedLinearCategory, for IsCapCategory 5.1-1
IsFpCategory, for IsCapCategory 2.6-1
IsHopfAlgebroid, for IsBialgebroid 7.1-2
IsLinearClosureOfACategory, for IsCapCategory 5.1-2
IsMonoidAsCategory, for IsFpCategory 2.6-2
IsMorphismInAlgebroid, for IsCellInAlgebroid and IsCapCategoryMorphism 5.5-3
IsMorphismInCategoryFromDataTables, for IsCellInCategoryFromDataTables and IsCapCategoryMorphism 4.3-4
IsMorphismInCategoryFromNerveData, for IsCellInCategoryFromNerveData and IsCapCategoryMorphism 3.3-4
IsMorphismInFpCategory, for IsCellInFpCategory and IsCapCategoryMorphism 2.6-5
IsObjectInAlgebroid, for IsCellInAlgebroid and IsCapCategoryObject 5.5-2
IsObjectInCategoryFromDataTables, for IsCellInCategoryFromDataTables and IsCapCategoryObject 4.3-3
IsObjectInCategoryFromNerveData, for IsCellInCategoryFromNerveData and IsCapCategoryObject 3.3-3
IsObjectInFpCategory, for IsCellInFpCategory and IsCapCategoryObject 2.6-4
MorphismInAlgebroid, for IsAlgebroid, IsQuiverAlgebraElement 5.4-7
    for IsObjectInAlgebroid, IsQuiverAlgebraElement, IsObjectInAlgebroid 5.4-7
MorphismInFpCategory, for IsFpCategory, IsPath 2.4-3
    for IsObjectInFpCategory, IsPath, IsObjectInFpCategory 2.4-3
NaturalTransformation, for IsCapFunctor, IsList, IsCapFunctor 5.4-4
    for IsRecord, IsCapFunctor, IsCapFunctor 5.4-4
NerveData, for IsCategoryFromNerveData 3.1-1
NerveTruncatedInDegree2AsFunctor, for IsCapCategory 2.2-22
NerveTruncatedInDegree2Data, for IsCapCategory 9.2-1
ObjectInAlgebroid, for IsAlgebroid, IsQuiverVertex 5.4-5
ObjectInFpCategory, for IsFpCategory, IsQuiverVertex 2.4-2
OppositeAlgebroid, for IsAlgebroid 5.2-15
OppositeCategoryFromDataTables, for IsCategoryFromDataTables 4.1-6
OppositeCategoryFromNerveData, for IsCategoryFromNerveData 3.1-5
OppositeFiniteCategory, for IsCapCategory 9.2-3
OppositeFpCategory, for IsFpCategory 2.2-15
Parity, for IsAlgebroid 5.2-20
    for IsFpCategory 2.2-20
POW, for IsAlgebroid, IsInt 5.2-21
    for IsCapCategoryMorphism, IsInt 5.4-9
    for IsFpCategory, IsInt 2.2-21
QuiverVertexAsIdentityPath, for IsQuiverVertex 2.3-6
QuotientCategory, for IsAlgebroid, IsList 5.4-1
    for IsFpCategory, IsList 2.4-1
RelationsOfAlgebroid, for IsAlgebroid 5.2-14
RelationsOfFpCategory, for IsFpCategory 2.2-14
SetOfGeneratingMorphisms, for IsAlgebroid 5.2-9
    for IsAlgebroid, IsInt, IsInt 5.2-12
    for IsAlgebroid, IsObjectInAlgebroid, IsObjectInAlgebroid 5.2-10
    for IsCategoryFromDataTables 4.1-4
    for IsCategoryFromNerveData 3.1-3
    for IsFpCategory 2.2-9
    for IsFpCategory, IsInt, IsInt 2.2-12
    for IsFpCategory, IsObjectInFpCategory, IsObjectInFpCategory 2.2-10
    for IsObjectInAlgebroid, IsObjectInAlgebroid 5.2-11
    for IsObjectInFpCategory, IsObjectInFpCategory 2.2-11
SetOfMorphisms, for IsCategoryFromDataTables 4.1-3
SetOfObjects, for IsAlgebroid 5.2-7
    for IsCategoryFromDataTables 4.1-2
    for IsCategoryFromNerveData 3.1-2
    for IsFpCategory 2.2-7
SieveFunctor, for IsFpCategory 2.2-27
SimplicialCategoryTruncatedInDegree 2.5-1
Size, for IsCategoryFromDataTables 4.1-5
    for IsCategoryFromNerveData 3.1-4
    for IsFpCategory 2.2-3
TrivialAlgebroid, for IsHomalgRing, IsString 5.3-3
TrivialCategory, for IsString 2.3-1
TruthMorphismOfTrueToSieveFunctor, for IsFpCategory 2.2-26
Twist, for IsAlgebroid, IsAlgebroid 6.3-1
UnderlyingAlgebra, for IsAlgebroid 5.2-19
    for IsFpCategory 2.2-19
UnderlyingQuiver, for IsAlgebroid 5.2-1
    for IsFpCategory 2.2-1
UnderlyingQuiverAlgebra, for IsAlgebroid 5.2-2
    for IsFpCategory 2.2-2
UnderlyingQuiverAlgebraElement, for IsMorphismInAlgebroid 5.2-18
    for IsMorphismInFpCategory 2.2-18
UnderlyingVertex, for IsObjectInAlgebroid 5.2-17
    for IsObjectInFpCategory 2.2-17
YonedaCompositionAsNaturalEpimorphism, for IsCapCategory 2.2-25
YonedaFibrationAsNaturalTransformation, for IsCapCategory 2.2-23
YonedaProjectionAsNaturalEpimorphism, for IsCapCategory 2.2-24