Index

AssignSetOfGeneratingMorphisms, for IsPathCategory, IsString 2.1-5
    for IsQuotientOfPathCategory, IsString 6.2-8
AssignSetOfObjects, for IsPathCategory, IsString 2.1-4
    for IsQuotientOfPathCategory, IsString 6.2-7
CanonicalRepresentative, for IsQuotientOfPathCategoryMorphism 6.2-6
CategoryFromNerveData, for IsCategoryFromDataTables 5.3-2
    for IsPathCategory 2.2-2
    for IsQuotientOfPathCategory 6.2-2
    for IsRecord 5.3-1
CreateMorphism, for IsCategoryFromNerveData, IsBigInt 5.3-4
    for IsObjectInCategoryFromNerveData, IsBigInt, IsObjectInCategoryFromNerveData 5.3-4
CreateObject, for IsCategoryFromNerveData, IsBigInt 5.3-3
DataTablesOfCategory, for IsCapCategory 3.2-2
DefiningRelations, for IsQuotientOfPathCategory 6.2-3
DefiningTripleOfUnderlyingQuiver, for IsCapCategory 3.2-1
ExternalHoms, for IsFinQuiver 1.2-14
FinQuiver, for IsList 1.1-1
GroebnerBasis, for IsPathCategory, IsDenseList 2.4-1
GroebnerBasisOfDefiningRelations, for IsQuotientOfPathCategory 6.2-4
HasFiniteNumberOfMacaulayMorphisms, for IsPathCategory, IsDenseList 2.2-11
IndicesOfGeneratingMorphismsFromHomStructure, for IsCapCategory 3.2-5
IndicesOfSources, for IsFinQuiver 1.2-9
IndicesOfTargets, for IsFinQuiver 1.2-10
IndicesPairsOfCompatibleMorphisms, for IsFinQuiver 1.2-11
IsAscendingForMorphisms, for IsPathCategory, IsPathCategoryMorphism, IsPathCategoryMorphism, IsString 2.4-5
IsCategoryFromNerveData, for IsCapCategory 5.1-1
IsDescendingForMorphisms, for IsPathCategory, IsPathCategoryMorphism, IsPathCategoryMorphism, IsString 2.4-4
IsFinitePathCategory, for IsPathCategory 2.2-10
IsFinQuiver, for IsCapCategory 1.3-1
IsFinQuiverMorphism, for IsCapCategoryMorphism 1.3-3
IsFinQuiverObject, for IsCapCategoryObject 1.3-2
IsMorphismInCategoryFromNerveData, for IsCapCategoryMorphism 5.1-3
IsObjectInCategoryFromNerveData, for IsCapCategoryObject 5.1-2
IsPathCategory, for IsCapCategory 2.3-1
IsPathCategoryMorphism, for IsCapCategoryMorphism 2.3-3
IsPathCategoryObject, for IsCapCategoryObject 2.3-2
IsQuotientOfPathCategory, for IsQuotientCategory 6.1-1
IsQuotientOfPathCategoryMorphism, for IsQuotientCategoryMorphism 6.1-3
IsQuotientOfPathCategoryObject, for IsQuotientCategoryObject 6.1-2
LabelsOfMorphisms, for IsFinQuiver 1.2-7
LabelsOfObjects, for IsFinQuiver 1.2-4
LaTeXStringsOfMorphisms, for IsFinQuiver 1.2-8
LaTeXStringsOfObjects, for IsFinQuiver 1.2-5
MacaulayMorphisms, for IsPathCategory, IsDenseList 2.2-12
MorphismConstructor, for IsFinQuiver, IsFinQuiverObject, IsInt, IsFinQuiverObject 1.1-3
    for IsPathCategory, IsPathCategoryObject, IsBigInt, IsDenseList, IsPathCategoryObject 2.1-3
MorphismIndex, for IsFinQuiverMorphism 1.2-18
MorphismIndices, for IsPathCategoryMorphism 2.2-8
MorphismLabel, for IsFinQuiverMorphism 1.2-19
    for IsPathCategoryMorphism 2.2-9
MorphismLength, for IsPathCategoryMorphism 2.2-6
MorphismSupport, for IsPathCategoryMorphism 2.2-7
NaturalTransformation, for IsCapFunctor, IsList, IsCapFunctor 3.2-10
    for IsRecord, IsCapFunctor, IsCapFunctor 3.2-10
NerveData, for IsCategoryFromNerveData 5.2-1
NerveTruncatedInDegree2AsFunctor, for IsCapCategory 3.2-4
NerveTruncatedInDegree2Data, for IsCapCategory 3.2-3
NumberOfMorphisms, for IsFinQuiver 1.2-6
NumberOfObjects, for IsFinQuiver 1.2-3
ObjectConstructor, for IsFinQuiver, IsInt 1.1-2
    for IsPathCategory, IsBigInt 2.1-2
ObjectIndex, for IsFinQuiverObject 1.2-16
    for IsPathCategoryObject 2.2-4
    for IsQuotientOfPathCategoryObject 6.2-5
ObjectLabel, for IsFinQuiverObject 1.2-17
    for IsPathCategoryObject 2.2-5
OppositeCategoryFromNerveData, for IsCategoryFromNerveData 5.2-3
OppositeFiniteCategory, for IsCapCategory 3.2-6
OppositePathCategory, for IsPathCategory 2.2-1
OppositeQuiver, for IsFinQuiver 1.2-15
OppositeQuotientOfPathCategory, for IsQuotientOfPathCategory 6.2-1
PathCategory, for IsFinQuiver 2.1-1
QuiverDatum, for IsFinQuiver 1.2-1
QuiverName, for IsFinQuiver 1.2-2
QuiverStringOfDigraph, for IsDigraph, IsString, IsString 3.2-11
QuotientCategory, for IsPathCategory, IsDenseList 6.3-1
RandomFinQuiver, for IsInt, IsInt, IsBool 1.1-4
ReducedGroebnerBasis, for IsPathCategory, IsDenseList 2.4-3
ReducedGroebnerBasisWithGivenGroebnerBasis, for IsPathCategory, IsDenseList 2.4-2
SetOfMorphisms, for IsFinQuiver 1.2-13
SetOfObjects, for IsFinQuiver 1.2-12
SimplicialCategoryTruncatedInDegree 7.1-1
Size, for IsCapCategory 3.1-1
    for IsCategoryFromNerveData 5.2-2
TensorProductOfFinQuivers, for IsFinQuiver, IsFinQuiver 1.1-5
UnderlyingQuiver, for IsPathCategory 2.2-3
YonedaCompositionAsNaturalEpimorphism, for IsCapCategory 3.2-9
YonedaFibrationAsNaturalTransformation, for IsCapCategory 3.2-7
YonedaProjectionAsNaturalEpimorphism, for IsCapCategory 3.2-8