Index

AbelianClosureWithStrictDirectSumsAsFreydOfCoFreydOfStrictAdditiveClosure, for IsCapCategory 12.2-1
AsList, for IsMorphismInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory 4.1-3
    for IsObjectInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory 4.1-2
AssociatedColimitQuiver, for IsObjectInFiniteColimitCompletionWithStrictCoproducts 8.2-3
CategoryOfColimitQuivers, for IsCapCategory 6.2-1
CategoryOfColimitQuiversOfUnderlyingCategory, for IsFiniteColimitCompletionWithStrictCoproducts 8.1-5
CategoryOfPreSheavesOfUnderlyingCategory, for IsCategoryOfColimitQuivers 6.2-4
    for IsFiniteColimitCompletionWithStrictCoproducts 8.2-2
CoequalizerCompletion, for IsCapCategory 7.2-1
CreateColimitQuiver, for IsCategoryOfColimitQuivers, IsList 6.2-2
CreateMorphismOfColimitQuivers, for IsObjectInCategoryOfColimitQuivers, IsList, IsObjectInCategoryOfColimitQuivers 6.2-3
DefiningPairOfColimitQuiver, for IsObjectInCategoryOfColimitQuivers 6.1-3
DefiningPairOfColimitQuiverMorphism, for IsMorphismInCategoryOfColimitQuivers 6.1-4
DefiningPairOfMorphismBetweenCoequalizerPairs, for IsMorphismInCoequalizerCompletion 7.1-2
    for IsMorphismInFiniteColimitCompletionWithStrictCoproducts 8.1-4
DefiningPairOfMorphismBetweenParallelPairs, for IsMorphismInPairOfParallelArrowsCategory 5.2-2
EmbeddingOfUnderlyingCategory, for IsAbelianClosureWithStrictDirectSumsAsFreydOfCoFreydOfStrictAdditiveClosure 12.2-2
    for IsAdditiveClosureCategory 9.1-1
    for IsCategoryOfColimitQuivers 6.1-2
    for IsCoequalizerCompletion 7.1-4
    for IsCoFreydCategory 11.1-1
    for IsFiniteStrictCoproductCompletion 1.1-4
    for IsFiniteStrictProductCompletion 2.1-4
    for IsFreeDistributiveCategoryWithStrictProductAndCoproducts 3.2-2
    for IsFreydCategory 10.1-1
ExtendEmbeddingToFiniteStrictCoproductCompletion, for IsCapCategory 1.1-6
ExtendFunctorToAbelianClosureWithStrictDirectSums, for IsCapFunctor 12.2-3
ExtendFunctorToCoFreydCategory, for IsCapFunctor 11.1-2
ExtendFunctorToFiniteStrictCoproductCompletion, for IsCapFunctor 1.1-5
ExtendFunctorToFiniteStrictProductCompletion, for IsCapFunctor 2.1-5
ExtendFunctorToFreeDistributiveCategoryWithStrictProductAndCoproducts, for IsCapFunctor 3.2-3
ExtendFunctorToFreydCategory, for IsCapFunctor 10.1-2
ExtendFunctorToStrictAdditiveClosure, for IsCapFunctor 9.1-2
FiniteColimitCompletionWithStrictCoproducts, for IsCapCategory 8.2-1
FiniteColimitCompletionWithStrictCoproductsOfUnderlyingCategory, for IsCategoryOfColimitQuivers 6.1-5
FiniteStrictCoproductCompletion, for IsCapCategory 1.2-1
FiniteStrictCoproductCompletionOfUnderlyingCategory, for IsFiniteColimitCompletionWithStrictCoproducts 8.1-2
FiniteStrictProductCompletion, for IsCapCategory 2.2-1
FreeDistributiveCategoryWithStrictProductAndCoproducts, for IsCapCategory 3.2-1
IsAbelianClosureWithStrictDirectSumsAsFreydOfCoFreydOfStrictAdditiveClosure, for IsCapCategory 12.3-1
IsCategoryOfColimitQuivers, for IsCapCategory 6.3-1
IsCellInAbelianClosureWithStrictDirectSumsAsFreydOfCoFreydOfStrictAdditiveClosure, for IsCapCategoryCell 12.3-2
IsCellInCategoryOfColimitQuivers, for IsCapCategoryCell 6.3-2
IsCellInCoequalizerCompletion, for IsCapCategoryCell 7.3-2
IsCellInFiniteColimitCompletionWithStrictCoproducts, for IsCapCategoryCell 8.3-2
IsCellInFiniteStrictCoproductCompletion, for IsCapCategoryCell 1.3-2
IsCellInFiniteStrictProductCompletion, for IsCapCategoryCell 2.3-2
IsCellInFreeDistributiveCategoryWithStrictProductAndCoproducts, for IsCapCategoryCell 3.3-2
IsCellInPairOfParallelArrowsCategory, for IsCapCategoryCell 5.4-2
IsCellInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory, for IsCapCategoryCell 4.3-2
IsCoequalizerCompletion, for IsCapCategory 7.3-1
IsFiniteColimitCompletionWithStrictCoproducts, for IsCapCategory 8.3-1
IsFiniteStrictCoproductCompletion, for IsCapCategory 1.3-1
IsFiniteStrictProductCompletion, for IsCapCategory 2.3-1
IsFreeDistributiveCategoryWithStrictProductAndCoproducts, for IsCapCategory 3.3-1
IsMorphismInAbelianClosureWithStrictDirectSumsAsFreydOfCoFreydOfStrictAdditiveClosure, for IsCellInAbelianClosureWithStrictDirectSumsAsFreydOfCoFreydOfStrictAdditiveClosure and IsCapCategoryMorphism 12.3-4
IsMorphismInCategoryOfColimitQuivers, for IsCellInCategoryOfColimitQuivers andIsCapCategoryMorphism 6.3-4
IsMorphismInCoequalizerCompletion, for IsCellInCoequalizerCompletion and IsCapCategoryMorphism 7.3-4
IsMorphismInFiniteColimitCompletionWithStrictCoproducts, for IsCellInFiniteColimitCompletionWithStrictCoproducts and IsCapCategoryMorphism 8.3-4
IsMorphismInFiniteStrictCoproductCompletion, for IsCellInFiniteStrictCoproductCompletion and IsCapCategoryMorphism 1.3-4
IsMorphismInFiniteStrictProductCompletion, for IsCellInFiniteStrictProductCompletion and IsCapCategoryMorphism 2.3-4
IsMorphismInFreeDistributiveCategoryWithStrictProductAndCoproducts, for IsCellInFreeDistributiveCategoryWithStrictProductAndCoproducts and IsCapCategoryMorphism 3.3-4
IsMorphismInPairOfParallelArrowsCategory, for IsCellInPairOfParallelArrowsCategory and IsCapCategoryMorphism 5.4-4
IsMorphismInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory, for IsCellInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory and IsCapCategoryMorphism 4.3-4
IsObjectInAbelianClosureWithStrictDirectSumsAsFreydOfCoFreydOfStrictAdditiveClosure, for IsCellInAbelianClosureWithStrictDirectSumsAsFreydOfCoFreydOfStrictAdditiveClosure and IsCapCategoryObject 12.3-3
IsObjectInCategoryOfColimitQuivers, for IsCellInCategoryOfColimitQuivers andIsCapCategoryObject 6.3-3
IsObjectInCoequalizerCompletion, for IsCellInCoequalizerCompletion and IsCapCategoryObject 7.3-3
IsObjectInFiniteColimitCompletionWithStrictCoproducts, for IsCellInFiniteColimitCompletionWithStrictCoproducts and IsCapCategoryObject 8.3-3
IsObjectInFiniteStrictCoproductCompletion, for IsCellInFiniteStrictCoproductCompletion and IsCapCategoryObject 1.3-3
IsObjectInFiniteStrictProductCompletion, for IsCellInFiniteStrictProductCompletion and IsCapCategoryObject 2.3-3
IsObjectInFreeDistributiveCategoryWithStrictProductAndCoproducts, for IsCellInFreeDistributiveCategoryWithStrictProductAndCoproducts and IsCapCategoryObject 3.3-3
IsObjectInPairOfParallelArrowsCategory, for IsCellInPairOfParallelArrowsCategory and IsCapCategoryObject 5.4-3
IsObjectInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory, for IsCellInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory and IsCapCategoryObject 4.3-3
IsPairOfParallelArrowsCategory, for IsCapCategory 5.4-1
IsSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory, for IsCapCategory 4.3-1
Length, for IsObjectInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory 4.1-1
PairOfIntAndList, for IsObjectInFiniteStrictCoproductCompletion 1.1-1
    for IsObjectInFiniteStrictProductCompletion 2.1-1
PairOfLists, for IsMorphismInFiniteStrictCoproductCompletion 1.1-2
    for IsMorphismInFiniteStrictProductCompletion 2.1-2
PairOfObjectsAndPairOfParallelMorphisms, for IsObjectInCoequalizerCompletion 7.1-1
    for IsObjectInFiniteColimitCompletionWithStrictCoproducts 8.1-3
    for IsObjectInPairOfParallelArrowsCategory 5.2-1
PairOfParallelArrowsCategory, for IsCapCategory 5.3-1
QuiverOfCategoryOfQuivers 5.1-1
SkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory 4.2-1
SkeletalFinSetsAsFreeElementaryToposOfInitialCategory 4.2-2
TensorizeMorphismWithObjectInRangeCategoryOfHomomorphismStructure, for IsCapCategoryMorphism, IsCapCategoryObject 13.1-3
TensorizeObjectWithMorphismInRangeCategoryOfHomomorphismStructure, for IsCapCategoryObject, IsCapCategoryMorphism 13.1-2
TensorizeObjectWithObjectInRangeCategoryOfHomomorphismStructure, for IsCapCategoryObject, IsCapCategoryObject 13.1-1
UnderlyingCategory, for IsAbelianClosureWithStrictDirectSumsAsFreydOfCoFreydOfStrictAdditiveClosure 12.1-1
    for IsCategoryOfColimitQuivers 6.1-1
    for IsCoequalizerCompletion 7.1-3
    for IsFiniteColimitCompletionWithStrictCoproducts 8.1-1
    for IsFiniteStrictCoproductCompletion 1.1-3
    for IsFiniteStrictProductCompletion 2.1-3
    for IsFreeDistributiveCategoryWithStrictProductAndCoproducts 3.1-1
    for IsPairOfParallelArrowsCategory 5.2-3