C preface.tex 1. Preface
I 1.0. XMod package
F 1.0. InfoXMod
S 1.1. Authors
C obj2.tex 2. 2d-objects
S 2.1. Introduction
I 2.1. 2d-object
I 2.1. XMod package
S 2.2. Crossed modules
I 2.2. crossed module
I 2.2. About!for crossed modules
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. XModByRModule
F 2.2. Source!of crossed module
F 2.2. Range!of crossed module
F 2.2. Boundary!of crossed module
F 2.2. AutoGroup
F 2.2. XModAction
F 2.2. Size!of crossed module
F 2.2. Name!of crossed module
F 2.2. SubXMod
F 2.2. IdentitySubXMod
F 2.2. NormalSubXMods
F 2.2. DirectProduct
S 2.3. Pre-crossed modules
I 2.3. pre-crossed module
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. PreCat1OfPreXMod
F 2.4. Cat1OfXMod
F 2.4. XModOfCat1
C map2.tex 3. 2d-mappings
I 3.0. 2d-mapping
F 3.0. Source!of morphism
F 3.0. Range!of morphism
F 3.0. SourceHom
F 3.0. RangeHom
S 3.1. Morphisms of pre-crossed modules
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. IsEndomorphism
F 3.1. IsAutomorphism
F 3.1. PreXModMorphism
F 3.1. XModMorphism
F 3.1. PreXModMorphismByHoms
F 3.1. XModMorphismByHoms
F 3.1. InclusionMorphism!of pre-crossed modules
F 3.1. InnerAutomorphism!of pre-crossed modules
F 3.1. IdentityMapping!of pre-crossed modules
F 3.1. IsomorphismPermGroup!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. InclusionMorphism!of pre-cat1-groups
F 3.2. InnerAutomorphism!of pre-cat1-groups
F 3.2. IdentityMapping!of pre-cat1-groups
F 3.2. IsomorphismPermGroup!of pre-cat1-groups
S 3.3. Operations on morphisms
F 3.3. CompositionMapping
F 3.3. Order
F 3.3. Kernel
F 3.3. Kernel2dMapping
C up2.tex 4. Derivations and Sections
S 4.1. Whitehead Multiplication
I 4.1. derivation!of crossed module
I 4.1. section!of cat1-group
F 4.1. Object2d
F 4.1. GeneratorImages
F 4.1. IsDerivation
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
