\indexentry {InfoXMod@`InfoXMod'}{3}
\indexentry {Introduction@Introduction|indexit}{4}
\indexentry {2d-object@2d-object}{4}
\indexentry {Crossed modules@Crossed modules|indexit}{4}
\indexentry {crossed module@crossed module}{4}
\indexentry {XMod@`XMod'}{5}
\indexentry {XModByBoundaryAndAction@`XModByBoundaryAndAction'}{5}
\indexentry {XModByTrivialAction@`XModByTrivialAction'}{5}
\indexentry {XModByNormalSubgroup@`XModByNormalSubgroup'}{5}
\indexentry {XModByCentralExtension@`XModByCentralExtension'}{5}
\indexentry {XModByAutomorphismGroup@`XModByAutomorphismGroup'}{5}
\indexentry {XModByInnerAutomorphismGroup@`XModByInnerAutomorphismGroup'}{5}
\indexentry {XModByGroupOfAutomorphisms@`XModByGroupOfAutomorphisms'}{5}
\indexentry {XModByAbelianModule@`XModByAbelianModule'}{5}
\indexentry {Source@`Source'!of (pre-)crossed module}{5}
\indexentry {Range@`Range'!of (pre-)crossed module}{5}
\indexentry {Boundary@`Boundary'!of (pre-)crossed module}{5}
\indexentry {AutoGroup@`AutoGroup'!of (pre-)crossed module}{5}
\indexentry {XModAction@`XModAction'}{5}
\indexentry {Size@`Size'!of (pre-)crossed module}{5}
\indexentry {Name@`Name'!of (pre-)crossed module}{5}
\indexentry {SubXMod@`SubXMod'}{6}
\indexentry {IdentitySubXMod@`IdentitySubXMod'}{6}
\indexentry {NormalSubXMods@`NormalSubXMods'}{6}
\indexentry {DirectProduct@`DirectProduct'}{6}
\indexentry {Pre-crossed modules@Pre-crossed modules|indexit}{6}
\indexentry {PeifferSubgroup@`PeifferSubgroup'}{6}
\indexentry {PreXModByBoundaryAndAction@`PreXModByBoundaryAndAction'}{6}
\indexentry {PreXModByCentralExtension@`PreXModByCentralExtension'}{6}
\indexentry {SubPreXMod@`SubPreXMod'}{6}
\indexentry {XModByPeifferQuotient@`XModByPeifferQuotient'}{6}
\indexentry {IsPermXMod@`IsPermXMod'}{7}
\indexentry {IsPcPreXMod@`IsPcPreXMod'}{7}
\indexentry {Cat1-groups and pre-cat1-groups@Cat1-groups and pre-cat1-groups|indexit}{7}
\indexentry {cat1-group@cat1-group}{7}
\indexentry {pre-cat1-group@pre-cat1-group}{7}
\indexentry {Source@`Source'!of (pre-)cat1-group}{7}
\indexentry {Range@`Range'!of (pre-)cat1-group}{7}
\indexentry {Tail@`Tail'}{7}
\indexentry {Head@`Head'}{7}
\indexentry {RangeEmbedding@`RangeEmbedding'}{7}
\indexentry {KernelEmbedding@`KernelEmbedding'}{7}
\indexentry {Boundary@`Boundary'!of (pre-)cat1-group}{7}
\indexentry {Name@`Name'!of (pre-)cat1-group}{7}
\indexentry {Size@`Size'!of (pre-)cat1-group}{7}
\indexentry {Cat1@`Cat1'}{8}
\indexentry {PreCat1ByTailHeadEmbedding@`PreCat1ByTailHeadEmbedding'}{8}
\indexentry {PreCat1ByEndomorphisms@`PreCat1ByEndomorphisms'}{8}
\indexentry {PreCat1ByNormalSubgroup@`PreCat1ByNormalSubgroup'}{8}
\indexentry {Cat1ByPeifferQuotient@`Cat1ByPeifferQuotient'}{8}
\indexentry {Reverse@`Reverse'}{8}
\indexentry {Cat1OfXMod@`Cat1OfXMod'}{9}
\indexentry {XModOfCat1@`XModOfCat1'}{9}
\indexentry {PreCat1OfPreXMod@`PreCat1OfPreXMod'}{9}
\indexentry {PreXModOfPreCat1@`PreXModOfPreCat1'}{9}
\indexentry {Selection of a small cat1-group@Selection of a small cat1-group|indexit}{9}
\indexentry {cat1-group selection@cat1-group selection}{9}
\indexentry {2d-mapping@2d-mapping}{11}
\indexentry {Source@`Source'!of 2d-mapping}{11}
\indexentry {Range@`Range'!of 2d-mapping}{11}
\indexentry {SourceHom@`SourceHom'}{11}
\indexentry {RangeHom@`RangeHom'}{11}
\indexentry {Morphisms of pre-crossed modules@Morphisms of pre-crossed modules|indexit}{11}
\indexentry {IsPreXModMorphism@`IsPreXModMorphism'}{11}
\indexentry {IsXModMorphism@`IsXModMorphism'}{11}
\indexentry {IsPreCat1Morphism@`IsPreCat1Morphism'}{11}
\indexentry {IsCat1Morphism@`IsCat1Morphism'}{11}
\indexentry {crossed module morphism@crossed module morphism}{11}
\indexentry {IsInjective@`IsInjective'}{11}
\indexentry {IsSurjective@`IsSurjective'}{11}
\indexentry {IsSingleValued@`IsSingleValued'}{11}
\indexentry {IsTotal@`IsTotal'}{11}
\indexentry {IsBijective@`IsBijective'}{11}
\indexentry {IsEndomorphism2dObject@`IsEndomorphism2dObject'}{11}
\indexentry {IsAutomorphism2dObject@`IsAutomorphism2dObject'}{11}
\indexentry {PreXModMorphism@`PreXModMorphism'}{11}
\indexentry {XModMorphism@`XModMorphism'}{11}
\indexentry {PreXModMorphismByHoms@`PreXModMorphismByHoms'}{11}
\indexentry {XModMorphismByHoms@`XModMorphismByHoms'}{11}
\indexentry {InclusionMorphism2dObjects@`InclusionMorphism2dObjects'!of pre-crossed modules}{11}
\indexentry {InnerAutomorphismXMod@`InnerAutomorphismXMod'}{11}
\indexentry {IdentityMapping@`IdentityMapping'!of pre-crossed modules}{11}
\indexentry {IsomorphismPermObject@`IsomorphismPermObject'!of pre-crossed modules}{11}
\indexentry {Morphisms of pre-cat1-groups@Morphisms of pre-cat1-groups|indexit}{12}
\indexentry {cat1-group morphism@cat1-group morphism}{12}
\indexentry {PreCat1Morphism@`PreCat1Morphism'}{12}
\indexentry {Cat1Morphism@`Cat1Morphism'}{12}
\indexentry {PreCat1MorphismByHoms@`PreCat1MorphismByHoms'}{12}
\indexentry {Cat1MorphismByHoms@`Cat1MorphismByHoms'}{12}
\indexentry {InclusionMorphism2dObjects@`InclusionMorphism2dObjects'!of pre-cat1-groups}{12}
\indexentry {InnerAutomorphismCat1@`InnerAutomorphismCat1'!of pre-cat1-groups}{12}
\indexentry {IdentityMapping@`IdentityMapping'!of pre-cat1-groups}{12}
\indexentry {IsomorphismPermObject@`IsomorphismPermObject'!of pre-cat1-groups}{12}
\indexentry {SmallerDegreePerm2dObject@`SmallerDegreePerm2dObject'}{12}
\indexentry {Operations on morphisms@Operations on morphisms|indexit}{13}
\indexentry {Order@`Order'}{13}
\indexentry {CompositionMorphism@`CompositionMorphism'}{13}
\indexentry {Kernel@`Kernel'}{14}
\indexentry {Kernel2dMapping@`Kernel2dMapping'}{14}
\indexentry {Whitehead Multiplication@Whitehead Multiplication|indexit}{15}
\indexentry {Up2dmapping!of 2dobject}{15}
\indexentry {derivation}{15}
\indexentry {section}{15}
\indexentry {IsUp2dMapping@`IsUp2dMapping'}{15}
\indexentry {IsDerivation@`IsDerivation'}{15}
\indexentry {IsSection@`IsSection'}{15}
\indexentry {section!of cat1-group}{15}
\indexentry {Object2d@`Object2d'}{15}
\indexentry {GeneratorImages@`GeneratorImages'}{15}
\indexentry {DerivationByImages@`DerivationByImages'}{15}
\indexentry {SectionByImages@`SectionByImages'}{16}
\indexentry {SectionByDerivation@`SectionByDerivation'}{16}
\indexentry {DerivationBySection@`DerivationBySection'}{16}
\indexentry {Whitehead Groups and Monoids@Whitehead Groups and Monoids|indexit}{16}
\indexentry {RegularDerivations@`RegularDerivations'}{16}
\indexentry {AllDerivations@`AllDerivations'}{16}
\indexentry {RegularSections@`RegularSections'}{16}
\indexentry {AllSections@`AllSections'}{16}
\indexentry {ImagesList@`ImagesList'}{16}
\indexentry {ImagesTable@`ImagesTable'}{16}
\indexentry {CompositeDerivation@`CompositeDerivation'}{17}
\indexentry {ImagePositions@`ImagePositions'}{17}
\indexentry {WhiteheadGroupTable@`WhiteheadGroupTable'}{18}
\indexentry {WhiteheadMonoidTable@`WhiteheadMonoidTable'}{18}
\indexentry {WhiteheadPermGroup@`WhiteheadPermGroup'}{18}
\indexentry {WhiteheadTransMonoid@`WhiteheadTransMonoid'}{18}
\indexentry {Actor of a Crossed Module@Actor of a Crossed Module|indexit}{19}
\indexentry {AutomorphismPermGroup@`AutomorphismPermGroup'}{19}
\indexentry {WhiteheadXMod@`WhiteheadXMod'}{19}
\indexentry {LueXMod@`LueXMod'}{19}
\indexentry {NorrieXMod@`NorrieXMod'}{19}
\indexentry {ActorXMod@`ActorXMod'}{19}
\indexentry {InnerActor@`InnerActor'}{19}
\indexentry {InnerMorphism@`InnerMorphism'}{19}
\indexentry {Centre@`Centre'}{19}
\indexentry {Induced crossed modules@Induced crossed modules|indexit}{21}
\indexentry {IsInducedXMod@`IsInducedXMod'}{21}
\indexentry {IsInducedCat1@`IsInducedCat1'}{21}
\indexentry {InducedXMod@`InducedXMod'}{21}
\indexentry {InducedCat1@`InducedCat1'}{21}
\indexentry {MorphismOfInducedXMod@`MorphismOfInducedXMod'}{21}
\indexentry {AllInducedXMods@`AllInducedXMods'}{23}
\indexentry {Inclusion and Restriction Mappings@Inclusion and Restriction Mappings|indexit}{24}
\indexentry {InclusionMappingGroups@`InclusionMappingGroups'}{24}
\indexentry {RestrictionMappingGroups@`RestrictionMappingGroups'}{24}
\indexentry {MappingToOne@`MappingToOne'}{24}
\indexentry {Endomorphism Classes and Automorphisms@Endomorphism Classes and Automorphisms|indexit}{24}
\indexentry {EndomorphismClasses@`EndomorphismClasses'}{24}
\indexentry {EndoClassNaturalHom@`EndoClassNaturalHom'}{24}
\indexentry {EndoClassIsomorphism@`EndoClassIsomorphism'}{24}
\indexentry {EndoClassConjugators@`EndoClassConjugators'}{24}
\indexentry {AutoGroup@`AutoGroup'!of endomorphism class}{24}
\indexentry {InnerAutomorphismsByNormalSubgroup@`InnerAutomorphismsByNormalSubgroup'}{25}
\indexentry {IsGroupOfAutomorphisms@`IsGroupOfAutomorphisms'}{25}
\indexentry {Abelian Modules@Abelian Modules|indexit}{25}
\indexentry {IsAbelianModule@`IsAbelianModule'}{25}
\indexentry {AbelianModuleGroup@`AbelianModuleGroup'}{25}
\indexentry {AbelianModuleAction@`AbelianModuleAction'}{25}
\indexentry {AbelianModuleObject@`AbelianModuleObject'}{25}
\indexentry {Distinct and Common Representatives@Distinct and Common Representatives|indexit}{26}
\indexentry {DistinctRepresentatives@`DistinctRepresentatives'}{26}
\indexentry {CommonRepresentatives@`CommonRepresentatives'}{26}
\indexentry {CommonTransversal@`CommonTransversal'}{26}
\indexentry {IsCommonTransversal@`IsCommonTransversal'}{26}
\indexentry {Versions 2.002 -- 2.005@Versions 2.002 -- 2.005|indexit}{28}
\indexentry {Version 2.006@Version 2.006|indexit}{28}
\indexentry {What needs doing next?@What needs doing next?|indexit}{28}
