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
DefiningPairOfColimitQuiver, for IsObjectInCategoryOfColimitQuivers 7.1-3
DefiningPairOfColimitQuiverMorphism, for IsMorphismInCategoryOfColimitQuivers 7.1-4
DefiningPairOfMorphismBetweenCoequalizerPairs, for IsMorphismInCoequalizerPreCompletion 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 IsCoequalizerPreCompletion 8.1-4
    for IsCoFreydCategory 12.1-1
    for IsFiniteStrictCoproductCompletion 1.1-4
    for IsFiniteStrictCoproductCompletionOfObjectFiniteCategory 3.1-6
    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-7
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
IsCellInCoequalizerPreCompletion, for IsCapCategoryCell 8.2-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.3-2
IsCellInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory, for IsCapCategoryCell 5.3-2
IsCoequalizerPreCompletion, for IsCapCategory 8.2-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 FilterIntersection( IsCapCategoryMorphism 13.3-4
IsMorphismInCategoryOfColimitQuivers, for FilterIntersection( IsCapCategoryMorphism 7.3-4
IsMorphismInCoequalizerPreCompletion, for FilterIntersection( IsCapCategoryMorphism 8.2-4
IsMorphismInFiniteColimitCompletionWithStrictCoproducts, for FilterIntersection( IsCapCategoryMorphism 9.3-4
IsMorphismInFiniteStrictCoproductCompletion, for FilterIntersection( IsCapCategoryMorphism 1.3-4
IsMorphismInFiniteStrictCoproductCompletionOfObjectFiniteCategory, for FilterIntersection( IsCapCategoryMorphism 3.3-4
IsMorphismInFiniteStrictProductCompletion, for FilterIntersection( IsCapCategoryMorphism 2.3-4
IsMorphismInFreeDistributiveCategoryWithStrictProductAndCoproducts, for FilterIntersection( IsCapCategoryMorphism 4.3-4
IsMorphismInPairOfParallelArrowsCategory, for FilterIntersection( IsCapCategoryMorphism 6.3-4
IsMorphismInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory, for FilterIntersection( IsCapCategoryMorphism 5.3-4
IsObjectInAbelianClosureAsFreydOfCoFreydOfStrictAdditiveClosure, for FilterIntersection( IsCapCategoryObject 13.3-3
IsObjectInCategoryOfColimitQuivers, for FilterIntersection( IsCapCategoryObject 7.3-3
IsObjectInCoequalizerPreCompletion, for FilterIntersection( IsCapCategoryObject 8.2-3
IsObjectInFiniteColimitCompletionWithStrictCoproducts, for FilterIntersection( IsCapCategoryObject 9.3-3
IsObjectInFiniteStrictCoproductCompletion, for FilterIntersection( IsCapCategoryObject 1.3-3
IsObjectInFiniteStrictCoproductCompletionOfObjectFiniteCategory, for FilterIntersection( IsCapCategoryObject 3.3-3
IsObjectInFiniteStrictProductCompletion, for FilterIntersection( IsCapCategoryObject 2.3-3
IsObjectInFreeDistributiveCategoryWithStrictProductAndCoproducts, for FilterIntersection( IsCapCategoryObject 4.3-3
IsObjectInPairOfParallelArrowsCategory, for FilterIntersection( IsCapCategoryObject 6.3-3
IsObjectInSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory, for FilterIntersection( IsCapCategoryObject 5.3-3
IsPairOfParallelArrowsCategory, for IsCapCategory 6.3-1
IsSkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory, for IsCapCategory 5.3-1
NumberOfObjectsOfUnderlyingCategory, for IsFiniteStrictCoproductCompletionOfObjectFiniteCategory 3.1-5
PairOfIntAndList, for IsObjectInFiniteStrictCoproductCompletion 1.1-1
    for IsObjectInFiniteStrictCoproductCompletionOfObjectFiniteCategory 3.1-1
    for IsObjectInFiniteStrictProductCompletion 2.1-1
PairOfLists, for IsMorphismInFiniteStrictCoproductCompletion 1.1-2
    for IsMorphismInFiniteStrictProductCompletion 2.1-2
PairOfObjectsAndPairOfParallelMorphisms, for IsObjectInCoequalizerPreCompletion 8.1-1
    for IsObjectInFiniteColimitCompletionWithStrictCoproducts 9.1-3
    for IsObjectInPairOfParallelArrowsCategory 6.2-1
QuiverOfCategoryOfQuivers 6.1-1
SetOfObjectsOfUnderlyingCategory, for IsFiniteStrictCoproductCompletionOfObjectFiniteCategory 3.1-4
SkeletalCategoryOfFiniteSetsAsFiniteStrictCoproductCompletionOfTerminalCategory 5.2-1
SkeletalFinSetsAsFreeElementaryToposOfInitialCategory 5.2-2
TensorizeMorphismWithObjectInRangeCategoryOfHomomorphismStructure, for IsCapCategoryMorphism, IsCapCategoryObject 14.1-2
TensorizeObjectWithObjectInRangeCategoryOfHomomorphismStructure, for IsCapCategoryObject, IsCapCategoryObject 14.1-1
TripleOfLists, for IsMorphismInFiniteStrictCoproductCompletionOfObjectFiniteCategory 3.1-2
UnderlyingCategory, for IsAbelianClosureAsFreydOfCoFreydOfStrictAdditiveClosure 13.1-1
    for IsCategoryOfColimitQuivers 7.1-1
    for IsCoequalizerPreCompletion 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