Index

AddBiasedRelativeWeakFiberProduct, for IsCapCategory, IsFunction 2.10-1
    for IsCapCategory, IsFunction, IsInt 2.10-1
AddColimit, for IsCapCategory, IsFunction 2.10-2
    for IsCapCategory, IsFunction, IsInt 2.10-2
AddEmbeddingOfSumOfImagesOfAllMorphisms, for IsCapCategory, IsFunction 2.10-3
    for IsCapCategory, IsFunction, IsInt 2.10-3
AddInjectionOfCofactorOfColimit, for IsCapCategory, IsFunction 2.10-4
    for IsCapCategory, IsFunction, IsInt 2.10-4
AddInjectionOfCofactorOfColimitWithGivenColimit, for IsCapCategory, IsFunction 2.10-5
    for IsCapCategory, IsFunction, IsInt 2.10-5
AddIsWeakInitial, for IsCapCategory, IsFunction 2.10-6
    for IsCapCategory, IsFunction, IsInt 2.10-6
AddIsWeakTerminal, for IsCapCategory, IsFunction 2.10-7
    for IsCapCategory, IsFunction, IsInt 2.10-7
AddLimit, for IsCapCategory, IsFunction 2.10-8
    for IsCapCategory, IsFunction, IsInt 2.10-8
AddMorphismBetweenCoproducts, for IsCapCategory, IsFunction 2.10-9
    for IsCapCategory, IsFunction, IsInt 2.10-9
AddMorphismBetweenCoproductsWithGivenCoproducts, for IsCapCategory, IsFunction 2.10-10
    for IsCapCategory, IsFunction, IsInt 2.10-10
AddMorphismBetweenDirectProducts, for IsCapCategory, IsFunction 2.10-11
    for IsCapCategory, IsFunction, IsInt 2.10-11
AddMorphismBetweenDirectProductsWithGivenDirectProducts, for IsCapCategory, IsFunction 2.10-12
    for IsCapCategory, IsFunction, IsInt 2.10-12
AddMorphismOntoSumOfImagesOfAllMorphisms, for IsCapCategory, IsFunction 2.10-13
    for IsCapCategory, IsFunction, IsInt 2.10-13
AddProjectionInFactorOfLimit, for IsCapCategory, IsFunction 2.10-14
    for IsCapCategory, IsFunction, IsInt 2.10-14
AddProjectionInFactorOfLimitWithGivenLimit, for IsCapCategory, IsFunction 2.10-15
    for IsCapCategory, IsFunction, IsInt 2.10-15
AddProjectionOfBiasedRelativeWeakFiberProduct, for IsCapCategory, IsFunction 2.10-16
    for IsCapCategory, IsFunction, IsInt 2.10-16
AddProjectionOfBiasedRelativeWeakFiberProductWithGivenBiasedRelativeWeakFiberProduct, for IsCapCategory, IsFunction 2.10-17
    for IsCapCategory, IsFunction, IsInt 2.10-17
AddRelativeLift, for IsCapCategory, IsFunction 2.10-18
    for IsCapCategory, IsFunction, IsInt 2.10-18
AddSumOfImagesOfAllMorphisms, for IsCapCategory, IsFunction 2.10-19
    for IsCapCategory, IsFunction, IsInt 2.10-19
AddUniversalMorphismFromColimit, for IsCapCategory, IsFunction 2.10-20
    for IsCapCategory, IsFunction, IsInt 2.10-20
AddUniversalMorphismFromColimitWithGivenColimit, for IsCapCategory, IsFunction 2.10-21
    for IsCapCategory, IsFunction, IsInt 2.10-21
AddUniversalMorphismIntoBiasedRelativeWeakFiberProduct, for IsCapCategory, IsFunction 2.10-22
    for IsCapCategory, IsFunction, IsInt 2.10-22
AddUniversalMorphismIntoBiasedRelativeWeakFiberProductWithGivenBiasedRelativeWeakFiberProduct, for IsCapCategory, IsFunction 2.10-23
    for IsCapCategory, IsFunction, IsInt 2.10-23
AddUniversalMorphismIntoLimit, for IsCapCategory, IsFunction 2.10-24
    for IsCapCategory, IsFunction, IsInt 2.10-24
AddUniversalMorphismIntoLimitWithGivenLimit, for IsCapCategory, IsFunction 2.10-25
    for IsCapCategory, IsFunction, IsInt 2.10-25
AllCoproducts, for IsCapCategory and IsCocartesianCategory, IsList 2.9-8
BiasedRelativeWeakFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 2.5-1
CellAsEvaluatableString, for IsCapCategoryCell, IsList 1.3-2
Colimit, for IsList, IsList 2.9-2
ColimitPair, for IsCapCategory, IsList, IsList 2.9-1
CovariantHomFunctor, for IsCapCategoryObject 1.2-1
DatumOfCellAsEvaluatableString, for IsCapCategoryCell, IsList 1.3-1
DigraphOfKnownDoctrines 3.1-1
DummyCategoryInDoctrines, for IsList 1.1-3
EmbeddingOfSumOfImagesOfAllMorphisms, for IsCapCategoryObject, IsCapCategoryObject 2.6-2
GlobalSectionFunctor, for IsCapCategory 1.2-2
InjectionOfCofactorOfColimit, for IsList, IsList, IsInt 2.9-3
InjectionOfCofactorOfColimitWithGivenColimit, for IsList, IsList, IsInt, IsCapCategoryObject 2.9-4
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
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
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