Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

563554 views
Tweet
Share
Share
1
  

2
  

3
  Index

4
  

5
  Arrow (for IsGeneralizedMorphismByCospan)  2.3-2

6
  Arrow (for IsGeneralizedMorphismBySpan)  3.3-2

7
  Arrow (for IsGeneralizedMorphismByThreeArrows)  4.3-4

8
  AsGeneralizedMorphism (for IsCapCategoryMorphism)  1.5-3

9
  AsGeneralizedMorphismByCospan (for IsCapCategoryMorphism)  2.5-4

10
  AsGeneralizedMorphismByCospan (for IsCapFunctor, IsString)  2.6-1

11
  AsGeneralizedMorphismBySpan (for IsCapCategoryMorphism)  3.5-4

12
  AsGeneralizedMorphismByThreeArrows (for IsCapCategoryMorphism)  4.5-4

13
  AsSerreQuotientCategoryByCospansMorphism (for IsCapCategory, IsCapCategoryMorphism)  7.2-7

14
  AsSerreQuotientCategoryByCospansObject (for IsCapCategory, IsCapCategoryObject)  7.2-2

15
  AsSerreQuotientCategoryBySpansMorphism (for IsCapCategory, IsCapCategoryMorphism)  7.3-7

16
  AsSerreQuotientCategoryBySpansObject (for IsCapCategory, IsCapCategoryObject)  7.3-2

17
  AsSerreQuotientCategoryByThreeArrowsMorphism (for IsCapCategory, IsCapCategoryMorphism)  7.4-7

18
  AsSerreQuotientCategoryByThreeArrowsObject (for IsCapCategory, IsCapCategoryObject)  7.4-2

19
  AsSerreQuotientCategoryMorphism (for IsCapCategory, IsCapCategoryMorphism)  7.1-10

20
  AsSerreQuotientCategoryObject (for IsCapCategory, IsCapCategoryObject)  7.1-4

21
  AssociatedMorphism (for IsGeneralizedMorphism)  1.2-4

22
  CanonicalProjection (for IsCapCategory)  7.1-17

23
  Codomain (for IsGeneralizedMorphism)  1.2-3

24
  CommonCoastriction (for IsList)  4.4-2

25
  CommonRestriction (for IsList)  1.3-2

26
  ConcatenationProduct (for IsList)  1.3-3

27
  DomainAssociatedMorphismCodomainTriple (for IsGeneralizedMorphism)  1.2-5

28
  DomainOfGeneralizedMorphism (for IsGeneralizedMorphism)  1.2-2

29
  FullSubcategoryByMembershipFunction (for IsCapCategory, IsFunction)  6.1-1

30
  FunctorFromCospansToSpans (for IsCapCategory)  5.1-2

31
  FunctorFromCospansToThreeArrows (for IsCapCategory)  5.1-1

32
  FunctorFromSpansToCospans (for IsCapCategory)  5.2-2

33
  FunctorFromSpansToThreeArrows (for IsCapCategory)  5.2-1

34
  FunctorFromThreeArrowsToCospans (for IsCapCategory)  5.3-1

35
  FunctorFromThreeArrowsToSpans (for IsCapCategory)  5.3-2

36
  GeneralizedInverse (for IsCapCategoryMorphism)  1.2-7

37
  GeneralizedInverseByCospan (for IsCapCategoryMorphism)  2.3-6

38
  GeneralizedInverseBySpan (for IsCapCategoryMorphism)  3.3-6

39
  GeneralizedInverseByThreeArrows (for IsCapCategoryMorphism)  4.3-6

40
  GeneralizedMorphism (for IsCapCategoryMorphism, IsCapCategoryMorphism)  1.5-4

41
  GeneralizedMorphism (for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism)  1.5-5

42
  GeneralizedMorphismByCospan (for IsCapCategoryMorphism, IsCapCategoryMorphism)  2.5-1

43
  GeneralizedMorphismByCospan (for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism)  2.5-2

44
  GeneralizedMorphismByCospansObject (for IsCapCategoryObject)  2.5-6

45
  GeneralizedMorphismByCospanWithSourceAid (for IsCapCategoryMorphism, IsCapCategoryMorphism)  2.5-3

46
  GeneralizedMorphismBySpan (for IsCapCategoryMorphism, IsCapCategoryMorphism)  3.5-1

47
  GeneralizedMorphismBySpan (for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism)  3.5-2

48
  GeneralizedMorphismBySpansObject (for IsCapCategoryObject)  3.5-6

49
  GeneralizedMorphismBySpanWithRangeAid (for IsCapCategoryMorphism, IsCapCategoryMorphism)  3.5-3

50
  GeneralizedMorphismByThreeArrows (for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism)  4.5-1

51
  GeneralizedMorphismByThreeArrowsObject (for IsCapCategoryObject)  4.5-6

52
  GeneralizedMorphismByThreeArrowsWithRangeAid (for IsCapCategoryMorphism, IsCapCategoryMorphism)  4.5-3

53
  GeneralizedMorphismByThreeArrowsWithSourceAid (for IsCapCategoryMorphism, IsCapCategoryMorphism)  4.5-2

54
  GeneralizedMorphismCategory (for IsCapCategory)  1.5-1

55
  GeneralizedMorphismCategoryByCospans (for IsCapCategory)  2.5-5

56
  GeneralizedMorphismCategoryBySpans (for IsCapCategory)  3.5-5

57
  GeneralizedMorphismCategoryByThreeArrows (for IsCapCategory)  4.5-5

58
  GeneralizedMorphismFromFactorToSubobject (for IsCapCategoryMorphism, IsCapCategoryMorphism)  1.3-1

59
  GeneralizedMorphismFromFactorToSubobjectByCospan (for IsCapCategoryMorphism, IsCapCategoryMorphism)  2.4-1

60
  GeneralizedMorphismFromFactorToSubobjectBySpan (for IsCapCategoryMorphism, IsCapCategoryMorphism)  3.4-1

61
  GeneralizedMorphismFromFactorToSubobjectByThreeArrows (for IsCapCategoryMorphism, IsCapCategoryMorphism)  4.4-1

62
  GeneralizedMorphismObject (for IsCapCategoryObject)  1.5-2

63
  GeneralizedMorphismWithRangeAid (for IsCapCategoryMorphism, IsCapCategoryMorphism)  1.5-6

64
  GeneralizedMorphismWithSourceAid (for IsCapCategoryMorphism, IsCapCategoryMorphism)  1.5-7

65
  HasFullCodomain (for IsGeneralizedMorphism)  1.4-3

66
  HasFullDomain (for IsGeneralizedMorphism)  1.4-2

67
  HasIdentitiesAsReversedArrows (for IsGeneralizedMorphismByThreeArrows)  4.2-1

68
  HasIdentityAsRangeAid (for IsGeneralizedMorphismByThreeArrows)  4.2-3

69
  HasIdentityAsReversedArrow (for IsGeneralizedMorphismByCospan)  2.2-1

70
  HasIdentityAsReversedArrow (for IsGeneralizedMorphismBySpan)  3.2-1

71
  HasIdentityAsSourceAid (for IsGeneralizedMorphismByThreeArrows)  4.2-2

72
  HonestRepresentative (for IsGeneralizedMorphism)  1.2-6

73
  IdempotentDefinedByFactorobject (for IsCapCategoryMorphism)  1.2-9

74
  IdempotentDefinedByFactorobjectByCospan (for IsCapCategoryMorphism)  2.3-8

75
  IdempotentDefinedByFactorobjectBySpan (for IsCapCategoryMorphism)  3.3-8

76
  IdempotentDefinedByFactorobjectByThreeArrows (for IsCapCategoryMorphism)  4.3-8

77
  IdempotentDefinedBySubobject (for IsCapCategoryMorphism)  1.2-8

78
  IdempotentDefinedBySubobjectByCospan (for IsCapCategoryMorphism)  2.3-7

79
  IdempotentDefinedBySubobjectBySpan (for IsCapCategoryMorphism)  3.3-7

80
  IdempotentDefinedBySubobjectByThreeArrows (for IsCapCategoryMorphism)  4.3-7

81
  IsGeneralizedMorphism (for IsCapCategoryMorphism)  1.1-2

82
  IsGeneralizedMorphismByCospan (for IsGeneralizedMorphism)  2.1-2

83
  IsGeneralizedMorphismBySpan (for IsGeneralizedMorphism)  3.1-2

84
  IsGeneralizedMorphismByThreeArrows (for IsGeneralizedMorphism)  4.1-2

85
  IsGeneralizedMorphismCategoryByCospansObject (for IsGeneralizedMorphismCategoryObject)  2.1-1

86
  IsGeneralizedMorphismCategoryBySpansObject (for IsGeneralizedMorphismCategoryObject)  3.1-1

87
  IsGeneralizedMorphismCategoryByThreeArrowsObject (for IsGeneralizedMorphismCategoryObject)  4.1-1

88
  IsGeneralizedMorphismCategoryObject (for IsCapCategoryObject)  1.1-1

89
  IsHonest (for IsGeneralizedMorphism)  1.4-1

90
  IsSerreQuotientCategoryMorphism (for IsCapCategoryMorphism)  7.1-2

91
  IsSerreQuotientCategoryObject (for IsCapCategoryObject)  7.1-1

92
  IsSingleValued (for IsGeneralizedMorphism)  1.4-4

93
  IsTotal (for IsGeneralizedMorphism)  1.4-5

94
  NormalizedCospan (for IsGeneralizedMorphismByCospan)  2.3-9

95
  NormalizedCospanTuple (for IsGeneralizedMorphismByCospan)  2.3-4

96
  NormalizedSpan (for IsGeneralizedMorphismBySpan)  3.3-9

97
  NormalizedSpanTuple (for IsGeneralizedMorphismBySpan)  3.3-4

98
  PseudoInverse (for IsGeneralizedMorphismByCospan)  2.3-5

99
  PseudoInverse (for IsGeneralizedMorphismBySpan)  3.3-5

100
  PseudoInverse (for IsGeneralizedMorphismByThreeArrows)  4.3-5

101
  RangeAid (for IsGeneralizedMorphismByThreeArrows)  4.3-3

102
  ReversedArrow (for IsGeneralizedMorphismByCospan)  2.3-3

103
  ReversedArrow (for IsGeneralizedMorphismBySpan)  3.3-3

104
  SerreQuotientCategory (for IsCapCategory, IsFunction, IsString)  7.1-3

105
  SerreQuotientCategoryByCospans (for IsCapCategory, IsFunction, IsString)  7.2-1

106
  SerreQuotientCategoryByCospansMorphism (for IsCapCategory, IsGeneralizedMorphismByCospan)  7.2-3

107
  SerreQuotientCategoryByCospansMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism)  7.2-4

108
  SerreQuotientCategoryByCospansMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism)  7.2-6

109
  SerreQuotientCategoryByCospansMorphismWithSourceAid (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism)  7.2-5

110
  SerreQuotientCategoryBySpans (for IsCapCategory, IsFunction, IsString)  7.3-1

111
  SerreQuotientCategoryBySpansMorphism (for IsCapCategory, IsGeneralizedMorphismBySpan)  7.3-3

112
  SerreQuotientCategoryBySpansMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism)  7.3-4

113
  SerreQuotientCategoryBySpansMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism)  7.3-5

114
  SerreQuotientCategoryBySpansMorphismWithRangeAid (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism)  7.3-6

115
  SerreQuotientCategoryByThreeArrows (for IsCapCategory, IsFunction, IsString)  7.4-1

116
  SerreQuotientCategoryByThreeArrowsMorphism (for IsCapCategory, IsGeneralizedMorphismByThreeArrows)  7.4-3

117
  SerreQuotientCategoryByThreeArrowsMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism)  7.4-4

118
  SerreQuotientCategoryByThreeArrowsMorphismWithRangeAid (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism)  7.4-6

119
  SerreQuotientCategoryByThreeArrowsMorphismWithSourceAid (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism)  7.4-5

120
  SerreQuotientCategoryMorphism (for IsCapCategory, IsGeneralizedMorphism)  7.1-5

121
  SerreQuotientCategoryMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism)  7.1-6

122
  SerreQuotientCategoryMorphism (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism)  7.1-7

123
  SerreQuotientCategoryMorphismWithRangeAid (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism)  7.1-9

124
  SerreQuotientCategoryMorphismWithSourceAid (for IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism)  7.1-8

125
  SerreQuotientConversionFunctor (for IsCapCategory, IsCapCategory)  8.1-1

126
  SourceAid (for IsGeneralizedMorphismByThreeArrows)  4.3-2

127
  SubcategoryMembershipTestFunctionForSerreQuotient (for IsCapCategory)  7.1-11

128
  UnderlyingGeneralizedMorphism (for IsSerreQuotientCategoryMorphism)  7.1-16

129
  UnderlyingGeneralizedMorphismCategory (for IsCapCategory)  7.1-13

130
  UnderlyingGeneralizedObject (for IsSerreQuotientCategoryObject)  7.1-14

131
  UnderlyingHonestCategory (for IsCapCategory)  1.2-10

132
  UnderlyingHonestCategory (for IsCapCategory)  7.1-12

133
  UnderlyingHonestObject (for IsGeneralizedMorphismCategoryObject)  1.2-1

134
  UnderlyingHonestObject (for IsGeneralizedMorphismCategoryByCospansObject)  2.3-1

135
  UnderlyingHonestObject (for IsGeneralizedMorphismCategoryBySpansObject)  3.3-1

136
  UnderlyingHonestObject (for IsGeneralizedMorphismCategoryByThreeArrowsObject)  4.3-1

137
  UnderlyingHonestObject (for IsSerreQuotientCategoryObject)  7.1-15

138
  

139
  

140
  -------------------------------------------------------

141


142