Index

AddSetOfGeneratingMorphismsOfCategory, for IsCapCategory, IsFunction 4.1-1
AssignSetOfGeneratingMorphisms, for IsPathCategory, IsString 2.2-5
AssignSetOfObjects, for IsPathCategory, IsString 2.2-4
CanonicalRepresentative, for IsQuotientOfPathCategoryMorphism 2.5-8
DataTablesOfCategory, for IsCapCategory 3.2-2
DefiningRelations, for IsQuotientOfPathCategory 2.5-5
DefiningTripleOfUnderlyingQuiver, for IsCapCategory 3.2-1
ExternalHoms, for IsFinQuiver 1.3-14
FinQuiver 1.2-1
GroebnerBasis, for IsPathCategory, IsDenseList 2.4-1
GroebnerBasisOfDefiningRelations, for IsQuotientOfPathCategory 2.5-6
HasFiniteNumberOfMacaulayMorphisms, for IsPathCategory, IsDenseList 2.3-9
IndicesOfSources, for IsFinQuiver 1.3-9
IndicesOfTargets, for IsFinQuiver 1.3-10
IndicesPairsOfCompatibleMorphisms, for IsFinQuiver 1.3-11
IsAscendingForMorphisms, for IsPathCategory, IsPathCategoryMorphism, IsPathCategoryMorphism, IsString 2.4-5
IsDescendingForMorphisms, for IsPathCategory, IsPathCategoryMorphism, IsPathCategoryMorphism, IsString 2.4-4
IsFinitelyPresentedCategory, for IsCapCategory 3.1-1
IsFinitePathCategory, for IsPathCategory 2.3-8
IsFinQuiver, for IsCapCategory 1.1-1
IsFinQuiverMorphism, for IsCapCategoryMorphism 1.1-3
IsFinQuiverObject, for IsCapCategoryObject 1.1-2
IsPathCategory, for IsCapCategory 2.1-1
IsPathCategoryMorphism, for IsCapCategoryMorphism 2.1-3
IsPathCategoryObject, for IsCapCategoryObject 2.1-2
IsQuotientOfPathCategory, for IsQuotientCapCategory 2.5-1
IsQuotientOfPathCategoryMorphism, for IsQuotientCapCategoryMorphism 2.5-3
IsQuotientOfPathCategoryObject, for IsQuotientCapCategoryObject 2.5-2
LabelsOfMorphisms, for IsFinQuiver 1.3-7
LabelsOfObjects, for IsFinQuiver 1.3-4
LaTeXStringsOfMorphisms, for IsFinQuiver 1.3-8
LaTeXStringsOfObjects, for IsFinQuiver 1.3-5
MacaulayMorphisms, for IsPathCategory, IsDenseList 2.3-10
MorphismConstructor, for IsFinQuiver, IsFinQuiverObject, IsInt, IsFinQuiverObject 1.2-3
    for IsPathCategory, IsPathCategoryObject, IsInt, IsDenseList, IsPathCategoryObject 2.2-3
MorphismIndex, for IsFinQuiverMorphism 1.3-19
MorphismIndices, for IsPathCategoryMorphism 2.3-6
MorphismLabel, for IsFinQuiverMorphism 1.3-20
    for IsPathCategoryMorphism 2.3-7
MorphismLength, for IsPathCategoryMorphism 2.3-4
MorphismSupport, for IsPathCategoryMorphism 2.3-5
NumberOfMorphisms, for IsFinQuiver 1.3-6
NumberOfObjects, for IsFinQuiver 1.3-3
ObjectConstructor, for IsFinQuiver, IsInt 1.2-2
    for IsPathCategory, IsInt 2.2-2
ObjectIndex, for IsFinQuiverObject 1.3-16
    for IsPathCategoryObject 2.3-2
    for IsQuotientOfPathCategoryObject 2.5-7
ObjectLabel, for IsFinQuiverObject 1.3-17
    for IsPathCategoryObject 2.3-3
OppositeQuiver, for IsFinQuiver 1.3-15
PathCategory, for IsFinQuiver 2.2-1
QuiverDatum, for IsFinQuiver 1.3-1
QuiverName, for IsFinQuiver 1.3-2
QuiverStringOfDigraph, for IsDigraph, IsString, IsString 3.2-3
QuotientCategory, for IsPathCategory, IsDenseList 2.5-4
RandomFinQuiver 1.2-4
ReducedGroebnerBasis, for IsPathCategory, IsDenseList 2.4-3
ReducedGroebnerBasisWithGivenGroebnerBasis, for IsPathCategory, IsDenseList 2.4-2
SetOfGeneratingMorphisms, for IsCapCategory 3.3-2
SetOfGeneratingMorphismsOfCategory, for IsCapCategory 3.3-1
SetOfMorphisms, for IsFinQuiver 1.3-13
SetOfObjects, for IsFinQuiver 1.3-12
TensorProductOfFinQuivers, for IsFinQuiver, IsFinQuiver 1.2-5
UnderlyingFinQuiver, for IsFinQuiverMorphism 1.3-21
    for IsFinQuiverObject 1.3-18
UnderlyingQuiver, for IsPathCategory 2.3-1