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 IsAlgebroidFromDataTables, IsAlgebroidFromDataTables 6.3-12
    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 8.3-2
AddBialgebroidStructure, for IsAlgebroid, IsRecord, IsRecord 8.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
AlgebroidFromDataTables, for IsDenseList 6.4-1
Antipode, for IsAlgebroid 5.2-14
    for IsFpCategory 2.2-14
ApplyToQuiverAlgebraElement, for IsCapFunctor, IsQuiverAlgebraElement 5.3-2
    for IsFunction, IsFunction, IsCapCategory, IsQuiverAlgebraElement, IsBool 5.3-2
AsCapCategory, for IsCategoryOfAlgebroidsObject 7.2-1
AsCapFunctor, for IsCategoryOfAlgebroidsMorphism 7.2-2
AssignSetOfGeneratingMorphisms, for IsAlgebroid, IsString 5.2-11
    for IsAlgebroidFromDataTables, IsString 6.3-2
    for IsFpCategory, IsString 2.2-11
AssignSetOfObjects, for IsAlgebroid, IsString 5.2-7
    for IsAlgebroidFromDataTables, IsString 6.3-1
    for IsFpCategory, IsString 2.2-7
BasesElements, for IsAlgebroidFromDataTables 6.2-6
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
CategoryDatum, for IsAlgebroidFromDataTables 6.2-5
CategoryFromDataTables, for IsCategoryFromNerveData 4.2-3
    for IsFpCategory 4.2-2
    for IsRecord 4.2-1
CategoryFromNerveData, for IsCategoryFromDataTables 3.2-3
    for IsFpCategory 3.2-2
    for IsRecord 3.2-1
CategoryOfAlgebroids, for IsHomalgRing, IsString 7.4-1
CategoryOfAlgebroidsMorphism, for IsAlgebroidMorphism 7.4-4
    for IsCategoryOfAlgebroidsObject, IsAlgebroidMorphism, IsCategoryOfAlgebroidsObject 7.4-3
CategoryOfAlgebroidsObject, for IsAlgebroid 7.4-2
CoefficientsList, for IsMorphismInAlgebroidFromDataTables 6.3-4
CoefficientsOfSupportMorphisms, for IsMorphismInAlgebroidFromDataTables 6.3-6
Comultiplication, for IsAlgebroid 8.2-2
Counit, for IsAlgebroid 8.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-4
DataTables, for IsCapCategory 4.1-1
DataTablesOfCategory, for IsAlgebroid 6.2-1
DecomposeQuiverAlgebraElement, for IsQuiverAlgebraElement 5.3-1
DecompositionIndicesOfBasesElements, for IsAlgebroidFromDataTables 6.2-7
DecompositionIndicesOfMorphismInAlgebroid, for IsMorphismInAlgebroidFromDataTables 6.3-9
DecompositionOfMorphismInAlgebroid, for IsMorphismInAlgebroidFromDataTables 6.3-8
DefiningTripleOfAQuiver, for IsQuiver 11.1-1
DescentToZDefinedByBasisPaths, for IsAlgebroid 5.4-2
Dimension, for IsAlgebroid 5.2-3
ElementaryTensor, for IsMorphismInAlgebroid, IsObjectInAlgebroid, IsAlgebroid 5.3-7
    for IsMorphismInAlgebroidFromDataTables, IsMorphismInAlgebroidFromDataTables, IsAlgebroidFromDataTables 6.3-14
    for IsMorphismInFpCategory, IsObjectInFpCategory, IsFpCategory 2.3-5
    for IsObjectInAlgebroid, IsMorphismInAlgebroid, IsAlgebroid 5.3-6
    for IsObjectInAlgebroid, IsObjectInAlgebroid, IsAlgebroid 5.3-5
    for IsObjectInAlgebroidFromDataTables, IsObjectInAlgebroidFromDataTables, IsAlgebroidFromDataTables 6.3-13
    for IsObjectInFpCategory, IsMorphismInFpCategory, IsFpCategory 2.3-4
    for IsObjectInFpCategory, IsObjectInFpCategory, IsFpCategory 2.3-3
FreeCategory, for IsQuiver 2.4-1
GroebnerBasis, for IsLinearClosure, IsDenseList 10.1-2
HomStructureOnBasisPaths, for IsAlgebroid 5.2-6
    for IsFpCategory 2.2-6
IndicesOfGeneratingMorphismsFromHomStructure, for IsCapCategory 11.2-2
IndicesOfSupportMorphisms, for IsMorphismInAlgebroidFromDataTables 6.3-5
IsAdmissibleAlgebroid, for IsAlgebroidFromDataTables 6.1-1
IsAlgebraAsCategory, for IsAlgebroid 5.5-5
IsAlgebroid, for IsCapCategory 5.5-4
IsAlgebroidFromDataTables, for IsCapCategory 6.5-1
IsAlgebroidMorphism, for IsCapFunctor 5.5-6
IsBialgebroid, for IsAlgebroid 8.4-1
IsCategoryFromDataTables, for IsCapCategory 4.3-1
IsCategoryFromNerveData, for IsCapCategory 3.3-1
IsCategoryOfAlgebroidsMorphism, for IsCapCategoryMorphism 7.5-2
IsCategoryOfAlgebroidsObject, for IsCapCategoryObject 7.5-1
IsCellInAlgebroid, for IsCapCategoryCell 5.5-1
IsCellInAlgebroidFromDataTables, for IsCapCategoryCell 6.5-2
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 7.1-3
    for IsFpCategory 2.1-3
IsCocommutative, for IsBialgebroid 8.1-1
IsCommutative, for IsAlgebroid 5.1-3
    for IsCategoryOfAlgebroidsObject 7.1-1
    for IsFpCategory 2.1-1
IsCounitary, for IsAlgebroid 5.1-4
    for IsCategoryOfAlgebroidsObject 7.1-2
    for IsFpCategory 2.1-2
IsFinitelyPresentedLinearCategory, for IsCapCategory 5.1-1
IsFpCategory, for IsCapCategory 2.6-1
IsHopfAlgebroid, for IsBialgebroid 8.1-2
IsLinearClosureOfACategory, for IsCapCategory 5.1-2
IsMonoidAsCategory, for IsFpCategory 2.6-2
IsMorphismInAlgebroid, for IsCellInAlgebroid and IsCapCategoryMorphism 5.5-3
IsMorphismInAlgebroidFromDataTables, for IsCellInAlgebroidFromDataTables andIsCapCategoryMorphism 6.5-4
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
IsObjectInAlgebroidFromDataTables, for IsCellInAlgebroidFromDataTables andIsCapCategoryObject 6.5-3
IsObjectInCategoryFromDataTables, for IsCellInCategoryFromDataTables and IsCapCategoryObject 4.3-3
IsObjectInCategoryFromNerveData, for IsCellInCategoryFromNerveData and IsCapCategoryObject 3.3-3
IsObjectInFpCategory, for IsCellInFpCategory and IsCapCategoryObject 2.6-4
IsomorphismFromAlgebroidFromDataTables, for IsAlgebroidFromDataTables, IsAlgebroid 6.2-3
IsomorphismOntoAlgebroidFromDataTables, for IsAlgebroid, IsAlgebroidFromDataTables 6.2-2
LabelsOfBasesElements, for IsAlgebroidFromDataTables 6.2-8
LaTeXStringsOfBasesElements, for IsAlgebroidFromDataTables 6.2-9
LinearClosure, for IsHomalgRing, IsPathCategory 10.1-1
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-20
NerveTruncatedInDegree2Data, for IsCapCategory 11.2-1
ObjectInAlgebroid, for IsAlgebroid, IsQuiverVertex 5.4-5
ObjectIndex, for IsObjectInAlgebroidFromDataTables 6.3-3
ObjectInFpCategory, for IsFpCategory, IsQuiverVertex 2.4-2
OppositeAlgebroid, for IsAlgebroid 5.2-13
    for IsAlgebroidFromDataTables 6.3-10
OppositeCategoryFromDataTables, for IsCategoryFromDataTables 4.1-3
OppositeCategoryFromNerveData, for IsCategoryFromNerveData 3.1-3
OppositeFiniteCategory, for IsCapCategory 11.2-3
OppositeFpCategory, for IsFpCategory 2.2-13
Parity, for IsAlgebroid 5.2-18
    for IsFpCategory 2.2-18
POW, for IsAlgebroid, IsInt 5.2-19
    for IsCapCategoryMorphism, IsInt 5.4-9
    for IsFpCategory, IsInt 2.2-19
PowerOfArrowIdeal, for IsAlgebroidFromDataTables, IsInt 6.2-10
QuiverVertexAsIdentityPath, for IsQuiverVertex 2.3-6
QuotientCategory, for IsAlgebroid, IsList 5.4-1
    for IsAlgebroidFromDataTables, IsDenseList 6.2-4
    for IsFpCategory, IsList 2.4-1
    for IsLinearClosure, IsDenseList 10.1-4
ReducedGroebnerBasis, for IsLinearClosure, IsDenseList 10.1-3
RelationsOfAlgebroid, for IsAlgebroid 5.2-12
RelationsOfFpCategory, for IsFpCategory 2.2-12
SetOfGeneratingMorphisms, for IsAlgebroid, IsInt, IsInt 5.2-10
    for IsAlgebroid, IsObjectInAlgebroid, IsObjectInAlgebroid 5.2-8
    for IsFpCategory, IsInt, IsInt 2.2-10
    for IsFpCategory, IsObjectInFpCategory, IsObjectInFpCategory 2.2-8
    for IsObjectInAlgebroid, IsObjectInAlgebroid 5.2-9
    for IsObjectInFpCategory, IsObjectInFpCategory 2.2-9
SieveFunctor, for IsFpCategory 2.2-25
SimplicialCategoryTruncatedInDegree 2.5-1
Size, for IsCategoryFromDataTables 4.1-2
    for IsCategoryFromNerveData 3.1-2
    for IsFpCategory 2.2-3
SupportMorphisms, for IsMorphismInAlgebroidFromDataTables 6.3-7
TensorProductOfAlgebroids, for IsAlgebroidFromDataTables, IsAlgebroidFromDataTables 6.3-11
TrivialAlgebroid, for IsHomalgRing, IsString 5.3-3
TrivialCategory, for IsString 2.3-1
TruthMorphismOfTrueToSieveFunctor, for IsFpCategory 2.2-24
Twist, for IsAlgebroid, IsAlgebroid 7.3-1
UnderlyingAlgebra, for IsAlgebroid 5.2-17
    for IsFpCategory 2.2-17
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-16
    for IsMorphismInFpCategory 2.2-16
UnderlyingVertex, for IsObjectInAlgebroid 5.2-15
    for IsObjectInFpCategory 2.2-15
YonedaCompositionAsNaturalEpimorphism, for IsCapCategory 2.2-23
YonedaFibrationAsNaturalTransformation, for IsCapCategory 2.2-21
YonedaProjectionAsNaturalEpimorphism, for IsCapCategory 2.2-22