Index

Arrow, for IsGeneralizedMorphismByCospan 2.3-2
Arrow, for IsGeneralizedMorphismBySpan 3.3-2
Arrow, for IsGeneralizedMorphismByThreeArrows 4.3-4
AsGeneralizedMorphism, for IsCapCategoryMorphism 1.5-3
AsGeneralizedMorphismByCospan, for IsCapCategoryMorphism 2.5-4
AsGeneralizedMorphismByCospan, for IsCapFunctor, IsString 2.6-1
AsGeneralizedMorphismBySpan, for IsCapCategoryMorphism 3.5-4
AsGeneralizedMorphismByThreeArrows, for IsCapCategoryMorphism 4.5-4
AsSerreQuotientCategoryByCospansMorphism, for IsCapCategory, IsCapCategoryMorphism 7.2-7
AsSerreQuotientCategoryByCospansObject, for IsCapCategory, IsCapCategoryObject 7.2-2
AsSerreQuotientCategoryBySpansMorphism, for IsCapCategory, IsCapCategoryMorphism 7.3-7
AsSerreQuotientCategoryBySpansObject, for IsCapCategory, IsCapCategoryObject 7.3-2
AsSerreQuotientCategoryByThreeArrowsMorphism, for IsCapCategory, IsCapCategoryMorphism 7.4-7
AsSerreQuotientCategoryByThreeArrowsObject, for IsCapCategory, IsCapCategoryObject 7.4-2
AsSerreQuotientCategoryMorphism, for IsCapCategory, IsCapCategoryMorphism 7.1-10
AsSerreQuotientCategoryObject, for IsCapCategory, IsCapCategoryObject 7.1-4
AssociatedMorphism, for IsGeneralizedMorphism 1.2-4
CanonicalProjection, for IsCapCategory 7.1-17
Codomain, for IsGeneralizedMorphism 1.2-3
CommonCoastriction, for IsList 4.4-2
CommonRestriction, for IsList 1.3-2
ConcatenationProduct, for IsList 1.3-3
DomainAssociatedMorphismCodomainTriple, for IsGeneralizedMorphism 1.2-5
DomainOfGeneralizedMorphism, for IsGeneralizedMorphism 1.2-2
FullSubcategoryByMembershipFunction, for IsCapCategory, IsFunction 6.1-1
FunctorFromCospansToSpans, for IsCapCategory 5.1-2
FunctorFromCospansToThreeArrows, for IsCapCategory 5.1-1
FunctorFromSpansToCospans, for IsCapCategory 5.2-2
FunctorFromSpansToThreeArrows, for IsCapCategory 5.2-1
FunctorFromThreeArrowsToCospans, for IsCapCategory 5.3-1
FunctorFromThreeArrowsToSpans, for IsCapCategory 5.3-2
GeneralizedInverse, for IsCapCategoryMorphism 1.2-7
GeneralizedInverseByCospan, for IsCapCategoryMorphism 2.3-6
GeneralizedInverseBySpan, for IsCapCategoryMorphism 3.3-6
GeneralizedInverseByThreeArrows, for IsCapCategoryMorphism 4.3-6
GeneralizedMorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.5-4
GeneralizedMorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.5-5
GeneralizedMorphismByCospan, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.5-1
GeneralizedMorphismByCospan, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 2.5-2
GeneralizedMorphismByCospansObject, for IsCapCategoryObject 2.5-6
GeneralizedMorphismByCospanWithSourceAid, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.5-3
GeneralizedMorphismBySpan, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-1
GeneralizedMorphismBySpan, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-2
GeneralizedMorphismBySpansObject, for IsCapCategoryObject 3.5-6
GeneralizedMorphismBySpanWithRangeAid, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-3
GeneralizedMorphismByThreeArrows, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 4.5-1
GeneralizedMorphismByThreeArrowsObject, for IsCapCategoryObject 4.5-6
GeneralizedMorphismByThreeArrowsWithRangeAid, for IsCapCategoryMorphism, IsCapCategoryMorphism 4.5-3
GeneralizedMorphismByThreeArrowsWithSourceAid, for IsCapCategoryMorphism, IsCapCategoryMorphism 4.5-2
GeneralizedMorphismCategory, for IsCapCategory 1.5-1
GeneralizedMorphismCategoryByCospans, for IsCapCategory 2.5-5
GeneralizedMorphismCategoryBySpans, for IsCapCategory 3.5-5
GeneralizedMorphismCategoryByThreeArrows, for IsCapCategory 4.5-5
GeneralizedMorphismFromFactorToSubobject, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.3-1
GeneralizedMorphismFromFactorToSubobjectByCospan, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.4-1
GeneralizedMorphismFromFactorToSubobjectBySpan, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.4-1
GeneralizedMorphismFromFactorToSubobjectByThreeArrows, for IsCapCategoryMorphism, IsCapCategoryMorphism 4.4-1
GeneralizedMorphismObject, for IsCapCategoryObject 1.5-2
GeneralizedMorphismWithRangeAid, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.5-6
GeneralizedMorphismWithSourceAid, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.5-7
HasFullCodomain, for IsGeneralizedMorphism 1.4-3
HasFullDomain, for IsGeneralizedMorphism 1.4-2
HasIdentitiesAsReversedArrows, for IsGeneralizedMorphismByThreeArrows 4.2-1
HasIdentityAsRangeAid, for IsGeneralizedMorphismByThreeArrows 4.2-3
HasIdentityAsReversedArrow, for IsGeneralizedMorphismByCospan 2.2-1
HasIdentityAsReversedArrow, for IsGeneralizedMorphismBySpan 3.2-1
HasIdentityAsSourceAid, for IsGeneralizedMorphismByThreeArrows 4.2-2
HonestRepresentative, for IsGeneralizedMorphism 1.2-6
IdempotentDefinedByFactorobject, for IsCapCategoryMorphism 1.2-9
IdempotentDefinedByFactorobjectByCospan, for IsCapCategoryMorphism 2.3-8
IdempotentDefinedByFactorobjectBySpan, for IsCapCategoryMorphism 3.3-8
IdempotentDefinedByFactorobjectByThreeArrows, for IsCapCategoryMorphism 4.3-8
IdempotentDefinedBySubobject, for IsCapCategoryMorphism 1.2-8
IdempotentDefinedBySubobjectByCospan, for IsCapCategoryMorphism 2.3-7
IdempotentDefinedBySubobjectBySpan, for IsCapCategoryMorphism 3.3-7
IdempotentDefinedBySubobjectByThreeArrows, for IsCapCategoryMorphism 4.3-7
IsGeneralizedMorphism, for IsCapCategoryMorphism 1.1-2
IsGeneralizedMorphismByCospan, for IsGeneralizedMorphism 2.1-2
IsGeneralizedMorphismBySpan, for IsGeneralizedMorphism 3.1-2
IsGeneralizedMorphismByThreeArrows, for IsGeneralizedMorphism 4.1-2
IsGeneralizedMorphismCategoryByCospansObject, for IsGeneralizedMorphismCategoryObject 2.1-1
IsGeneralizedMorphismCategoryBySpansObject, for IsGeneralizedMorphismCategoryObject 3.1-1
IsGeneralizedMorphismCategoryByThreeArrowsObject, for IsGeneralizedMorphismCategoryObject 4.1-1
IsGeneralizedMorphismCategoryObject, for IsCapCategoryObject 1.1-1
IsHonest, for IsGeneralizedMorphism 1.4-1
IsSerreQuotientCategoryMorphism, for IsCapCategoryMorphism 7.1-2
IsSerreQuotientCategoryObject, for IsCapCategoryObject 7.1-1
IsSingleValued, for IsGeneralizedMorphism 1.4-4
IsTotal, for IsGeneralizedMorphism 1.4-5
NormalizedCospan, for IsGeneralizedMorphismByCospan 2.3-9
NormalizedCospanTuple, for IsGeneralizedMorphismByCospan 2.3-4
NormalizedSpan, for IsGeneralizedMorphismBySpan 3.3-9
NormalizedSpanTuple, for IsGeneralizedMorphismBySpan 3.3-4
PseudoInverse, for IsGeneralizedMorphismByCospan 2.3-5
PseudoInverse, for IsGeneralizedMorphismBySpan 3.3-5
PseudoInverse, for IsGeneralizedMorphismByThreeArrows 4.3-5
RangeAid, for IsGeneralizedMorphismByThreeArrows 4.3-3
ReversedArrow, for IsGeneralizedMorphismByCospan 2.3-3
ReversedArrow, for IsGeneralizedMorphismBySpan 3.3-3
SerreQuotientCategory, for IsCapCategory, IsFunction, IsString 7.1-3
SerreQuotientCategoryByCospans, for IsCapCategory, IsFunction, IsString 7.2-1
SerreQuotientCategoryByCospansMorphism, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 7.2-6
SerreQuotientCategoryByCospansMorphism, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 7.2-4
SerreQuotientCategoryByCospansMorphism, for IsCapCategory, IsGeneralizedMorphismByCospan 7.2-3
SerreQuotientCategoryByCospansMorphismWithSourceAid, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 7.2-5
SerreQuotientCategoryBySpans, for IsCapCategory, IsFunction, IsString 7.3-1
SerreQuotientCategoryBySpansMorphism, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 7.3-5
SerreQuotientCategoryBySpansMorphism, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 7.3-4
SerreQuotientCategoryBySpansMorphism, for IsCapCategory, IsGeneralizedMorphismBySpan 7.3-3
SerreQuotientCategoryBySpansMorphismWithRangeAid, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 7.3-6
SerreQuotientCategoryByThreeArrows, for IsCapCategory, IsFunction, IsString 7.4-1
SerreQuotientCategoryByThreeArrowsMorphism, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 7.4-4
SerreQuotientCategoryByThreeArrowsMorphism, for IsCapCategory, IsGeneralizedMorphismByThreeArrows 7.4-3
SerreQuotientCategoryByThreeArrowsMorphismWithRangeAid, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 7.4-6
SerreQuotientCategoryByThreeArrowsMorphismWithSourceAid, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 7.4-5
SerreQuotientCategoryMorphism, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 7.1-7
SerreQuotientCategoryMorphism, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 7.1-6
SerreQuotientCategoryMorphism, for IsCapCategory, IsGeneralizedMorphism 7.1-5
SerreQuotientCategoryMorphismWithRangeAid, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 7.1-9
SerreQuotientCategoryMorphismWithSourceAid, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 7.1-8
SerreQuotientConversionFunctor, for IsCapCategory, IsCapCategory 8.1-1
SourceAid, for IsGeneralizedMorphismByThreeArrows 4.3-2
SubcategoryMembershipTestFunctionForSerreQuotient, for IsCapCategory 7.1-11
UnderlyingGeneralizedMorphism, for IsSerreQuotientCategoryMorphism 7.1-16
UnderlyingGeneralizedMorphismCategory, for IsCapCategory 7.1-13
UnderlyingGeneralizedObject, for IsSerreQuotientCategoryObject 7.1-14
UnderlyingHonestCategory, for IsCapCategory 1.2-10
UnderlyingHonestCategory, for IsCapCategory 7.1-12
UnderlyingHonestObject, for IsGeneralizedMorphismCategoryByCospansObject 2.3-1
UnderlyingHonestObject, for IsGeneralizedMorphismCategoryBySpansObject 3.3-1
UnderlyingHonestObject, for IsGeneralizedMorphismCategoryByThreeArrowsObject 4.3-1
UnderlyingHonestObject, for IsGeneralizedMorphismCategoryObject 1.2-1
UnderlyingHonestObject, for IsSerreQuotientCategoryObject 7.1-15