Arrow, for IsGeneralizedMorphismByCospan 2.3-2 AsGeneralizedMorphism, for IsCapCategoryMorphism 1.5-3 AsGeneralizedMorphismByCospan, for IsCapCategoryMorphism 2.5-4 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-10 CanonicalProjection, for IsCapCategory 7.1-17 CodefectProjection, for IsGeneralizedMorphism 1.2-8 CodomainProjection, for IsGeneralizedMorphism 1.2-6 CommonCoastriction, for IsList 4.4-2 CommonRestriction, for IsList 1.3-2 ConcatenationProduct, for IsList 1.3-3 DefectEmbedding, for IsGeneralizedMorphism 1.2-4 DomainAssociatedMorphismCodomainTriple, for IsGeneralizedMorphism 1.2-11 DomainEmbedding, 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 GeneralizedCoimageProjection, for IsGeneralizedMorphism 1.2-9 GeneralizedCokernelProjection, for IsGeneralizedMorphism 1.2-7 GeneralizedImageEmbedding, for IsGeneralizedMorphism 1.2-3 GeneralizedInverse, for IsCapCategoryMorphism 1.2-13 GeneralizedInverseByCospan, for IsCapCategoryMorphism 2.3-6 GeneralizedInverseBySpan, for IsCapCategoryMorphism 3.3-6 GeneralizedInverseByThreeArrows, for IsCapCategoryMorphism 4.3-6 GeneralizedKernelEmbedding, for IsGeneralizedMorphism 1.2-5 GeneralizedMorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.5-4 GeneralizedMorphismByCospan, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.5-1 GeneralizedMorphismByCospansObject, for IsCapCategoryObject 2.5-6 GeneralizedMorphismByCospanWithSourceAid, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.5-3 GeneralizedMorphismBySpan, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-1 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 HasIdentityAsSourceAid, for IsGeneralizedMorphismByThreeArrows 4.2-2 HonestRepresentative, for IsGeneralizedMorphism 1.2-12 IdempotentDefinedByFactorobject, for IsCapCategoryMorphism 1.2-15 IdempotentDefinedByFactorobjectByCospan, for IsCapCategoryMorphism 2.3-8 IdempotentDefinedByFactorobjectBySpan, for IsCapCategoryMorphism 3.3-8 IdempotentDefinedByFactorobjectByThreeArrows, for IsCapCategoryMorphism 4.3-8 IdempotentDefinedBySubobject, for IsCapCategoryMorphism 1.2-14 IdempotentDefinedBySubobjectByCospan, for IsCapCategoryMorphism 2.3-7 IdempotentDefinedBySubobjectBySpan, for IsCapCategoryMorphism 3.3-7 IdempotentDefinedBySubobjectByThreeArrows, for IsCapCategoryMorphism 4.3-7 IsGeneralizedMorphism, for IsCapCategoryMorphism 1.1-3 IsGeneralizedMorphismByCospan, for IsGeneralizedMorphism 2.1-3 IsGeneralizedMorphismBySpan, for IsGeneralizedMorphism 3.1-3 IsGeneralizedMorphismByThreeArrows, for IsGeneralizedMorphism 4.1-3 IsGeneralizedMorphismCategory, for IsCapCategory 1.1-1 IsGeneralizedMorphismCategoryByCospans, for IsGeneralizedMorphismCategory 2.1-1 IsGeneralizedMorphismCategoryByCospansObject, for IsGeneralizedMorphismCategoryObject 2.1-2 IsGeneralizedMorphismCategoryBySpans, for IsGeneralizedMorphismCategory 3.1-1 IsGeneralizedMorphismCategoryBySpansObject, for IsGeneralizedMorphismCategoryObject 3.1-2 IsGeneralizedMorphismCategoryByThreeArrows, for IsGeneralizedMorphismCategory 4.1-1 IsGeneralizedMorphismCategoryByThreeArrowsObject, for IsGeneralizedMorphismCategoryObject 4.1-2 IsGeneralizedMorphismCategoryObject, for IsCapCategoryObject 1.1-2 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 RangeAid, for IsGeneralizedMorphismByThreeArrows 4.3-3 ReversedArrow, for IsGeneralizedMorphismByCospan 2.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 SerreQuotientCategoryByCospansMorphismWithSourceAid, for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 7.2-5 SerreQuotientCategoryBySpans, for IsCapCategory, IsFunction, IsString 7.3-1 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, 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, 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-16 7.1-12 UnderlyingHonestObject, for IsGeneralizedMorphismCategoryByCospansObject 2.3-1
generated by GAPDoc2HTML