C preface.tex 1. Preface
F 1.0. InfoXMod
C obj2.tex 2. 2d-objects
S 2.1. Introduction
I 2.1. 2d-object
S 2.2. Crossed modules
I 2.2. crossed module
F 2.2. XMod
F 2.2. XModByBoundaryAndAction
F 2.2. XModByTrivialAction
F 2.2. XModByNormalSubgroup
F 2.2. XModByCentralExtension
F 2.2. XModByAutomorphismGroup
F 2.2. XModByInnerAutomorphismGroup
F 2.2. XModByGroupOfAutomorphisms
F 2.2. XModByAbelianModule
F 2.2. Source!of (pre-)crossed module
F 2.2. Range!of (pre-)crossed module
F 2.2. Boundary!of (pre-)crossed module
F 2.2. AutoGroup!of (pre-)crossed module
F 2.2. XModAction
F 2.2. Size!of (pre-)crossed module
F 2.2. Name!of (pre-)crossed module
F 2.2. SubXMod
F 2.2. IdentitySubXMod
F 2.2. NormalSubXMods
F 2.2. DirectProduct
S 2.3. Pre-crossed modules
F 2.3. PeifferSubgroup
F 2.3. PreXModByBoundaryAndAction
F 2.3. PreXModByCentralExtension
F 2.3. SubPreXMod
F 2.3. XModByPeifferQuotient
F 2.3. IsPermXMod
F 2.3. IsPcPreXMod
S 2.4. Cat1-groups and pre-cat1-groups
I 2.4. cat1-group
I 2.4. pre-cat1-group
F 2.4. Source!of (pre-)cat1-group
F 2.4. Range!of (pre-)cat1-group
F 2.4. Tail
F 2.4. Head
F 2.4. RangeEmbedding
F 2.4. KernelEmbedding
F 2.4. Boundary!of (pre-)cat1-group
F 2.4. Name!of (pre-)cat1-group
F 2.4. Size!of (pre-)cat1-group
F 2.4. Cat1
F 2.4. PreCat1ByTailHeadEmbedding
F 2.4. PreCat1ByEndomorphisms
F 2.4. PreCat1ByNormalSubgroup
F 2.4. Cat1ByPeifferQuotient
F 2.4. Reverse
F 2.4. Cat1OfXMod
F 2.4. XModOfCat1
F 2.4. PreCat1OfPreXMod
F 2.4. PreXModOfPreCat1
S 2.5. Selection of a small cat1-group
I 2.5. cat1-group selection
C map2.tex 3. 2d-mappings
I 3.0. 2d-mapping
F 3.0. Source!of 2d-mapping
F 3.0. Range!of 2d-mapping
F 3.0. SourceHom
F 3.0. RangeHom
S 3.1. Morphisms of pre-crossed modules
F 3.1. IsPreXModMorphism
F 3.1. IsXModMorphism
F 3.1. IsPreCat1Morphism
F 3.1. IsCat1Morphism
I 3.1. crossed module morphism
F 3.1. IsInjective
F 3.1. IsSurjective
F 3.1. IsSingleValued
F 3.1. IsTotal
F 3.1. IsBijective
F 3.1. IsEndomorphism2dObject
F 3.1. IsAutomorphism2dObject
F 3.1. PreXModMorphism
F 3.1. XModMorphism
F 3.1. PreXModMorphismByHoms
F 3.1. XModMorphismByHoms
F 3.1. InclusionMorphism2dObjects!of pre-crossed modules
F 3.1. InnerAutomorphismXMod
F 3.1. IdentityMapping!of pre-crossed modules
F 3.1. IsomorphismPermObject!of pre-crossed modules
S 3.2. Morphisms of pre-cat1-groups
I 3.2. cat1-group morphism
F 3.2. PreCat1Morphism
F 3.2. Cat1Morphism
F 3.2. PreCat1MorphismByHoms
F 3.2. Cat1MorphismByHoms
F 3.2. InclusionMorphism2dObjects!of pre-cat1-groups
F 3.2. InnerAutomorphismCat1!of pre-cat1-groups
F 3.2. IdentityMapping!of pre-cat1-groups
F 3.2. IsomorphismPermObject!of pre-cat1-groups
F 3.2. SmallerDegreePerm2dObject
S 3.3. Operations on morphisms
F 3.3. Order
F 3.3. CompositionMorphism
F 3.3. Kernel
F 3.3. Kernel2dMapping
C up2.tex 4. Derivations and Sections
S 4.1. Whitehead Multiplication
I 4.1. Up2dmapping!of 2dobject
I 4.1. derivation
I 4.1. section
F 4.1. IsUp2dMapping
F 4.1. IsDerivation
F 4.1. IsSection
I 4.1. section!of cat1-group
F 4.1. Object2d
F 4.1. GeneratorImages
F 4.1. DerivationByImages
F 4.1. SectionByImages
F 4.1. SectionByDerivation
F 4.1. DerivationBySection
S 4.2. Whitehead Groups and Monoids
F 4.2. RegularDerivations
F 4.2. AllDerivations
F 4.2. RegularSections
F 4.2. AllSections
F 4.2. ImagesList
F 4.2. ImagesTable
F 4.2. CompositeDerivation
F 4.2. ImagePositions
F 4.2. WhiteheadGroupTable
F 4.2. WhiteheadMonoidTable
F 4.2. WhiteheadPermGroup
F 4.2. WhiteheadTransMonoid
C actor2.tex 5. Actors of 2d-objects
S 5.1. Actor of a Crossed Module
F 5.1. AutomorphismPermGroup
F 5.1. WhiteheadXMod
F 5.1. LueXMod
F 5.1. NorrieXMod
F 5.1. ActorXMod
F 5.1. InnerActor
F 5.1. InnerMorphism
F 5.1. Centre
C induce2.tex 6. Induced Constructions
S 6.1. Induced crossed modules
F 6.1. IsInducedXMod
F 6.1. IsInducedCat1
F 6.1. InducedXMod
F 6.1. InducedCat1
F 6.1. MorphismOfInducedXMod
F 6.1. AllInducedXMods
C util.tex 7. Utility functions
S 7.1. Inclusion and Restriction Mappings
F 7.1. InclusionMappingGroups
F 7.1. RestrictionMappingGroups
F 7.1. MappingToOne
S 7.2. Endomorphism Classes and Automorphisms
F 7.2. EndomorphismClasses
F 7.2. EndoClassNaturalHom
F 7.2. EndoClassIsomorphism
F 7.2. EndoClassConjugators
F 7.2. AutoGroup!of endomorphism class
F 7.2. InnerAutomorphismsByNormalSubgroup
F 7.2. IsGroupOfAutomorphisms
S 7.3. Abelian Modules
F 7.3. IsAbelianModule
F 7.3. AbelianModuleGroup
F 7.3. AbelianModuleAction
F 7.3. AbelianModuleObject
S 7.4. Distinct and Common Representatives
F 7.4. DistinctRepresentatives
F 7.4. CommonRepresentatives
F 7.4. CommonTransversal
F 7.4. IsCommonTransversal
C history.tex 8. Development History
S 8.1. Versions 2.002 -- 2.005
S 8.2. Version 2.006
S 8.3. What needs doing next?
