GAP (GeneralizedMorphismsForCAP) - Index

Goto Chapter: Top 1 2 3 4 5 6 7 8 9 Ind
[Top of Book] [Contents] [Previous Chapter]

[MathJax off]

### Index

`Arrow`, for IsGeneralizedMorphismByCospan 2.3-2
for IsGeneralizedMorphismBySpan 3.3-2
for IsGeneralizedMorphismByThreeArrows 4.3-4
`AsGeneralizedMorphism`, for IsCapCategoryMorphism 1.5-3
`AsGeneralizedMorphismByCospan`, for IsCapCategoryMorphism 2.5-4
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-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
for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.5-5
`GeneralizedMorphismByCospan`, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.5-1
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
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
for IsGeneralizedMorphismBySpan 3.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-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
for IsGeneralizedMorphismBySpan 3.3-5
for IsGeneralizedMorphismByThreeArrows 4.3-5
`RangeAid`, for IsGeneralizedMorphismByThreeArrows 4.3-3
`ReversedArrow`, for IsGeneralizedMorphismByCospan 2.3-3
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
for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 7.2-4
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
for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 7.3-4
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
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
for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 7.1-6
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-16 7.1-12
`UnderlyingHonestObject`, for IsGeneralizedMorphismCategoryByCospansObject 2.3-1
for IsGeneralizedMorphismCategoryBySpansObject 3.3-1
for IsGeneralizedMorphismCategoryByThreeArrowsObject 4.3-1
for IsGeneralizedMorphismCategoryObject 1.2-1
for IsSerreQuotientCategoryObject 7.1-15

[Top of Book] [Contents] [Previous Chapter]
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 Ind

generated by GAPDoc2HTML