Index

AddSetOfGeneratingMorphismsOfCategory, for IsCapCategory, IsFunction 8.1-1
    for IsCapCategory, IsFunction, IsInt 8.1-1
AssignSetOfGeneratingMorphisms, for IsPathCategory, IsString 6.3-5
AssignSetOfObjects, for IsPathCategory, IsString 6.3-4
CanonicalRepresentative, for IsQuotientOfPathCategoryMorphism 2.2-6
CategoryFromNerveData, for IsCategoryFromDataTables 5.3-2
    for IsPathCategory 6.4-2
    for IsQuotientOfPathCategory 2.2-2
    for IsRecord 5.3-1
CreateMorphism, for IsCategoryFromNerveData, IsInt 5.3-4
    for IsObjectInCategoryFromNerveData, IsInt, IsObjectInCategoryFromNerveData 5.3-4
CreateObject, for IsCategoryFromNerveData, IsInt 5.3-3
DataTablesOfCategory, for IsCapCategory 3.3-2
DefiningRelations, for IsQuotientOfPathCategory 2.2-3
DefiningTripleOfUnderlyingQuiver, for IsCapCategory 3.3-1
ExternalHoms, for IsFinQuiver 1.2-14
FinQuiver, for IsList 1.1-1
GroebnerBasis, for IsPathCategory, IsDenseList 6.1-1
GroebnerBasisOfDefiningRelations, for IsQuotientOfPathCategory 2.2-4
HasFiniteNumberOfMacaulayMorphisms, for IsPathCategory, IsDenseList 6.4-11
IndicesOfGeneratingMorphismsFromHomStructure, for IsCapCategory 3.3-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 6.1-5
IsCategoryFromNerveData, for IsCapCategory 5.1-1
IsCellInCategoryFromNerveData, for IsCapCategoryCell 5.1-2
IsDescendingForMorphisms, for IsPathCategory, IsPathCategoryMorphism, IsPathCategoryMorphism, IsString 6.1-4
IsFinitelyPresentedCategory, for IsCapCategory 3.1-1
IsFinitePathCategory, for IsPathCategory 6.4-10
IsFinQuiver, for IsCapCategory 1.3-1
IsFinQuiverMorphism, for IsCapCategoryMorphism 1.3-3
IsFinQuiverObject, for IsCapCategoryObject 1.3-2
IsMorphismInCategoryFromNerveData, for IsCellInCategoryFromNerveData and IsCapCategoryMorphism 5.1-4
IsObjectInCategoryFromNerveData, for IsCellInCategoryFromNerveData and IsCapCategoryObject 5.1-3
IsPathCategory, for IsCapCategory 6.2-1
IsPathCategoryMorphism, for IsCapCategoryMorphism 6.2-3
IsPathCategoryObject, for IsCapCategoryObject 6.2-2
IsQuotientOfPathCategory, for IsQuotientCapCategory 2.3-1
IsQuotientOfPathCategoryMorphism, for IsQuotientCapCategoryMorphism 2.3-3
IsQuotientOfPathCategoryObject, for IsQuotientCapCategoryObject 2.3-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 6.4-12
MorphismConstructor, for IsFinQuiver, IsFinQuiverObject, IsInt, IsFinQuiverObject 1.1-3
    for IsPathCategory, IsPathCategoryObject, IsInt, IsDenseList, IsPathCategoryObject 6.3-3
MorphismIndex, for IsFinQuiverMorphism 1.2-19
MorphismIndices, for IsPathCategoryMorphism 6.4-8
MorphismLabel, for IsFinQuiverMorphism 1.2-20
    for IsPathCategoryMorphism 6.4-9
MorphismLength, for IsPathCategoryMorphism 6.4-6
MorphismSupport, for IsPathCategoryMorphism 6.4-7
NaturalTransformation, for IsCapFunctor, IsList, IsCapFunctor 3.3-10
    for IsRecord, IsCapFunctor, IsCapFunctor 3.3-10
NerveData, for IsCategoryFromNerveData 5.2-1
NerveTruncatedInDegree2AsFunctor, for IsCapCategory 3.3-4
NerveTruncatedInDegree2Data, for IsCapCategory 3.3-3
NumberOfMorphisms, for IsFinQuiver 1.2-6
NumberOfObjects, for IsFinQuiver 1.2-3
ObjectConstructor, for IsFinQuiver, IsInt 1.1-2
    for IsPathCategory, IsInt 6.3-2
ObjectIndex, for IsFinQuiverObject 1.2-16
    for IsPathCategoryObject 6.4-4
    for IsQuotientOfPathCategoryObject 2.2-5
ObjectLabel, for IsFinQuiverObject 1.2-17
    for IsPathCategoryObject 6.4-5
OppositeCategoryFromNerveData, for IsCategoryFromNerveData 5.2-3
OppositeFiniteCategory, for IsCapCategory 3.3-6
OppositePathCategory, for IsPathCategory 6.4-1
OppositeQuiver, for IsFinQuiver 1.2-15
OppositeQuotientOfPathCategory, for IsQuotientOfPathCategory 2.2-1
PathCategory, for IsFinQuiver 6.3-1
QuiverDatum, for IsFinQuiver 1.2-1
QuiverName, for IsFinQuiver 1.2-2
QuiverStringOfDigraph, for IsDigraph, IsString, IsString 3.3-11
QuotientCategory, for IsPathCategory, IsDenseList 2.1-1
RandomFinQuiver 1.1-4
ReducedGroebnerBasis, for IsPathCategory, IsDenseList 6.1-3
ReducedGroebnerBasisWithGivenGroebnerBasis, for IsPathCategory, IsDenseList 6.1-2
SetOfGeneratingMorphisms, for IsCapCategory 3.2-2
SetOfGeneratingMorphismsOfCategory, for IsCapCategory 3.2-1
SetOfMorphisms, for IsFinQuiver 1.2-13
SetOfObjects, for IsFinQuiver 1.2-12
SimplicialCategoryTruncatedInDegree 7.1-1
Size, for IsCapCategory 3.2-3
    for IsCategoryFromNerveData 5.2-2
TensorProductOfFinQuivers, for IsFinQuiver, IsFinQuiver 1.1-5
UnderlyingFinQuiver, for IsFinQuiverMorphism 1.2-21
    for IsFinQuiverObject 1.2-18
UnderlyingQuiver, for IsPathCategory 6.4-3
YonedaCompositionAsNaturalEpimorphism, for IsCapCategory 3.3-9
YonedaFibrationAsNaturalTransformation, for IsCapCategory 3.3-7
YonedaProjectionAsNaturalEpimorphism, for IsCapCategory 3.3-8