Index

AssignSetOfGeneratingMorphisms, for IsPathCategory, IsString 2.1-5
    for IsQuotientOfPathCategory, IsString 7.2-8
AssignSetOfObjects, for IsPathCategory, IsString 2.1-4
    for IsQuotientOfPathCategory, IsString 7.2-7
CanonicalRepresentative, for IsQuotientOfPathCategoryMorphism 7.2-6
CategoryFromDataTables, for IsCategoryFromNerveData 3.2-4
    for IsPathCategory 3.2-2
    for IsQuotientOfPathCategory 3.2-3
    for IsRecord 3.2-1
CategoryFromNerveData, for IsCategoryFromDataTables 6.3-2
    for IsPathCategory 2.2-2
    for IsQuotientOfPathCategory 7.2-2
    for IsRecord 6.3-1
CreateMorphism, for IsCategoryFromDataTables, IsBigInt 3.2-6
    for IsCategoryFromNerveData, IsBigInt 3.2-6
    for IsObjectInCategoryFromDataTables, IsBigInt, IsObjectInCategoryFromDataTables 3.2-6
    for IsObjectInCategoryFromNerveData, IsBigInt, IsObjectInCategoryFromNerveData 3.2-6
CreateObject, for IsCategoryFromDataTables, IsBigInt 3.2-5
    for IsCategoryFromNerveData, IsBigInt 6.3-3
DataTables, for IsCapCategory 3.1-1
DataTablesOfCategory, for IsCapCategory 4.2-2
DefiningRelations, for IsQuotientOfPathCategory 7.2-3
DefiningTripleOfUnderlyingQuiver, for IsCapCategory 4.2-1
ExternalHoms, for IsFinQuiver 1.2-14
FinQuiver, for IsList 1.1-1
GroebnerBasis, for IsPathCategory, IsDenseList 2.4-1
GroebnerBasisOfDefiningRelations, for IsQuotientOfPathCategory 7.2-4
HasFiniteNumberOfMacaulayMorphisms, for IsPathCategory, IsDenseList 2.2-11
IndicesOfGeneratingMorphismsFromHomStructure, for IsCapCategory 4.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
IsCategoryFromDataTables, for IsCapCategory 3.3-1
IsCategoryFromNerveData, for IsCapCategory 6.1-1
IsCellInCategoryFromDataTables, for IsCapCategoryCell 3.3-2
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
IsMorphismInCategoryFromDataTables, for FilterIntersection( IsCapCategoryMorphism 3.3-4
IsMorphismInCategoryFromNerveData, for IsCapCategoryMorphism 6.1-3
IsObjectInCategoryFromDataTables, for FilterIntersection( IsCapCategoryObject 3.3-3
IsObjectInCategoryFromNerveData, for IsCapCategoryObject 6.1-2
IsPathCategory, for IsCapCategory 2.3-1
IsPathCategoryMorphism, for IsCapCategoryMorphism 2.3-3
IsPathCategoryObject, for IsCapCategoryObject 2.3-2
IsQuotientOfPathCategory, for IsQuotientCategory 7.1-1
IsQuotientOfPathCategoryMorphism, for IsQuotientCategoryMorphism 7.1-3
IsQuotientOfPathCategoryObject, for IsQuotientCategoryObject 7.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 4.2-10
    for IsRecord, IsCapFunctor, IsCapFunctor 4.2-10
NerveData, for IsCategoryFromNerveData 6.2-1
NerveTruncatedInDegree2AsFunctor, for IsCapCategory 4.2-4
NerveTruncatedInDegree2Data, for IsCapCategory 4.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 7.2-5
ObjectLabel, for IsFinQuiverObject 1.2-17
    for IsPathCategoryObject 2.2-5
OppositeCategoryFromDataTables, for IsCategoryFromDataTables 3.1-3
OppositeCategoryFromNerveData, for IsCategoryFromNerveData 6.2-3
OppositeFiniteCategory, for IsCapCategory 4.2-6
OppositePathCategory, for IsPathCategory 2.2-1
OppositeQuiver, for IsFinQuiver 1.2-15
OppositeQuotientOfPathCategory, for IsQuotientOfPathCategory 7.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 4.2-11
QuotientCategory, for IsPathCategory, IsDenseList 7.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 8.1-1
Size, for IsCapCategory 4.1-1
    for IsCategoryFromDataTables 3.1-2
    for IsCategoryFromNerveData 6.2-2
TensorProductOfFinQuivers, for IsFinQuiver, IsFinQuiver 1.1-5
UnderlyingQuiver, for IsPathCategory 2.2-3
YonedaCompositionAsNaturalEpimorphism, for IsCapCategory 4.2-9
YonedaFibrationAsNaturalTransformation, for IsCapCategory 4.2-7
YonedaProjectionAsNaturalEpimorphism, for IsCapCategory 4.2-8