Index

AddBasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory, for IsCapCategory, IsFunction 2.10-1
    for IsCapCategory, IsFunction, IsInt 2.10-1
AddBasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory, for IsCapCategory, IsFunction 2.10-2
    for IsCapCategory, IsFunction, IsInt 2.10-2
AddBiasedRelativeWeakFiberProduct, for IsCapCategory, IsFunction 2.10-3
    for IsCapCategory, IsFunction, IsInt 2.10-3
AddColimit, for IsCapCategory, IsFunction 2.10-4
    for IsCapCategory, IsFunction, IsInt 2.10-4
AddEmbeddingOfSumOfImagesOfAllMorphisms, for IsCapCategory, IsFunction 2.10-5
    for IsCapCategory, IsFunction, IsInt 2.10-5
AddInjectionOfCofactorOfColimit, for IsCapCategory, IsFunction 2.10-6
    for IsCapCategory, IsFunction, IsInt 2.10-6
AddInjectionOfCofactorOfColimitWithGivenColimit, for IsCapCategory, IsFunction 2.10-7
    for IsCapCategory, IsFunction, IsInt 2.10-7
AddIsWeakInitial, for IsCapCategory, IsFunction 2.10-8
    for IsCapCategory, IsFunction, IsInt 2.10-8
AddIsWeakTerminal, for IsCapCategory, IsFunction 2.10-9
    for IsCapCategory, IsFunction, IsInt 2.10-9
AddLimit, for IsCapCategory, IsFunction 2.10-10
    for IsCapCategory, IsFunction, IsInt 2.10-10
AddMereExistenceOfUniqueSolutionOfHomogeneousLinearSystemInAbCategory, for IsCapCategory, IsFunction 2.10-11
    for IsCapCategory, IsFunction, IsInt 2.10-11
AddMereExistenceOfUniqueSolutionOfLinearSystemInAbCategory, for IsCapCategory, IsFunction 2.10-12
    for IsCapCategory, IsFunction, IsInt 2.10-12
AddMorphismBetweenCoproducts, for IsCapCategory, IsFunction 2.10-13
    for IsCapCategory, IsFunction, IsInt 2.10-13
AddMorphismBetweenCoproductsWithGivenCoproducts, for IsCapCategory, IsFunction 2.10-14
    for IsCapCategory, IsFunction, IsInt 2.10-14
AddMorphismBetweenDirectProducts, for IsCapCategory, IsFunction 2.10-15
    for IsCapCategory, IsFunction, IsInt 2.10-15
AddMorphismBetweenDirectProductsWithGivenDirectProducts, for IsCapCategory, IsFunction 2.10-16
    for IsCapCategory, IsFunction, IsInt 2.10-16
AddMorphismOntoSumOfImagesOfAllMorphisms, for IsCapCategory, IsFunction 2.10-17
    for IsCapCategory, IsFunction, IsInt 2.10-17
AddProjectionInFactorOfLimit, for IsCapCategory, IsFunction 2.10-18
    for IsCapCategory, IsFunction, IsInt 2.10-18
AddProjectionInFactorOfLimitWithGivenLimit, for IsCapCategory, IsFunction 2.10-19
    for IsCapCategory, IsFunction, IsInt 2.10-19
AddProjectionOfBiasedRelativeWeakFiberProduct, for IsCapCategory, IsFunction 2.10-20
    for IsCapCategory, IsFunction, IsInt 2.10-20
AddProjectionOfBiasedRelativeWeakFiberProductWithGivenBiasedRelativeWeakFiberProduct, for IsCapCategory, IsFunction 2.10-21
    for IsCapCategory, IsFunction, IsInt 2.10-21
AddRelativeLift, for IsCapCategory, IsFunction 2.10-22
    for IsCapCategory, IsFunction, IsInt 2.10-22
AddSetOfMorphismsOfFiniteCategory, for IsCapCategory, IsFunction 2.10-23
    for IsCapCategory, IsFunction, IsInt 2.10-23
AddSetOfObjectsOfCategory, for IsCapCategory, IsFunction 2.10-24
    for IsCapCategory, IsFunction, IsInt 2.10-24
AddSumOfImagesOfAllMorphisms, for IsCapCategory, IsFunction 2.10-25
    for IsCapCategory, IsFunction, IsInt 2.10-25
AddUniversalMorphismFromColimit, for IsCapCategory, IsFunction 2.10-26
    for IsCapCategory, IsFunction, IsInt 2.10-26
AddUniversalMorphismFromColimitWithGivenColimit, for IsCapCategory, IsFunction 2.10-27
    for IsCapCategory, IsFunction, IsInt 2.10-27
AddUniversalMorphismIntoBiasedRelativeWeakFiberProduct, for IsCapCategory, IsFunction 2.10-28
    for IsCapCategory, IsFunction, IsInt 2.10-28
AddUniversalMorphismIntoBiasedRelativeWeakFiberProductWithGivenBiasedRelativeWeakFiberProduct, for IsCapCategory, IsFunction 2.10-29
    for IsCapCategory, IsFunction, IsInt 2.10-29
AddUniversalMorphismIntoLimit, for IsCapCategory, IsFunction 2.10-30
    for IsCapCategory, IsFunction, IsInt 2.10-30
AddUniversalMorphismIntoLimitWithGivenLimit, for IsCapCategory, IsFunction 2.10-31
    for IsCapCategory, IsFunction, IsInt 2.10-31
AllCoproducts, for IsCapCategory and IsCocartesianCategory, IsList 2.9-8
BasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory, for IsList, IsList 2.7-5
    for IsList, IsList, IsList, IsList 2.7-4
BasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory, for IsList, IsList 2.7-3
BiasedRelativeWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 2.5-1
CellAsEvaluatableString, for IsCapCategoryCell, IsList 1.5-2
Colimit, for IsList, IsList 2.9-2
ColimitPair, for IsCapCategory, IsList, IsList 2.9-1
CovariantHomFunctor, for IsCapCategoryObject 1.4-1
DatumOfCellAsEvaluatableString, for IsCapCategoryCell, IsList 1.5-1
DigraphOfKnownDoctrines 3.1-1
DummyCategoryInDoctrines, for IsList 1.1-4
EmbeddingOfSumOfImagesOfAllMorphisms, for IsCapCategoryObject, IsCapCategoryObject 2.6-2
GlobalSectionFunctor, for IsCapCategory 1.4-2
InjectionOfCofactorOfColimit, for IsList, IsList, IsInt 2.9-3
InjectionOfCofactorOfColimitWithGivenColimit, for IsList, IsList, IsInt, IsCapCategoryObject 2.9-4
IsEquivalentToFiniteCategory, for IsCapCategory 1.2-3
IsFiniteCategory, for IsCapCategory 1.2-2
IsObjectFiniteCategory, for IsCapCategory 1.2-1
IsWeakInitial, for IsCapCategoryObject 2.3-2
IsWeakTerminal, for IsCapCategoryObject 2.3-1
Limit, for IsList, IsList 2.8-2
LimitPair, for IsCapCategory, IsList, IsList 2.8-1
ListKnownDoctrines 1.1-2
ListMethodsOfDoctrine 1.1-3
MereExistenceOfUniqueSolutionOfHomogeneousLinearSystemInAbCategory, for IsList, IsList 2.7-2
MereExistenceOfUniqueSolutionOfLinearSystemInAbCategory, for IsList, IsList, IsList 2.7-1
MorphismBetweenCoproducts, for IsList, IsList, IsList 2.1-1
MorphismBetweenCoproductsWithGivenCoproducts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 2.1-2
MorphismBetweenDirectProducts, for IsList, IsList, IsList 2.1-3
MorphismBetweenDirectProductsWithGivenDirectProducts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 2.1-4
MorphismOntoSumOfImagesOfAllMorphisms, for IsCapCategoryObject, IsCapCategoryObject 2.6-1
PositionsOfSublist 2.9-7
ProjectionInFactorOfLimit, for IsList, IsList, IsInt 2.8-3
ProjectionInFactorOfLimitWithGivenLimit, for IsList, IsList, IsInt, IsCapCategoryObject 2.8-4
ProjectionOfBiasedRelativeWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 2.5-2
ProjectionOfBiasedRelativeWeakFiberProductWithGivenBiasedRelativeWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 2.5-3
RelativeLift, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 2.4-1
SET_RANGE_CATEGORY_Of_HOMOMORPHISM_STRUCTURE, for IsCapCategory, IsCapCategory 1.1-1
SetOfMorphisms, for IsCapCategory 1.3-4
SetOfMorphismsOfFiniteCategory, for IsCapCategory 1.3-3
SetOfObjects, for IsCapCategory 1.3-2
SetOfObjectsOfCategory, for IsCapCategory 1.3-1
SumOfImagesOfAllMorphisms, for IsCapCategoryObject, IsCapCategoryObject 2.6-3
SvgString, for IsDigraph and IsDigraphOfDoctrines 3.3-1
UniversalMorphismFromColimit, for IsList, IsList, IsCapCategoryObject, IsList 2.9-5
UniversalMorphismFromColimitWithGivenColimit, for IsList, IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 2.9-6
UniversalMorphismIntoBiasedRelativeWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 2.5-4
UniversalMorphismIntoBiasedRelativeWeakFiberProductWithGivenBiasedRelativeWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 2.5-5
UniversalMorphismIntoLimit, for IsList, IsList, IsCapCategoryObject, IsList 2.8-5
UniversalMorphismIntoLimitWithGivenLimit, for IsList, IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 2.8-6
Visualize, for IsDigraphOfDoctrines 3.2-1