Index

AbelianClosure, for IsAlgebroid 10.1-1
AddIsReflexive, for IsCapCategory, IsFunction 16.1-1
    for IsCapCategory, IsFunction, IsInt 16.1-1
AlgebroidAsObjectInPreSheavesCategory, for IsAlgebroidFromDataTables 14.1-1
ApplyMorphismInCoPreSheafCategoryToObject, for IsCoPreSheafCategory, IsMorphismInCoPreSheafCategory, IsCapCategoryObject 12.3-3
ApplyMorphismInFunctorCategoryToObject, for IsFunctorCategory, IsMorphismInFunctorCategory, IsCapCategoryObject 1.3-5
ApplyMorphismInPreSheafCategoryOfFpEnrichedCategoryToObject, for IsPreSheafCategoryOfFpEnrichedCategory, IsMorphismInPreSheafCategoryOfFpEnrichedCategory, IsCapCategoryObject 2.3-4
ApplyObjectInCoPreSheafCategoryToMorphism, for IsCoPreSheafCategory, IsObjectInCoPreSheafCategory, IsCapCategoryMorphism 12.3-2
ApplyObjectInCoPreSheafCategoryToObject, for IsCoPreSheafCategory, IsObjectInCoPreSheafCategory, IsCapCategoryObject 12.3-1
ApplyObjectInFunctorCategoryToMorphism, for IsFunctorCategory, IsObjectInFunctorCategory, IsCapCategoryMorphism 1.3-4
ApplyObjectInFunctorCategoryToObject, for IsFunctorCategory, IsObjectInFunctorCategory, IsCapCategoryObject 1.3-3
ApplyObjectInPreSheafCategoryOfFpEnrichedCategoryToGeneratingMorphismOrIdentity, for IsPreSheafCategoryOfFpEnrichedCategory, IsObjectInPreSheafCategoryOfFpEnrichedCategory, IsCapCategoryMorphism 2.3-3
ApplyObjectInPreSheafCategoryOfFpEnrichedCategoryToMorphism, for IsPreSheafCategoryOfFpEnrichedCategory, IsObjectInPreSheafCategoryOfFpEnrichedCategory, IsCapCategoryMorphism 2.3-2
ApplyObjectInPreSheafCategoryOfFpEnrichedCategoryToObject, for IsPreSheafCategoryOfFpEnrichedCategory, IsObjectInPreSheafCategoryOfFpEnrichedCategory, IsCapCategoryObject 2.3-1
ApplyPreSheafToMorphismInFiniteStrictCoproductCompletion, for IsCapCategory, IsObjectInPreSheafCategory, IsMorphismInFiniteStrictCoproductCompletion 2.1-27
ApplyPreSheafToObjectInFiniteStrictCoproductCompletion, for IsCapCategory, IsObjectInPreSheafCategory, IsObjectInFiniteStrictCoproductCompletion 2.1-26
Arrows, for IsObjectInCategoryOfDecoratedQuivers 8.2-5
    for IsObjectInCategoryOfQuivers 5.2-3
    for IsObjectInCategoryOfReflexiveQuivers 7.2-4
AsMorphismInFunctorCategory, for IsCapNaturalTransformation 1.1-3
    for IsObjectInFunctorCategory, IsFunction, IsObjectInFunctorCategory 1.1-3
    for IsObjectInFunctorCategory, IsList, IsObjectInFunctorCategory 1.1-3
    for IsObjectInFunctorCategory, IsRecord, IsObjectInFunctorCategory 1.1-3
AsMorphismInFunctorCategoryByValues, for IsFunctorCategory, IsObjectInFunctorCategory, IsList, IsObjectInFunctorCategory 1.1-3
AsObjectInFunctorCategory, for IsCapCategory, IsList, IsList 1.1-2
    for IsCapCategory, IsRecord, IsRecord 1.1-2
    for IsCapFunctor 1.1-2
AssociatedCoequalizerPairInPreSheaves, for IsObjectInCategoryOfColimitQuivers 2.1-23
    for IsObjectInFiniteColimitCompletionWithStrictCoproducts 2.1-24
AssociatedMorphismIntoAlgebroidAsObjectInPreSheavesCategory, for IsMorphismInAlgebroidFromDataTables 14.1-2
CategoryOfBouquetsEnrichedOver, for IsCapCategory 4.1-1
CategoryOfColimitQuiversOfSourceCategory, for IsPreSheafCategory 2.2-11
CategoryOfDecoratedQuivers, for IsObjectInCategoryOfQuivers, IsList, IsList 8.1-1
CategoryOfInternalCategories, for IsCapCategory 2.1-28
CategoryOfQuiversEnrichedOver, for IsCapCategory 5.1-1
CategoryOfReflexiveQuiversEnrichedOver, for IsCapCategory 7.1-1
CoequalizerDataOfPreSheafUsingCoYonedaLemma, for IsObjectInPreSheafCategory 2.1-6
CoequalizerDataOfPreSheafUsingOptimizedCoYonedaLemma, for IsObjectInPreSheafCategory 2.1-22
CoPreSheaves, for IsCapCategory 12.4-1
    for IsCapCategory, IsCapCategory 12.4-1
    for IsCapCategory, IsHomalgRing 12.4-1
CoveringListOfRepresentables, for IsObjectInPreSheafCategory 2.1-13
CoveringListOfRepresentablesUsingSplits, for IsObjectInPreSheafCategory 2.1-14
CoYonedaEmbedding, for IsCapCategory 12.2-9
CoYonedaEmbeddingOfSourceCategory, for IsCoPreSheafCategory 12.2-10
CoYonedaLemmaCoequalizerPair, for IsObjectInPreSheafCategory 2.1-7
CoYonedaLemmaOnMorphisms, for IsMorphismInPreSheafCategory 2.1-5
CoYonedaLemmaOnObjects, for IsObjectInPreSheafCategory 2.1-4
CreateBouquet, for IsCategoryOfBouquets, IsInt, IsList 4.1-2
    for IsInt, IsList 4.1-3
CreateBouquetMorphism, for IsObjectInCategoryOfBouquets, IsList, IsList, IsObjectInCategoryOfBouquets 4.1-4
CreateCoPreSheaf, for IsCapCategory, IsList, IsList 12.4-2
    for IsCapCategory, IsRecord, IsRecord 12.4-2
    for IsCapFunctor 12.4-2
CreateCoPreSheafMorphism, for IsCapNaturalTransformation 12.4-3
    for IsObjectInCoPreSheafCategory, IsFunction, IsObjectInCoPreSheafCategory 12.4-3
    for IsObjectInCoPreSheafCategory, IsList, IsObjectInCoPreSheafCategory 12.4-3
    for IsObjectInCoPreSheafCategory, IsRecord, IsObjectInCoPreSheafCategory 12.4-3
CreateCoPreSheafMorphismByValues, for IsCoPreSheafCategory, IsObjectInCoPreSheafCategory, IsList, IsObjectInCoPreSheafCategory 12.4-3
CreateDecoratedQuiver, for IsCategoryOfDecoratedQuivers, IsList, IsList 8.1-2
CreateDecoratedQuiverMorphism, for IsObjectInCategoryOfDecoratedQuivers, IsList, IsList, IsObjectInCategoryOfDecoratedQuivers 8.1-3
CreatePreSheaf, for IsCapCategory, IsList, IsList 2.1-2
    for IsCapCategory, IsRecord, IsRecord 2.1-2
    for IsCapFunctor 2.1-2
CreatePreSheafMorphism, for IsCapNaturalTransformation 2.1-3
    for IsObjectInPreSheafCategory, IsList, IsObjectInPreSheafCategory 2.1-3
    for IsObjectInPreSheafCategory, IsRecord, IsObjectInPreSheafCategory 2.1-3
CreatePreSheafMorphismByFunction, for IsObjectInPreSheafCategory, IsFunction, IsObjectInPreSheafCategory 2.1-3
CreatePreSheafMorphismByValues, for IsPreSheafCategory, IsObjectInPreSheafCategory, IsList, IsObjectInPreSheafCategory 2.1-3
CreateQuiver, for IsCategoryOfQuivers, IsInt, IsList 5.1-2
    for IsInt, IsList 5.1-3
CreateQuiverMorphism, for IsObjectInCategoryOfQuivers, IsList, IsList, IsObjectInCategoryOfQuivers 5.1-4
CreateReflexiveQuiver, for IsCategoryOfReflexiveQuivers, IsInt, IsList, IsList 7.1-2
    for IsInt, IsList, IsList 7.1-3
CreateReflexiveQuiverMorphism, for IsObjectInCategoryOfReflexiveQuivers, IsList, IsList, IsObjectInCategoryOfReflexiveQuivers 7.1-4
DecomposeOnceByRandomEndomorphism, for IsObjectInFunctorCategory 1.3-1
DecorationOfArrows, for IsCategoryOfDecoratedQuivers 8.2-3
DecorationOfVertices, for IsCategoryOfDecoratedQuivers 8.2-2
DotVertexLabelledDigraph, for IsCellInCategoryOfBouquets 4.2-5
    for IsCellInCategoryOfDecoratedQuivers 8.2-7
    for IsCellInCategoryOfQuivers 5.2-5
    for IsCellInCategoryOfReflexiveQuivers 7.2-6
EmbeddingFunctorOfFiniteStrictCoproductCompletionIntoPreSheaves, for IsPreSheafCategory 2.1-9
EmbeddingFunctorOfFiniteStrictCoproductCompletionIntoPreSheavesData, for IsPreSheafCategory 2.1-8
EmbeddingOfUnderlyingCategory, for IsAbelianClosure 10.2-2
    for IsCategoryOfBouquets 4.2-2
    for IsCategoryOfDecoratedQuivers 8.2-4
    for IsCategoryOfQuivers 5.2-2
    for IsCategoryOfReflexiveQuivers 7.2-2
    for IsFiniteCocompletion 3.2-2
    for IsFiniteCompletion 9.2-2
    for IsFreeDistributiveCompletion 13.2-2
EpimorphismFromSomeProjectiveObjectUsingSplits, for IsObjectInPreSheafCategory 2.1-15
EquivalenceFromFullSubcategoryOfProjectivesObjectsIntoAdditiveClosureOfSource, for IsPreSheafCategory 11.2-9
FinBouquets 4.4-2
FiniteCocompletion, for IsCapCategory 3.1-1
    for IsCapCategory, IsCapCategory 3.1-1
FiniteColimitCompletionWithStrictCoproductsOfSourceCategory, for IsPreSheafCategory 2.2-10
FiniteCompletion, for IsCapCategory 9.1-1
    for IsCapCategory, IsCapCategory 9.1-1
FiniteStrictCoproductCompletionOfSourceCategory, for IsPreSheafCategory 2.2-9
FinQuivers 5.4-1
FinReflexiveQuivers 7.4-2
FreeDistributiveCompletion, for IsCapCategory 13.3-1
    for IsCapCategory, IsCapCategory 13.3-1
FunctorCategory, for IsCapCategory 1.1-1
    for IsCapCategory, IsCapCategory 1.1-1
    for IsCapCategory, IsHomalgRing 1.1-1
Hom, for IsCapCategory, IsCapCategory 1.1-1
    for IsCapCategory, IsHomalgRing 1.1-1
ImageOfYonedaEmbeddingOfSource, for IsPreSheafCategory 2.2-5
IsAbelianClosure, for IsCapCategory 10.3-1
IsbellAdjunctionMonad, for IsCapCategory 11.2-5
    for IsPreSheafCategory, IsCoPreSheafCategory 11.2-5
IsbellLeftAdjoint, for IsCapCategory 11.2-3
    for IsPreSheafCategory, IsCoPreSheafCategory 11.2-3
IsbellRightAdjoint, for IsCapCategory 11.2-4
    for IsCoPreSheafCategory, IsPreSheafCategory 11.2-4
IsCategoryOfBouquets, for IsCapCategory 4.5-1
IsCategoryOfDecoratedQuivers, for IsCapCategory 8.5-1
IsCategoryOfQuivers, for IsCapCategory 5.5-1
IsCategoryOfReflexiveQuivers, for IsCapCategory 7.5-1
IsCellInAbelianClosure, for IsCapCategoryCell 10.3-2
IsCellInCategoryOfBouquets, for IsCapCategoryCell 4.5-2
IsCellInCategoryOfDecoratedQuivers, for IsCapCategoryCell 8.5-2
IsCellInCategoryOfQuivers, for IsCapCategoryCell 5.5-2
IsCellInCategoryOfReflexiveQuivers, for IsCapCategoryCell 7.5-2
IsCellInCoPreSheafCategory, for IsCapCategoryCell 12.1-2
IsCellInFiniteCocompletion, for IsCapCategoryCell 3.3-2
IsCellInFiniteCompletion, for IsCapCategoryCell 9.3-2
IsCellInFreeDistributiveCompletion, for IsCapCategoryCell 13.1-2
IsCellInFunctorCategory, for IsCapCategoryCell 1.4-2
IsCellInPreSheafCategoryOfFpEnrichedCategory, for IsCellInPreSheafCategory 2.4-2
IsCoPreSheafCategory, for IsCapCategory 12.1-1
IsFiniteCocompletion, for IsCapCategory 3.3-1
IsFiniteCompletion, for IsCapCategory 9.3-1
IsFreeDistributiveCompletion, for IsCapCategory 13.1-1
IsFunctorCategory, for IsCapCategory 1.4-1
IsMorphismInAbelianClosure, for IsCellInAbelianClosure andIsCapCategoryMorphism 10.3-4
IsMorphismInCategoryOfBouquets, for IsCellInCategoryOfBouquets andIsCapCategoryMorphism 4.5-4
IsMorphismInCategoryOfDecoratedQuivers, for IsCellInCategoryOfDecoratedQuivers andIsCapCategoryMorphism 8.5-4
IsMorphismInCategoryOfQuivers, for IsCellInCategoryOfQuivers andIsCapCategoryMorphism 5.5-4
IsMorphismInCategoryOfReflexiveQuivers, for IsCellInCategoryOfReflexiveQuivers andIsCapCategoryMorphism 7.5-4
IsMorphismInCoPreSheafCategory, for IsCellInCoPreSheafCategory andIsCapCategoryMorphism 12.1-4
IsMorphismInFiniteCocompletion, for IsCellInFiniteCocompletion andIsCapCategoryMorphism 3.3-4
IsMorphismInFiniteCompletion, for IsCellInFiniteCompletion andIsCapCategoryMorphism 9.3-4
IsMorphismInFreeDistributiveCompletion, for IsCellInFreeDistributiveCompletion andIsCapCategoryMorphism 13.1-4
IsMorphismInFunctorCategory, for IsCellInFunctorCategory andIsCapCategoryMorphism 1.4-4
IsMorphismInPreSheafCategoryOfFpEnrichedCategory, for IsCellInPreSheafCategoryOfFpEnrichedCategory andIsMorphismInPreSheafCategory 2.4-4
IsObjectInAbelianClosure, for IsCellInAbelianClosure andIsCapCategoryObject 10.3-3
IsObjectInCategoryOfBouquets, for IsCellInCategoryOfBouquets andIsCapCategoryObject 4.5-3
IsObjectInCategoryOfDecoratedQuivers, for IsCellInCategoryOfDecoratedQuivers andIsCapCategoryObject 8.5-3
IsObjectInCategoryOfQuivers, for IsCellInCategoryOfQuivers andIsCapCategoryObject 5.5-3
IsObjectInCategoryOfReflexiveQuivers, for IsCellInCategoryOfReflexiveQuivers andIsCapCategoryObject 7.5-3
IsObjectInCoPreSheafCategory, for IsCellInCoPreSheafCategory andIsCapCategoryObject 12.1-3
IsObjectInFiniteCocompletion, for IsCellInFiniteCocompletion andIsCapCategoryObject 3.3-3
IsObjectInFiniteCompletion, for IsCellInFiniteCompletion andIsCapCategoryObject 9.3-3
IsObjectInFreeDistributiveCompletion, for IsCellInFreeDistributiveCompletion andIsCapCategoryObject 13.1-3
IsObjectInFunctorCategory, for IsCellInFunctorCategory andIsCapCategoryObject 1.4-3
IsObjectInPreSheafCategoryOfFpEnrichedCategory, for IsCellInPreSheafCategoryOfFpEnrichedCategory andIsObjectInPreSheafCategory 2.4-3
IsomorphismFromImageOfYonedaEmbeddingOfSourceIntoSource, for IsPreSheafCategory 11.2-8
IsomorphismFromSourceIntoImageOfYonedaEmbeddingOfSource, for IsPreSheafCategory 11.2-7
IsPreSheafCategoryOfFpEnrichedCategory, for IsPreSheafCategory 2.4-1
IsReflexive, for IsCapCategoryObject 15.1-1
Loops, for IsObjectInCategoryOfBouquets 4.2-3
    for IsObjectInCategoryOfReflexiveQuivers 7.2-3
MaximalMorphismFromRepresentable, for IsObjectInPreSheafCategory 2.1-12
MorphismFromCoproductOfRepresentables, for IsPreSheafCategory, IsList, IsObjectInPreSheafCategory 2.1-11
MorphismFromRepresentableByYonedaLemma, for IsPreSheafCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsObjectInPreSheafCategory 2.1-10
NakayamaLeftAdjoint, for IsAlgebroid 11.2-1
    for IsPreSheafCategory, IsCoPreSheafCategory 11.2-1
NakayamaRightAdjoint, for IsAlgebroid 11.2-2
    for IsCoPreSheafCategory, IsPreSheafCategory 11.2-2
NerveTruncatedInDegree2, for IsCapCategory 2.2-7
OppositeOfSource, for IsCoPreSheafCategory 12.2-5
    for IsFunctorCategory 1.2-5
OptimizedCoYonedaLemmaCoequalizerPair, for IsObjectInPreSheafCategory 2.1-25
OptimizedCoYonedaLemmaOnMorphisms, for IsMorphismInPreSheafCategory 2.1-21
OptimizedCoYonedaLemmaOnObjects, for IsObjectInPreSheafCategory 2.1-20
PreSheaves, for IsCapCategory, IsHomalgRing 2.1-1
QuiverOfCategoryOfBouquets 4.4-1
QuiverOfCategoryOfReflexiveQuivers 7.4-1
RetractionByCoveringListOfRepresentables, for IsPreSheafCategory, IsList, IsObjectInPreSheafCategory 2.1-18
RetractionFromCoYonedaProjectiveObjectOntoOptimizedCoYonedaProjectiveObject, for IsObjectInPreSheafCategory 2.1-19
SectionAndComplementByCoveringListOfRepresentables, for IsPreSheafCategory, IsList, IsObjectInPreSheafCategory 2.1-16
SectionFromOptimizedCoYonedaProjectiveObjectIntoCoYonedaProjectiveObject, for IsObjectInPreSheafCategory 2.1-17
SievesOfPathsToTruth, for IsMorphismInPreSheafCategory 2.2-8
SimpleObjects, for IsPreSheafCategory 2.2-6
Source, for IsCoPreSheafCategory 12.2-1
    for IsFunctorCategory 1.2-1
    for IsObjectInCoPreSheafCategory 12.2-3
    for IsObjectInFunctorCategory 1.2-3
Subobject, for IsObjectInCategoryOfBouquets, IsList 4.1-6
    for IsObjectInCategoryOfBouquets, IsList, IsList 4.1-5
    for IsObjectInCategoryOfDecoratedQuivers, IsList 8.1-5
    for IsObjectInCategoryOfDecoratedQuivers, IsList, IsList 8.1-4
    for IsObjectInCategoryOfQuivers, IsList 5.1-6
    for IsObjectInCategoryOfQuivers, IsList, IsList 5.1-5
    for IsObjectInCategoryOfReflexiveQuivers, IsList 7.1-6
    for IsObjectInCategoryOfReflexiveQuivers, IsList, IsList 7.1-5
SvgString, for IsCellInCategoryOfBouquets 4.2-4
    for IsCellInCategoryOfDecoratedQuivers 8.2-6
    for IsCellInCategoryOfQuivers 5.2-4
    for IsCellInCategoryOfReflexiveQuivers 7.2-5
Target, for IsCoPreSheafCategory 12.2-2
    for IsFunctorCategory 1.2-2
    for IsObjectInCoPreSheafCategory 12.2-4
    for IsObjectInFunctorCategory 1.2-4
UnderlyingCapTwoCategoryCell, for IsCellInCoPreSheafCategory 12.2-8
    for IsCellInFunctorCategory 1.2-8
    for IsCellInPreSheafCategory 2.2-2
UnderlyingCategory, for IsAbelianClosure 10.2-1
    for IsCategoryOfBouquets 4.2-1
    for IsCategoryOfDecoratedQuivers 8.2-1
    for IsCategoryOfQuivers 5.2-1
    for IsCategoryOfReflexiveQuivers 7.2-1
    for IsFiniteCocompletion 3.2-1
    for IsFiniteCompletion 9.2-1
    for IsFreeDistributiveCompletion 13.2-1
UnitOfIsbellAdjunction, for IsPreSheafCategory 11.2-6
ValuesOfCoPreSheaf, for IsObjectInCoPreSheafCategory 12.2-6
ValuesOfFunctor, for IsObjectInFunctorCategory 1.2-6
ValuesOnAllObjects, for IsMorphismInCoPreSheafCategory 12.2-7
    for IsMorphismInFunctorCategory 1.2-7
    for IsMorphismInPreSheafCategory 2.2-1
WeakDirectSumDecomposition, for IsObjectInFunctorCategory 1.3-2
YonedaComposition, for IsCapCategory 1.2-13
YonedaEmbedding, for IsCapCategory 2.2-3
YonedaEmbeddingInFunctorCategory, for IsCapCategory 1.2-9
YonedaEmbeddingOfOppositeOfSourceCategory, for IsFunctorCategory 1.2-10
YonedaEmbeddingOfSourceCategory, for IsPreSheafCategory 2.2-4
YonedaFibration, for IsCapCategory 1.2-11
YonedaProjection, for IsCapCategory 1.2-12