Index

2d-domain 2.
2d-group 2.
2d-mapping 3.
2dimensional-domain with objects 10.1
3d-domain 8.
3d-group 8.
3d-mapping 8.4
4d-domain 9.
4d-group 9.
abelian module 14.2
AbelianModuleAction 14.2-1
AbelianModuleGroup 14.2-1
AbelianModuleObject 14.2-1
actor 6.1
Actor 6.2-2
ActorCat1Group 6.2-1
ActorCrossedSquare 8.2-5
ActorXMod 6.1-2
AllCat1Groups 2.6-3
AllCat1GroupsIterator 2.6-3
AllCat1GroupsMatrix 2.6-2
AllCat1GroupsUpToIsomorphism 2.6-3
AllCat1GroupsWithImage 2.6-1
AllCat1GroupsWithImageIterator 2.6-1
AllCat1GroupsWithImageNumber 2.6-1
AllCat1GroupsWithImageUpToIsomorphism 2.6-1
AllCat2GroupFamilies 8.6-4
AllCat2Groups 8.6-4
AllCat2GroupsIterator 8.6-4
AllCat2GroupsMatrix 8.6-3
AllCat2GroupsUpToIsomorphism 8.6-4
AllCat2GroupsWithFixedUp 8.6-2
AllCat2GroupsWithFixedUpAndLeftRange 8.6-2
AllCat2GroupsWithImages 8.6-1
AllCat2GroupsWithImagesIterator 8.6-1
AllCat2GroupsWithImagesNumber 8.6-1
AllCat2GroupsWithImagesUpToIsomorphism 8.6-1
AllCat3Groups 9.2-1
AllCat3GroupsNumber 9.2-1
AllCat3GroupTriples 9.2-1
AllDerivations 5.2-1
AllInducedXMods 7.2-2
AllLoopsXMod 12.1-1
AllSections 5.4-1
AllStemGroupFamilies 4.2-2
AllStemGroupIds 4.2-2
AllXMods 4.1-12
AllXModsUpToIsomorphism 4.1-12
AllXModsWithGroups 4.1-12
AreIsoclinicDomains, for crossed modules of groups 4.3-1
    for groups 4.2-1
AutoGroup 2.1-9
AutomorphismPermGroup 6.1-1
Back3DimensionalGroup, for cat3-groups 9.1-2
Boundary, for cat1-groups 2.4-2
    for crossed modules 2.1-9
CAT1_LIST_MAX_SIZE 2.7
CAT1_LIST_NUMBERS 2.7
Cat1Group 2.4-1
Cat1GroupByPeifferQuotient 2.4-5
Cat1GroupMorphism 3.3-1
Cat1GroupMorphismByGroupHomomorphisms 3.3-1
Cat1GroupMorphismOfXModMorphism 3.3-2
Cat1GroupOfXMod 2.5-3
Cat1GroupToHAP 13.1-2
Cat1Select 2.7-1
Cat2Group 8.5-1
Cat2GroupMorphism 8.5-6
Cat2GroupMorphismByCat1GroupMorphisms 8.5-6
Cat2GroupMorphismByGroupHomomorphisms 8.5-6
Cat2GroupOfCrossedSquare 8.5-7
Cat3Group 9.1-1
cat\(^1\)-group 2.4
cat\(^2\)-group 8.5
cat\(^3\)-group 9.
cat\(^n\)-group 9.3
CatnGroup 9.3-1
CatnGroupLists, for cat1-groups 2.6-4
    for cat2-groups 8.6-4
CatnGroupNumbers, for cat1-groups 2.6-4
    for cat2-groups 8.6-4
CatOneGroupToXMod 13.1-2
Centralizer 4.1-7
CentralQuotient 4.1-8
    for crossed modules 8.2-11
CentreXMod 4.1-7
CommutatorSubXMod 4.1-4
CompositionMorphism 3.4-1
CoproductInfo 7.1-1
CoproductXMod 7.1-1
CrossActionSubgroup 4.1-4
CrossDiagonalActions, for crossed squares 8.2-13
crossed module 2.1
crossed module morphism 3.1
crossed module of groupoids 10.
crossed module over a groupoid 10.1
crossed n-cube 8.1
crossed pairing 8.1
Crossed Pairing 8.2-15
crossed square 6.1-2 8.1
crossed square morphism 8.4
CrossedPairingByCommutators 8.2-3
CrossedPairingByConjugators 8.2-6
CrossedPairingByDerivations 8.2-5
CrossedPairingByPreImages 8.2-8
CrossedPairingBySingleXModAction 8.2-4
CrossedSquare 8.2-9
CrossedSquareByAutomorphismGroup 8.2-6
CrossedSquareByNormalSubgroups 8.2-3
CrossedSquareByNormalSubXMod 8.2-4
CrossedSquareByPullback 8.2-7
CrossedSquareByXMods 8.2-1
CrossedSquareByXModSplitting 8.2-8
CrossedSquareMorphism 8.4-1
CrossedSquareMorphismByGroupHomomorphisms 8.4-1
CrossedSquareMorphismByXModMorphisms 8.4-1
CrossedSquareOfCat2Group 8.5-7
derivation, of crossed module 5.1
DerivationByImages 5.1-1
DerivationBySection 5.1-3
DerivationClass 5.2-1
DerivationImage 5.1-1
DerivedSubXMod 4.1-5
Diagonal2DimensionalGroup, for cat2-groups 8.5-2
    for crossed squares 8.2-13
DiagonalCat1Group 2.4-3
DirectProduct 8.5-3
    for cat1-groups 2.4-7
    for crossed modules 2.1-8
Displacement 4.1-3
DisplacementGroup 4.1-3
DisplacementSubgroup 4.1-3
display a 2d-mapping 3.2-3
Display for a 2d-group 2.1-12
Display for a 3d-group 8.2-1
DisplayLeadMaps 8.5-4
DoubleGroupoidWithZeroBoundary 11.3-1
Down2DimensionalGroup, for cat2-groups 8.5-2
    for crossed squares 8.2-13
Down2DimensionalMorphism 8.4-2
Down3DimensionalGroup, for cat3-groups 9.1-2
EnhancedBasicDoubleGroupoid 11.2-1
ExternalSetXMod 2.1-12
FactorPreXMod 4.1-1
FixedPointSubgroupXMod 4.1-6
free loop space 12.1
Front3DimensionalGroup, for cat3-groups 9.1-2
GeneratingAutomorphisms 6.1-1
GroupGroupoid 2.9-1
GroupGroupoidElement 2.9-2
HeadMap 2.4-2
HorizontalProduct 11.1-3
IdCat1Group 13.1-3
IdentityDerivation 5.1-4
IdentityMapping, for pre-xmods 3.2-3
    for precat1-morphisms 3.3-1
IdentitySection 5.1-4
IdGroup, for 2d-groups 2.8-1
    for crossed modules 2.1-12
ImageElmXModAction 2.1-10
ImagesList 5.2-1
ImagesTable 5.2-1
inclusion mapping 14.1
InclusionMappingGroups 14.1-1
InclusionMorphism2DimensionalDomains, for cat1-groups 3.3-1
    for crossed modules 3.2-3
InclusionMorphismHigherDimensionalDomains 8.4-4
induced cat1-groups 7.3
induced crossed module 7.2
InducedCat1Group 7.3-1
InducedCat1GroupByFreeProduct 7.3-1
InducedXMod 7.2-1
InducedXModByCopower 7.2-1
InducedXModBySurjection 7.2-1
InfoXMod 1.
InitCatnGroupRecords 2.6-4
InnerActor 6.2-2
InnerActorCat1Group 6.2-1
InnerActorXMod 6.1-3
InnerAutomorphismCat1 3.3-1
InnerAutomorphismsByNormalSubgroup 14.1-2
InnerAutomorphismXMod 3.2-3
InnerMorphism 6.1-3
IntersectionSubXMods 4.1-2
Is2DimensionalDomain 2.2
Is2DimensionalGroup 2.2
Is2DimensionalGroup 2.2-1
Is2DimensionalGroupWithObjects 10.1-3
Is3dObject 8.2-12
IsAbelian2DimensionalGroup 4.1-9
IsAbelian3DimensionalGroup 8.2-14
IsAbelianModule 14.2-1
IsAbelianModule2DimensionalGroup 2.2
IsAspherical2DimensionalGroup 4.1-9
IsAutomorphism3dObject 8.4-3
IsAutomorphismGroup2DimensionalGroup 2.2
IsAutomorphismGroup3DimensionalGroup 8.2-14
IsBijective 8.4-3
    for pre-xmod morphisms 3.2-2
IsCat1Group 2.5-1
IsCat1GroupMorphism 3.3-1
IsCat2Group 8.5-1
IsCat3Group 9.1-1
IsCentralExtension2DimensionalGroup 2.2
IsCentralExtension3DimensionalGroup 8.2-14
IsCrossedSquare 8.2-12
IsCrossedSquareMorphism 8.4-3
IsDerivation 5.1-1
IsDirectProductWithCompleteDigraphDomain 10.1-3
IsEndo2DimensionalMapping 3.2-2
IsEndomorphism3dObject 8.4-3
IsFaithful2DimensionalGroup 4.1-9
IsFp2DimensionalGroup 2.2-1
IsFp3dObject 8.2-12
IsFpPreXModWithObjects 10.1-4
IsGroupOfAutomorphisms 14.1-3
IsIdentityCat1Group 2.5-1
IsInducedXMod 7.2-1
IsInjective, for pre-xmod morphisms 3.2-2
IsMonoidOfUp2DimensionalMappingsObj 5.2
IsNilpotent2DimensionalGroup 4.1-10
IsNormal, for pre-crossed modules 2.2-2
IsNormalSub3DimensionalGroup 8.2-14
IsNormalSubgroup2DimensionalGroup 2.2
IsoclinicMiddleLength, for crossed modules of groups 4.3-3
    for groups 4.2-3
IsoclinicRank, for crossed modules of groups 4.3-3
    for groups 4.2-3
IsoclinicStemDomain, for crossed modules of groups 4.3-2
    for groups 4.2-2
Isoclinism, for crossed modules 4.3-1
    for groups 4.2-1
IsomorphicPreCat1GroupWithIdentityEmbedding 2.5-2
IsomorphismByIsomorphisms 3.2-4
IsomorphismClassRepresentatives2dGroups 4.1-12
IsomorphismFp2DimensionalGroup, for pre-cat1 morphisms 3.3-3
IsomorphismPc2DimensionalGroup, for pre-cat1 morphisms 3.3-3
    for pre-xmod morphisms 3.2-4
IsomorphismPerm2DimensionalGroup, for pre-cat1 morphisms 3.3-3
    for pre-xmod morphisms 3.2-4
IsomorphismPermObject 3.3-3
IsomorphismToPreCat1GroupWithIdentityEmbedding 2.5-2
IsomorphismXMods 4.1-11
IsPc2DimensionalGroup 2.2-1
IsPc3dObject 8.2-12
IsPcPreXModWithObjects 10.1-4
IsPerm2DimensionalGroup 2.2-1
IsPerm3dObject 8.2-12
IsPermPreXModWithObjects 10.1-4
IsPreCat1GroupMorphism 3.3-1
IsPreCat1GroupWithIdentityEmbedding 2.5-2
IsPreCrossedSquare 8.2-12
IsPreCrossedSquareMorphism 8.4-3
IsPreXCat1Group 2.5-1
IsPreXMod 2.2-1
IsPreXModMorphism 3.2-1
IsPreXModWithObjects 10.1-3
IsSection 5.1-3
IsSimplyConnected2DimensionalGroup 4.1-9
IsSingleValued, for pre-xmod morphisms 3.2-2
IsStemDomain, for crossed modules of groups 4.3-2
    for groups 4.2-2
IsSub2DimensionalGroup 2.8-2
IsSubCat1Group 2.8-2
IsSubCat2Group 8.5-9
IsSubCrossedSquare 8.3-1
IsSubPreCat1Group 2.8-2
IsSubPreCat2Group 8.5-9
IsSubPreCrossedSquare 8.3-1
IsSubPreXMod 2.8-2
IsSubXMod 2.8-2
IsSurjective, for pre-xmod morphisms 3.2-2
IsSymmetric3DimensionalGroup 8.2-14
IsTotal, for pre-xmod morphisms 3.2-2
IsTrivialAction2DimensionalGroup 2.2
IsTrivialAction3DimensionalGroup 8.2-14
IsUp2DimensionalMapping 5.1-1
IsWhiteheadPermGroup 5.2-3
IsXMod 2.2-1
IsXModMorphism 3.2-1
IsXModWithObjects 10.1-3
Kernel, for 2d-mappings 3.4-2
Kernel2DimensionalMapping 3.4-2
KernelCokernelXMod 2.2-3
KernelEmbedding 2.4-2
Left2DimensionalGroup, for cat2-groups 8.5-2
    for crossed squares 8.2-13
Left2DimensionalMorphism 8.4-2
Left3DimensionalGroup, for cat3-groups 9.1-2
loop space 12.1
LoopClasses 12.1-1
LoopsXMod 12.1-1
LowerCentralSeriesOfXMod 4.1-10
LueXMod 6.1-2
MappingToOne 14.1-1
morphism 3.2
morphism of 2d-group 3.1
morphism of 3d-group 8.4
MorphismOfInducedXMod 7.2-1
MorphismOfPullback, for a crossed module by pullback 3.2-5
Name 8.2-13
    for cat1-groups 2.4-2
    for crossed modules 2.1-12
NaturalMorphismByNormalSubPreXMod 4.1-1
NilpotencyClass2DimensionalGroup 4.1-10
Normalizer 4.1-7
NormalSubXMods 2.2-2
NorrieXMod 6.1-2
Object2d 5.1-1
Object2dEndomorphism 5.3-3
ObjectList 10.1-5
operations on morphisms 3.4
order of a 2d-automorphism 3.2-3
Peiffer subgroup 2.3-1
PeifferSubgroup 2.3-2
PermAutomorphismAs2dGroupMorphism 6.1-1
pre-crossed module 2.3
PreCat1Group 2.4-1
PreCat1GroupByTailHeadEmbedding 2.4-1
PreCat1GroupMorphism 3.3-1
PreCat1GroupMorphismByGroupHomomorphisms 3.3-1
PreCat1GroupRecordOfPreXMod 2.5-3
PreCat1GroupWithIdentityEmbedding 2.4-1
PreCat2Group 8.5-1
PreCat2GroupByPreCat1Groups 8.5-1
PreCat2GroupMorphism 8.5-6
PreCat2GroupMorphismByGroupHomomorphisms 8.5-6
PreCat2GroupMorphismByPreCat1GroupMorphisms 8.5-6
PreCat3Group 9.1-1
PreCat3GroupByPreCat2Groups 9.1-1
PreCatnGroup 9.3-1
PreCrossedSquareByPreXMods 8.2-1
PreCrossedSquareMorphismByGroupHomomorphisms 8.4-1
PreCrossedSquareMorphismByPreXModMorphisms 8.4-1
PreXModByBoundaryAndAction 2.3-1
PreXModMorphism 3.2-3
PreXModMorphismByGroupHomomorphisms 3.2-3
PreXModRecordOfPreCat1Group 2.5-3
PreXModWithObjectsByBoundaryAndAction 10.1-1
PreXModWithTrivialRange 2.3-1
PrincipalDerivation 5.1-2
PrincipalDerivations 5.2-4
PrincipalDerivationSubgroup 5.2-4
quasi isomorphisms 3.5
QuasiIsomorphism 3.5-3
QuotientQuasiIsomorphism 3.5-1
Range 8.4-2
    for 2d-group mappings 3.1-1
    for cat1-groups 2.4-2
    for crossed modules 2.1-9
RangeEmbedding 2.4-2
RangeEndomorphism 5.3-2
RangeHom 3.1-1
regular derivation 5.1
RegularActionHomomorphism2DimensionalGroup, for pre-cat1 morphisms 3.3-3
RegularDerivations 5.2-3
RegularSections 5.4-1
restriction mapping 14.1
Right2DimensionalGroup, for cat2-groups 8.5-2
    for crossed squares 8.2-13
Right2DimensionalMorphism 8.4-2
Right3DimensionalGroup, for cat3-groups 9.1-2
Root2dGroup 10.1-5
section, of cat1-group 5.1
SectionByDerivation 5.1-3
SectionByHomomorphism 5.1-3
selection of a small cat\(^1\)-group 2.7
SinglePieceDoubleGroupoid 11.1-1
SinglePiecePreXModWithObjects 10.1-2
Size2d, for cat1-groups 2.4-2
    for crossed modules 2.1-11
Size3d, for 3d-objects 8.2-2
SmallCat1Group 13.1-1
SmallerDegreePermutationRepresentation2DimensionalGroup, for perm 2d-groups 3.3-4
Source 8.4-2
    for 2d-group mappings 3.1-1
    for cat1-groups 2.4-2
    for crossed modules 2.1-9
SourceEndomorphism 5.3-1
SourceHom 3.1-1
SquareOfArrows 11.1-2
StabilizerSubgroupXMod 4.1-6
StructureDescription, for 2d-groups 2.8-1
SubCat1Group 2.4-6
SubCat2Group 8.5-9
SubCrossedSquare 8.3-1
Subdiagonal2DimensionalGroup 8.5-8
SubPreCat1Group 2.4-6
SubPreCat2Group 8.5-9
SubPreCrossedSquare 8.3-1
SubPreXMod 2.3-1
SubQuasiIsomorphism 3.5-2
SubXMod 2.2-2
TailMap 2.4-2
Transpose3DimensionalGroup, for cat2-groups 8.5-5
    for crossed squares 8.2-10
TransposeCat1Group 2.4-4
TransposeIsomorphism 2.4-4
TrivialSub3DimensionalGroup 8.3-2
TrivialSubCat2Group 8.5-10
TrivialSubCrossedSquare 8.3-2
TrivialSubPreCat2Group 8.5-10
TrivialSubPreCrossedSquare 8.3-2
TrivialSubXMod 2.2-2
up 2d-mapping of 2d-group 5.
Up2DimensionalGroup, for cat2-groups 8.5-2
    for crossed squares 8.2-13
Up2DimensionalMorphism 8.4-2
Up3DimensionalGroup, for cat3-groups 9.1-2
UpGeneratorImages 5.1-1
UpHomomorphism 5.1-3
UpImagePositions 5.1-1
version 1 for GAP 3 15.1-1
version 2.001 for GAP 4 15.1-3
VerticalProduct 11.1-4
Whitehead group 5.1
Whitehead monoid 5.1
Whitehead multiplication 5.1
WhiteheadGroupIsomorphism 5.2-3
WhiteheadGroupTable 5.2-3
WhiteheadHomomorphism 5.2-4
WhiteheadMonoidTable 5.2-2
WhiteheadOrder 5.1-5
WhiteheadPermGroup 5.2-3
WhiteheadProduct 5.1-5
WhiteheadRegularGroup 5.2-3
WhiteheadTransformationMonoid 5.2-2
WhiteheadXMod 6.1-2
XMod 2.1-1
XModAction, for crossed modules of groupoids 10.1-5
    for crossed modules of groups 2.1-9
XModByAbelianModule 2.1-7
XModByAutomorphismGroup 2.1-4
XModByBoundaryAndAction 2.1-1
XModByCentralExtension 2.1-5
XModByGroupOfAutomorphisms 2.1-4
XModByInnerAutomorphismGroup 2.1-4
XModByNormalSubgroup 2.1-2
XModByPeifferQuotient 2.3-2
XModByPullback 2.1-6
XModByTrivialAction 2.1-3
XModCentre 6.1-3
XModMorphism 3.2-3
XModMorphismByGroupHomomorphisms 3.2-3
XModMorphismOfCat1GroupMorphism 3.3-2
XModOfCat1Group 2.5-3