Index

ColiftAlongDeflation, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-11
ColiftAlongInflationIntoSomeExactInjectiveObject, for IsCapCategoryMorphism 1.2-45
ColiftingMorphism, for IsCapCategoryMorphism 2.2-8
ColiftingMorphismWithGivenColiftingObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 2.2-7
ColiftingObject, for IsCapCategoryObject 2.2-2
CongruencyTestFunction, for IsStableCategory 3.2-2
DeflationFromSomeExactProjectiveObject, for IsCapCategoryObject 1.2-35
ExactCokernelColift, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-8
ExactCokernelObject, for IsCapCategoryMorphism 1.2-5
ExactCokernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-9
ExactCokernelObjectFunctorialWithGivenExactCokernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.2-10
ExactCokernelProjection, for IsCapCategoryMorphism 1.2-6
ExactCokernelProjectionWithGivenExactCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 1.2-7
ExactFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-20
ExactInjectiveColift, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-39
ExactKernelEmbedding, for IsCapCategoryMorphism 1.2-13
ExactKernelEmbeddingWithGivenExactKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 1.2-14
ExactKernelLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-15
ExactKernelObject, for IsCapCategoryMorphism 1.2-12
ExactKernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-16
ExactKernelObjectFunctorialWithGivenExactKernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.2-17
ExactProjectiveLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-33
ExactPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-25
InflationIntoSomeExactInjectiveObject, for IsCapCategoryObject 1.2-41
InjectionOfFirstCofactorOfExactPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-26
InjectionOfSecondCofactorOfExactPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-27
IsCapCategoryConflation, for IsCapCategoryShortExactSequence 1.1-4
IsCapCategoryMorphismOfShortSequences, for IsCapCategoryMorphism 1.1-2
IsCapCategoryShortExactSequence, for IsCapCategoryShortSequence 1.1-3
IsCapCategoryShortSequence, for IsCapCategoryObject 1.1-1
IsColiftableAlongInflationIntoSomeExactInjectiveObject, for IsCapCategoryMorphism 1.2-44
IsColiftableAlongMorphismToColiftingObject, for IsCapCategoryMorphism 2.2-9
IsColiftingObject, for IsCapCategoryObject 2.2-1
IsConflationPair, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-4
IsDeflation, for IsCapCategoryMorphism 1.2-3
IsExactCategory, for IsCapCategory 1.2-1
IsExactCategoryWithEnoughExactInjectives, for IsCapCategory 1.2-37
IsExactCategoryWithEnoughExactProjectives, for IsCapCategory 1.2-31
IsExactInjectiveObject, for IsCapCategoryObject 1.2-38
IsExactProjectiveObject, for IsCapCategoryObject 1.2-32
IsFrobeniusCategory, for IsCapCategory 1.2-46
IsInflation, for IsCapCategoryMorphism 1.2-2
IsLiftableAlongDeflationFromSomeExactProjectiveObject, for IsCapCategoryMorphism 1.2-42
IsLiftableAlongMorphismFromLiftingObject, for IsCapCategoryMorphism 2.1-9
IsLiftingObject, for IsCapCategoryObject 2.1-1
IsStableCategory, for IsQuotientCategory 3.1-1
IsStableCategoryCell, for IsCapCategoryCell 3.1-2
IsStableCategoryMorphism, for IsStableCategoryCell and IsQuotientCategoryMorphism 3.1-4
IsStableCategoryObject, for IsStableCategoryCell and IsQuotientCategoryObject 3.1-3
LiftAlongDeflationFromSomeExactProjectiveObject, for IsCapCategoryMorphism 1.2-43
LiftAlongInflation, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-18
LiftingMorphism, for IsCapCategoryMorphism 2.1-8
LiftingMorphismWithGivenLiftingObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 2.1-7
LiftingObject, for IsCapCategoryObject 2.1-2
MorphismFromLiftingObject, for IsCapCategoryObject 2.1-3
MorphismFromLiftingObjectWithGivenLiftingObject, for IsCapCategoryObject, IsCapCategoryObject 2.1-4
MorphismToColiftingObject, for IsCapCategoryObject 2.2-3
MorphismToColiftingObjectWithGivenColiftingObject, for IsCapCategoryObject, IsCapCategoryObject 2.2-4
ProjectionFunctor, for IsStableCategory 3.2-3
ProjectionInFirstFactorOfExactFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-21
ProjectionInSecondFactorOfExactFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-22
RetractionOfMorphismToColiftingObject, for IsCapCategoryObject 2.2-6
RetractionOfMorphismToColiftingObjectWithGivenColiftingObject, for IsCapCategoryObject, IsCapCategoryObject 2.2-5
SchanuelsIsomorphismByDeflationsFromSomeExactProjectiveObjects, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-48
SchanuelsIsomorphismByInflationsIntoSomeExactInjectiveObjects, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-47
SectionOfMorphismFromLiftingObject, for IsCapCategoryObject 2.1-6
SectionOfMorphismFromLiftingObjectWithGivenLiftingObject, for IsCapCategoryObject, IsCapCategoryObject 2.1-5
SomeExactInjectiveObject, for IsCapCategoryObject 1.2-40
SomeExactProjectiveObject, for IsCapCategoryObject 1.2-34
StableCategory, for IsCapCategory, IsFunction 3.2-1
StableCategoryByClassOfColiftingObjects, for IsCapCategory 3.4-1
StableCategoryByClassOfLiftingObjects, for IsCapCategory 3.3-1
StableCategoryMorphism, for IsStableCategory, IsCapCategoryMorphism 3.2-7
    for IsStableCategoryObject, IsCapCategoryMorphism, IsStableCategoryObject 3.2-6
StableCategoryObject, for IsStableCategory, IsCapCategoryObject 3.2-4
UnderlyingCell, for IsStableCategoryMorphism 3.2-8
    for IsStableCategoryObject 3.2-5
UniversalMorphismFromExactPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-28
UniversalMorphismFromExactPushoutWithGivenExactPushout, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.2-29
UniversalMorphismIntoExactFiberProduct, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-23
WitnessForBeingColiftableAlongMorphismToColiftingObject, for IsCapCategoryMorphism 2.2-10
WitnessForBeingLiftableAlongMorphismFromLiftingObject, for IsCapCategoryMorphism 2.1-10