Index

AbelianClosureAsFreydOfCoFreydOfStrictAdditiveClosure, for IsCapCategory 13.2-1
AsList, for IsMorphismInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory 5.1-3
    for IsObjectInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory 5.1-2
AssociatedColimitQuiver, for IsObjectInFiniteColimitCompletionWithStrictCoproducts 9.2-3
Cardinality, for IsObjectInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory 5.1-1
CategoryOfColimitQuivers, for IsCapCategory 7.2-1
CategoryOfColimitQuiversOfUnderlyingCategory, for IsFiniteColimitCompletionWithStrictCoproducts 9.1-5
CategoryOfPreSheavesOfUnderlyingCategory, for IsCategoryOfColimitQuivers 7.2-2
    for IsFiniteColimitCompletionWithStrictCoproducts 9.2-2
CoequalizerCompletion, for IsCapCategory 8.2-1
DefiningPairOfColimitQuiver, for IsObjectInCategoryOfColimitQuivers 7.1-3
DefiningPairOfColimitQuiverMorphism, for IsMorphismInCategoryOfColimitQuivers 7.1-4
DefiningPairOfMorphismBetweenCoequalizerPairs, for IsMorphismInCoequalizerCompletion 8.1-2
    for IsMorphismInFiniteColimitCompletionWithStrictCoproducts 9.1-4
DefiningPairOfMorphismBetweenParallelPairs, for IsMorphismInPairOfParallelArrowsCategory 6.2-2
EmbeddingOfUnderlyingCategory, for IsAbelianClosureAsFreydOfCoFreydOfStrictAdditiveClosure 13.2-2
    for IsAdditiveClosureCategory 10.1-1
    for IsCategoryOfColimitQuivers 7.1-2
    for IsCoequalizerCompletion 8.1-4
    for IsCoFreydCategory 12.1-1
    for IsFiniteStrictCoproductCompletion 1.1-4
    for IsFiniteStrictCoproductCompletionOfObjectFiniteCategory 3.1-5
    for IsFiniteStrictProductCompletion 2.1-4
    for IsFreeDistributiveCategoryWithStrictProductAndCoproducts 4.2-2
    for IsFreydCategory 11.1-1
ExtendEmbeddingToFiniteStrictCoproductCompletion, for IsCapCategory 1.1-6
ExtendFunctorToAbelianClosure, for IsCapFunctor 13.2-3
ExtendFunctorToCoFreydCategory, for IsCapFunctor 12.1-2
ExtendFunctorToFiniteStrictCoproductCompletion, for IsCapFunctor 1.1-5
ExtendFunctorToFiniteStrictCoproductCompletionOfObjectFiniteCategory, for IsCapFunctor 3.1-6
ExtendFunctorToFiniteStrictProductCompletion, for IsCapFunctor 2.1-5
ExtendFunctorToFreeDistributiveCategoryWithStrictProductAndCoproducts, for IsCapFunctor 4.2-3
ExtendFunctorToFreydCategory, for IsCapFunctor 11.1-2
ExtendFunctorToStrictAdditiveClosure, for IsCapFunctor 10.1-2
FiniteColimitCompletionWithStrictCoproducts, for IsCapCategory 9.2-1
FiniteColimitCompletionWithStrictCoproductsOfUnderlyingCategory, for IsCategoryOfColimitQuivers 7.1-5
FiniteStrictCoproductCompletion, for IsCapCategory 1.2-1
FiniteStrictCoproductCompletionOfObjectFiniteCategory, for IsCapCategory 3.2-1
FiniteStrictCoproductCompletionOfUnderlyingCategory, for IsFiniteColimitCompletionWithStrictCoproducts 9.1-2
FiniteStrictProductCompletion, for IsCapCategory 2.2-1
FreeDistributiveCategoryWithStrictProductAndCoproducts, for IsCapCategory 4.2-1
IsAbelianClosureAsFreydOfCoFreydOfStrictAdditiveClosure, for IsCapCategory 13.3-1
IsCategoryOfColimitQuivers, for IsCapCategory 7.3-1
IsCellInAbelianClosureAsFreydOfCoFreydOfStrictAdditiveClosure, for IsCapCategoryCell 13.3-2
IsCellInCategoryOfColimitQuivers, for IsCapCategoryCell 7.3-2
IsCellInCoequalizerCompletion, for IsCapCategoryCell 8.3-2
IsCellInFiniteColimitCompletionWithStrictCoproducts, for IsCapCategoryCell 9.3-2
IsCellInFiniteStrictCoproductCompletion, for IsCapCategoryCell 1.3-2
IsCellInFiniteStrictCoproductCompletionOfObjectFiniteCategory, for IsCapCategoryCell 3.3-2
IsCellInFiniteStrictProductCompletion, for IsCapCategoryCell 2.3-2
IsCellInFreeDistributiveCategoryWithStrictProductAndCoproducts, for IsCapCategoryCell 4.3-2
IsCellInPairOfParallelArrowsCategory, for IsCapCategoryCell 6.4-2
IsCellInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory, for IsCapCategoryCell 5.3-2
IsCoequalizerCompletion, for IsCapCategory 8.3-1
IsFiniteColimitCompletionWithStrictCoproducts, for IsCapCategory 9.3-1
IsFiniteStrictCoproductCompletion, for IsCapCategory 1.3-1
IsFiniteStrictCoproductCompletionOfObjectFiniteCategory, for IsCapCategory 3.3-1
IsFiniteStrictProductCompletion, for IsCapCategory 2.3-1
IsFreeDistributiveCategoryWithStrictProductAndCoproducts, for IsCapCategory 4.3-1
IsMorphismInAbelianClosureAsFreydOfCoFreydOfStrictAdditiveClosure, for IsCellInAbelianClosureAsFreydOfCoFreydOfStrictAdditiveClosure and IsCapCategoryMorphism 13.3-4
IsMorphismInCategoryOfColimitQuivers, for IsCellInCategoryOfColimitQuivers andIsCapCategoryMorphism 7.3-4
IsMorphismInCoequalizerCompletion, for IsCellInCoequalizerCompletion and IsCapCategoryMorphism 8.3-4
IsMorphismInFiniteColimitCompletionWithStrictCoproducts, for IsCellInFiniteColimitCompletionWithStrictCoproducts and IsCapCategoryMorphism 9.3-4
IsMorphismInFiniteStrictCoproductCompletion, for IsCellInFiniteStrictCoproductCompletion and IsCapCategoryMorphism 1.3-4
IsMorphismInFiniteStrictCoproductCompletionOfObjectFiniteCategory, for IsCellInFiniteStrictCoproductCompletionOfObjectFiniteCategory and IsCapCategoryMorphism 3.3-4
IsMorphismInFiniteStrictProductCompletion, for IsCellInFiniteStrictProductCompletion and IsCapCategoryMorphism 2.3-4
IsMorphismInFreeDistributiveCategoryWithStrictProductAndCoproducts, for IsCellInFreeDistributiveCategoryWithStrictProductAndCoproducts and IsCapCategoryMorphism 4.3-4
IsMorphismInPairOfParallelArrowsCategory, for IsCellInPairOfParallelArrowsCategory and IsCapCategoryMorphism 6.4-4
IsMorphismInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory, for IsCellInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory and IsCapCategoryMorphism 5.3-4
IsObjectInAbelianClosureAsFreydOfCoFreydOfStrictAdditiveClosure, for IsCellInAbelianClosureAsFreydOfCoFreydOfStrictAdditiveClosure and IsCapCategoryObject 13.3-3
IsObjectInCategoryOfColimitQuivers, for IsCellInCategoryOfColimitQuivers andIsCapCategoryObject 7.3-3
IsObjectInCoequalizerCompletion, for IsCellInCoequalizerCompletion and IsCapCategoryObject 8.3-3
IsObjectInFiniteColimitCompletionWithStrictCoproducts, for IsCellInFiniteColimitCompletionWithStrictCoproducts and IsCapCategoryObject 9.3-3
IsObjectInFiniteStrictCoproductCompletion, for IsCellInFiniteStrictCoproductCompletion and IsCapCategoryObject 1.3-3
IsObjectInFiniteStrictCoproductCompletionOfObjectFiniteCategory, for IsCellInFiniteStrictCoproductCompletionOfObjectFiniteCategory and IsCapCategoryObject 3.3-3
IsObjectInFiniteStrictProductCompletion, for IsCellInFiniteStrictProductCompletion and IsCapCategoryObject 2.3-3
IsObjectInFreeDistributiveCategoryWithStrictProductAndCoproducts, for IsCellInFreeDistributiveCategoryWithStrictProductAndCoproducts and IsCapCategoryObject 4.3-3
IsObjectInPairOfParallelArrowsCategory, for IsCellInPairOfParallelArrowsCategory and IsCapCategoryObject 6.4-3
IsObjectInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory, for IsCellInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory and IsCapCategoryObject 5.3-3
IsPairOfParallelArrowsCategory, for IsCapCategory 6.4-1
IsSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory, for IsCapCategory 5.3-1
NumberOfObjectsOfUnderlyingCategory, for IsFiniteStrictCoproductCompletionOfObjectFiniteCategory 3.1-4
PairOfIntAndList, for IsObjectInFiniteStrictCoproductCompletion 1.1-1
    for IsObjectInFiniteStrictCoproductCompletionOfObjectFiniteCategory 3.1-1
    for IsObjectInFiniteStrictProductCompletion 2.1-1
PairOfLists, for IsMorphismInFiniteStrictCoproductCompletion 1.1-2
    for IsMorphismInFiniteStrictCoproductCompletionOfObjectFiniteCategory 3.1-2
    for IsMorphismInFiniteStrictProductCompletion 2.1-2
PairOfObjectsAndPairOfParallelMorphisms, for IsObjectInCoequalizerCompletion 8.1-1
    for IsObjectInFiniteColimitCompletionWithStrictCoproducts 9.1-3
    for IsObjectInPairOfParallelArrowsCategory 6.2-1
PairOfParallelArrowsCategory, for IsCapCategory 6.3-1
QuiverOfCategoryOfQuivers 6.1-1
SkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory 5.2-1
SkeletalFinSetsAsFreeElementaryToposOfInitialCategory 5.2-2
TensorizeMorphismWithObjectInRangeCategoryOfHomomorphismStructure, for IsCapCategoryMorphism, IsCapCategoryObject 14.1-3
TensorizeObjectWithMorphismInRangeCategoryOfHomomorphismStructure, for IsCapCategoryObject, IsCapCategoryMorphism 14.1-2
TensorizeObjectWithObjectInRangeCategoryOfHomomorphismStructure, for IsCapCategoryObject, IsCapCategoryObject 14.1-1
UnderlyingCategory, for IsAbelianClosureAsFreydOfCoFreydOfStrictAdditiveClosure 13.1-1
    for IsCategoryOfColimitQuivers 7.1-1
    for IsCoequalizerCompletion 8.1-3
    for IsFiniteColimitCompletionWithStrictCoproducts 9.1-1
    for IsFiniteStrictCoproductCompletion 1.1-3
    for IsFiniteStrictCoproductCompletionOfObjectFiniteCategory 3.1-3
    for IsFiniteStrictProductCompletion 2.1-3
    for IsFreeDistributiveCategoryWithStrictProductAndCoproducts 4.1-1
    for IsPairOfParallelArrowsCategory 6.2-3