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