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

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