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, IsGeneralizedMorphismByCospan) 7.2-3 SerreQuotientCategoryByCospansMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism) 7.2-4 SerreQuotientCategoryByCospansMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism) 7.2-6 SerreQuotientCategoryByCospansMorphismWithSourceAid (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism) 7.2-5 SerreQuotientCategoryBySpans (for IsCapCategory, IsFunction, IsString) 7.3-1 SerreQuotientCategoryBySpansMorphism (for IsCapCategory, IsGeneralizedMorphismBySpan) 7.3-3 SerreQuotientCategoryBySpansMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism) 7.3-4 SerreQuotientCategoryBySpansMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism) 7.3-5 SerreQuotientCategoryBySpansMorphismWithRangeAid (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism) 7.3-6 SerreQuotientCategoryByThreeArrows (for IsCapCategory, IsFunction, IsString) 7.4-1 SerreQuotientCategoryByThreeArrowsMorphism (for IsCapCategory, IsGeneralizedMorphismByThreeArrows) 7.4-3 SerreQuotientCategoryByThreeArrowsMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism) 7.4-4 SerreQuotientCategoryByThreeArrowsMorphismWithRangeAid (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism) 7.4-6 SerreQuotientCategoryByThreeArrowsMorphismWithSourceAid (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism) 7.4-5 SerreQuotientCategoryMorphism (for IsCapCategory, IsGeneralizedMorphism) 7.1-5 SerreQuotientCategoryMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism) 7.1-6 SerreQuotientCategoryMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism) 7.1-7 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 IsGeneralizedMorphismCategoryObject) 1.2-1 UnderlyingHonestObject (for IsGeneralizedMorphismCategoryByCospansObject) 2.3-1 UnderlyingHonestObject (for IsGeneralizedMorphismCategoryBySpansObject) 3.3-1 UnderlyingHonestObject (for IsGeneralizedMorphismCategoryByThreeArrowsObject) 4.3-1 UnderlyingHonestObject (for IsSerreQuotientCategoryObject) 7.1-15 -------------------------------------------------------