\relax \ifx\hyper@anchor\@undefined \global \let \oldcontentsline\contentsline \gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} \global \let \oldnewlabel\newlabel \gdef \newlabel#1#2{\newlabelxx{#1}#2} \gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} \AtEndDocument{\let \contentsline\oldcontentsline \let \newlabel\oldnewlabel} \else \global \let \hyper@last\relax \fi \citation{A1} \@writefile{brf}{\backcite{A1}{{2}{(document)}{Doc-Start}}} \citation{W2} \citation{W1} \citation{L1} \citation{N1} \citation{N2} \citation{G1} \citation{E1} \citation{BH1} \citation{BW1} \citation{BW2} \citation{AW1} \citation{B82} \@writefile{toc}{\contentsline {chapter}{\numberline {1}\leavevmode {\color {Chapter }Introduction}}{5}{chapter.1}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{Intro}{{1}{5}{\textcolor {Chapter }{Introduction}\relax }{chapter.1}{}} \@writefile{brf}{\backcite{W2}{{5}{1}{chapter.1}}} \@writefile{brf}{\backcite{W1}{{5}{1}{chapter.1}}} \@writefile{brf}{\backcite{L1}{{5}{1}{chapter.1}}} \@writefile{brf}{\backcite{N1}{{5}{1}{chapter.1}}} \@writefile{brf}{\backcite{N2}{{5}{1}{chapter.1}}} \@writefile{brf}{\backcite{G1}{{5}{1}{chapter.1}}} \@writefile{brf}{\backcite{E1}{{5}{1}{chapter.1}}} \@writefile{brf}{\backcite{BH1}{{5}{1}{chapter.1}}} \@writefile{brf}{\backcite{BW1}{{5}{1}{chapter.1}}} \@writefile{brf}{\backcite{BW2}{{5}{1}{chapter.1}}} \@writefile{brf}{\backcite{AW1}{{5}{1}{chapter.1}}} \@writefile{brf}{\backcite{B82}{{5}{1}{chapter.1}}} \citation{M1} \@writefile{brf}{\backcite{M1}{{6}{1}{chapter.1}}} \@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color {Chapter }2d-objects}}{7}{chapter.2}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-obj2}{{2}{7}{\textcolor {Chapter }{2d-objects}\relax }{chapter.2}{}} \@writefile{toc}{\contentsline {section}{\numberline {2.1}\leavevmode {\color {Chapter }Constructions for crossed modules}}{7}{section.2.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.1.1}\leavevmode {\color {Chapter }XMod}}{7}{subsection.2.1.1}} \newlabel{XMod}{{2.1.1}{7}{\textcolor {Chapter }{XMod}\relax }{subsection.2.1.1}{}} \newlabel{XModByBoundaryAndAction}{{2.1.1}{7}{\textcolor {Chapter }{XMod}\relax }{subsection.2.1.1}{}} \newlabel{XModByTrivialAction}{{2.1.1}{7}{\textcolor {Chapter }{XMod}\relax }{subsection.2.1.1}{}} \newlabel{XModByNormalSubgroup}{{2.1.1}{7}{\textcolor {Chapter }{XMod}\relax }{subsection.2.1.1}{}} \newlabel{XModByCentralExtension}{{2.1.1}{7}{\textcolor {Chapter }{XMod}\relax }{subsection.2.1.1}{}} \newlabel{XModByAutomorphismGroup}{{2.1.1}{7}{\textcolor {Chapter }{XMod}\relax }{subsection.2.1.1}{}} \newlabel{XModByInnerAutomorphismGroup}{{2.1.1}{7}{\textcolor {Chapter }{XMod}\relax }{subsection.2.1.1}{}} \newlabel{XModByGroupOfAutomorphisms}{{2.1.1}{7}{\textcolor {Chapter }{XMod}\relax }{subsection.2.1.1}{}} \newlabel{XModByAbelianModule}{{2.1.1}{7}{\textcolor {Chapter }{XMod}\relax }{subsection.2.1.1}{}} \newlabel{DirectProduct}{{2.1.1}{7}{\textcolor {Chapter }{XMod}\relax }{subsection.2.1.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.1.2}\leavevmode {\color {Chapter }Source}}{8}{subsection.2.1.2}} \newlabel{Source}{{2.1.2}{8}{\textcolor {Chapter }{Source}\relax }{subsection.2.1.2}{}} \newlabel{Range}{{2.1.2}{8}{\textcolor {Chapter }{Source}\relax }{subsection.2.1.2}{}} \newlabel{Boundary}{{2.1.2}{8}{\textcolor {Chapter }{Source}\relax }{subsection.2.1.2}{}} \newlabel{AutoGroup}{{2.1.2}{8}{\textcolor {Chapter }{Source}\relax }{subsection.2.1.2}{}} \newlabel{XModAction}{{2.1.2}{8}{\textcolor {Chapter }{Source}\relax }{subsection.2.1.2}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.1.3}\leavevmode {\color {Chapter }Size}}{8}{subsection.2.1.3}} \newlabel{Size}{{2.1.3}{8}{\textcolor {Chapter }{Size}\relax }{subsection.2.1.3}{}} \newlabel{Name}{{2.1.3}{8}{\textcolor {Chapter }{Size}\relax }{subsection.2.1.3}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.1.4}\leavevmode {\color {Chapter }SubXMod}}{9}{subsection.2.1.4}} \newlabel{SubXMod}{{2.1.4}{9}{\textcolor {Chapter }{SubXMod}\relax }{subsection.2.1.4}{}} \newlabel{IdentitySubXMod}{{2.1.4}{9}{\textcolor {Chapter }{SubXMod}\relax }{subsection.2.1.4}{}} \newlabel{NormalSubXMods}{{2.1.4}{9}{\textcolor {Chapter }{SubXMod}\relax }{subsection.2.1.4}{}} \@writefile{toc}{\contentsline {section}{\numberline {2.2}\leavevmode {\color {Chapter }Pre-crossed modules}}{9}{section.2.2}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}\leavevmode {\color {Chapter }PreXModByBoundaryAndAction}}{9}{subsection.2.2.1}} \newlabel{PreXModByBoundaryAndAction}{{2.2.1}{9}{\textcolor {Chapter }{PreXModByBoundaryAndAction}\relax }{subsection.2.2.1}{}} \newlabel{SubPreXMod}{{2.2.1}{9}{\textcolor {Chapter }{PreXModByBoundaryAndAction}\relax }{subsection.2.2.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}\leavevmode {\color {Chapter }PeifferSubgroup}}{10}{subsection.2.2.2}} \newlabel{PeifferSubgroup}{{2.2.2}{10}{\textcolor {Chapter }{PeifferSubgroup}\relax }{subsection.2.2.2}{}} \newlabel{XModByPeifferQuotient}{{2.2.2}{10}{\textcolor {Chapter }{PeifferSubgroup}\relax }{subsection.2.2.2}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.2.3}\leavevmode {\color {Chapter }IsPermXMod}}{10}{subsection.2.2.3}} \newlabel{IsPermXMod}{{2.2.3}{10}{\textcolor {Chapter }{IsPermXMod}\relax }{subsection.2.2.3}{}} \newlabel{IsPcPreXMod}{{2.2.3}{10}{\textcolor {Chapter }{IsPermXMod}\relax }{subsection.2.2.3}{}} \@writefile{toc}{\contentsline {section}{\numberline {2.3}\leavevmode {\color {Chapter }Cat1-groups and pre-cat1-groups}}{10}{section.2.3}} \newlabel{sect-cat1}{{2.3}{10}{\textcolor {Chapter }{Cat1-groups and pre-cat1-groups}\relax }{section.2.3}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}\leavevmode {\color {Chapter }Source}}{10}{subsection.2.3.1}} \newlabel{Source}{{2.3.1}{10}{\textcolor {Chapter }{Source}\relax }{subsection.2.3.1}{}} \newlabel{Range}{{2.3.1}{10}{\textcolor {Chapter }{Source}\relax }{subsection.2.3.1}{}} \citation{L1} \newlabel{TailMap}{{2.3.1}{11}{\textcolor {Chapter }{Source}\relax }{subsection.2.3.1}{}} \newlabel{HeadMap}{{2.3.1}{11}{\textcolor {Chapter }{Source}\relax }{subsection.2.3.1}{}} \newlabel{RangeEmbedding}{{2.3.1}{11}{\textcolor {Chapter }{Source}\relax }{subsection.2.3.1}{}} \newlabel{KernelEmbedding}{{2.3.1}{11}{\textcolor {Chapter }{Source}\relax }{subsection.2.3.1}{}} \newlabel{Boundary}{{2.3.1}{11}{\textcolor {Chapter }{Source}\relax }{subsection.2.3.1}{}} \newlabel{Name}{{2.3.1}{11}{\textcolor {Chapter }{Source}\relax }{subsection.2.3.1}{}} \newlabel{Size}{{2.3.1}{11}{\textcolor {Chapter }{Source}\relax }{subsection.2.3.1}{}} \@writefile{brf}{\backcite{L1}{{11}{2.3.1}{subsection.2.3.1}}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.3.2}\leavevmode {\color {Chapter }Cat1}}{11}{subsection.2.3.2}} \newlabel{Cat1}{{2.3.2}{11}{\textcolor {Chapter }{Cat1}\relax }{subsection.2.3.2}{}} \newlabel{PreCat1ByTailHeadEmbedding}{{2.3.2}{11}{\textcolor {Chapter }{Cat1}\relax }{subsection.2.3.2}{}} \newlabel{PreCat1ByEndomorphisms}{{2.3.2}{11}{\textcolor {Chapter }{Cat1}\relax }{subsection.2.3.2}{}} \newlabel{PreCat1ByNormalSubgroup}{{2.3.2}{11}{\textcolor {Chapter }{Cat1}\relax }{subsection.2.3.2}{}} \newlabel{Cat1ByPeifferQuotient}{{2.3.2}{11}{\textcolor {Chapter }{Cat1}\relax }{subsection.2.3.2}{}} \newlabel{Reverse}{{2.3.2}{11}{\textcolor {Chapter }{Cat1}\relax }{subsection.2.3.2}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.3.3}\leavevmode {\color {Chapter }Cat1OfXMod}}{12}{subsection.2.3.3}} \newlabel{Cat1OfXMod}{{2.3.3}{12}{\textcolor {Chapter }{Cat1OfXMod}\relax }{subsection.2.3.3}{}} \newlabel{XModOfCat1}{{2.3.3}{12}{\textcolor {Chapter }{Cat1OfXMod}\relax }{subsection.2.3.3}{}} \newlabel{PreCat1OfPreXMod}{{2.3.3}{12}{\textcolor {Chapter }{Cat1OfXMod}\relax }{subsection.2.3.3}{}} \newlabel{PreXModOfPreCat1}{{2.3.3}{12}{\textcolor {Chapter }{Cat1OfXMod}\relax }{subsection.2.3.3}{}} \@writefile{toc}{\contentsline {section}{\numberline {2.4}\leavevmode {\color {Chapter }Selection of a small cat1-group}}{13}{section.2.4}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}\leavevmode {\color {Chapter }Cat1Select}}{13}{subsection.2.4.1}} \newlabel{Cat1Select}{{2.4.1}{13}{\textcolor {Chapter }{Cat1Select}\relax }{subsection.2.4.1}{}} \@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color {Chapter }2d-mappings}}{15}{chapter.3}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-map2}{{3}{15}{\textcolor {Chapter }{2d-mappings}\relax }{chapter.3}{}} \@writefile{toc}{\contentsline {section}{\numberline {3.1}\leavevmode {\color {Chapter }Morphisms of 2d-objects}}{15}{section.3.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color {Chapter }Source}}{15}{subsection.3.1.1}} \newlabel{Source}{{3.1.1}{15}{\textcolor {Chapter }{Source}\relax }{subsection.3.1.1}{}} \newlabel{Range}{{3.1.1}{15}{\textcolor {Chapter }{Source}\relax }{subsection.3.1.1}{}} \newlabel{SourceHom}{{3.1.1}{15}{\textcolor {Chapter }{Source}\relax }{subsection.3.1.1}{}} \newlabel{RangeHom}{{3.1.1}{15}{\textcolor {Chapter }{Source}\relax }{subsection.3.1.1}{}} \@writefile{toc}{\contentsline {section}{\numberline {3.2}\leavevmode {\color {Chapter }Morphisms of pre-crossed modules}}{15}{section.3.2}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}\leavevmode {\color {Chapter }IsXModMorphism}}{15}{subsection.3.2.1}} \newlabel{IsXModMorphism}{{3.2.1}{15}{\textcolor {Chapter }{IsXModMorphism}\relax }{subsection.3.2.1}{}} \newlabel{IsCat1Morphism}{{3.2.1}{15}{\textcolor {Chapter }{IsXModMorphism}\relax }{subsection.3.2.1}{}} \newlabel{IsPreXModMorphism}{{3.2.1}{15}{\textcolor {Chapter }{IsXModMorphism}\relax }{subsection.3.2.1}{}} \newlabel{IsPreCat1Morphism}{{3.2.1}{15}{\textcolor {Chapter }{IsXModMorphism}\relax }{subsection.3.2.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}\leavevmode {\color {Chapter }IsInjective}}{16}{subsection.3.2.2}} \newlabel{IsInjective}{{3.2.2}{16}{\textcolor {Chapter }{IsInjective}\relax }{subsection.3.2.2}{}} \newlabel{IsSurjective}{{3.2.2}{16}{\textcolor {Chapter }{IsInjective}\relax }{subsection.3.2.2}{}} \newlabel{IsSingleValued}{{3.2.2}{16}{\textcolor {Chapter }{IsInjective}\relax }{subsection.3.2.2}{}} \newlabel{IsTotal}{{3.2.2}{16}{\textcolor {Chapter }{IsInjective}\relax }{subsection.3.2.2}{}} \newlabel{IsBijective}{{3.2.2}{16}{\textcolor {Chapter }{IsInjective}\relax }{subsection.3.2.2}{}} \newlabel{IsEndomorphism2dObject}{{3.2.2}{16}{\textcolor {Chapter }{IsInjective}\relax }{subsection.3.2.2}{}} \newlabel{IsAutomorphism2dObject}{{3.2.2}{16}{\textcolor {Chapter }{IsInjective}\relax }{subsection.3.2.2}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.2.3}\leavevmode {\color {Chapter }XModMorphism}}{16}{subsection.3.2.3}} \newlabel{XModMorphism}{{3.2.3}{16}{\textcolor {Chapter }{XModMorphism}\relax }{subsection.3.2.3}{}} \newlabel{XModMorphismByHoms}{{3.2.3}{16}{\textcolor {Chapter }{XModMorphism}\relax }{subsection.3.2.3}{}} \newlabel{PreXModMorphism}{{3.2.3}{16}{\textcolor {Chapter }{XModMorphism}\relax }{subsection.3.2.3}{}} \newlabel{PreXModMorphismByHoms}{{3.2.3}{16}{\textcolor {Chapter }{XModMorphism}\relax }{subsection.3.2.3}{}} \newlabel{InclusionMorphism2dObjects}{{3.2.3}{16}{\textcolor {Chapter }{XModMorphism}\relax }{subsection.3.2.3}{}} \newlabel{InnerAutomorphismXMod}{{3.2.3}{16}{\textcolor {Chapter }{XModMorphism}\relax }{subsection.3.2.3}{}} \newlabel{IdentityMapping}{{3.2.3}{16}{\textcolor {Chapter }{XModMorphism}\relax }{subsection.3.2.3}{}} \newlabel{IsomorphismPermObject}{{3.2.3}{16}{\textcolor {Chapter }{XModMorphism}\relax }{subsection.3.2.3}{}} \@writefile{toc}{\contentsline {section}{\numberline {3.3}\leavevmode {\color {Chapter }Morphisms of pre-cat1-groups}}{17}{section.3.3}} \newlabel{sect-mor-pre-cat1}{{3.3}{17}{\textcolor {Chapter }{Morphisms of pre-cat1-groups}\relax }{section.3.3}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}\leavevmode {\color {Chapter }Cat1Morphism}}{17}{subsection.3.3.1}} \newlabel{Cat1Morphism}{{3.3.1}{17}{\textcolor {Chapter }{Cat1Morphism}\relax }{subsection.3.3.1}{}} \newlabel{Cat1MorphismByHoms}{{3.3.1}{17}{\textcolor {Chapter }{Cat1Morphism}\relax }{subsection.3.3.1}{}} \newlabel{PreCat1Morphism}{{3.3.1}{17}{\textcolor {Chapter }{Cat1Morphism}\relax }{subsection.3.3.1}{}} \newlabel{PreCat1MorphismByHoms}{{3.3.1}{17}{\textcolor {Chapter }{Cat1Morphism}\relax }{subsection.3.3.1}{}} \newlabel{InclusionMorphism2dObjects}{{3.3.1}{17}{\textcolor {Chapter }{Cat1Morphism}\relax }{subsection.3.3.1}{}} \newlabel{InnerAutomorphismCat1}{{3.3.1}{17}{\textcolor {Chapter }{Cat1Morphism}\relax }{subsection.3.3.1}{}} \newlabel{IdentityMapping}{{3.3.1}{17}{\textcolor {Chapter }{Cat1Morphism}\relax }{subsection.3.3.1}{}} \newlabel{IsmorphismPermObject}{{3.3.1}{17}{\textcolor {Chapter }{Cat1Morphism}\relax }{subsection.3.3.1}{}} \newlabel{SmallerDegreePerm2dObject}{{3.3.1}{17}{\textcolor {Chapter }{Cat1Morphism}\relax }{subsection.3.3.1}{}} \@writefile{toc}{\contentsline {section}{\numberline {3.4}\leavevmode {\color {Chapter }Operations on morphisms}}{18}{section.3.4}} \newlabel{sect-oper-mor}{{3.4}{18}{\textcolor {Chapter }{Operations on morphisms}\relax }{section.3.4}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}\leavevmode {\color {Chapter }Order}}{18}{subsection.3.4.1}} \newlabel{Order}{{3.4.1}{18}{\textcolor {Chapter }{Order}\relax }{subsection.3.4.1}{}} \newlabel{CompositionMorphism}{{3.4.1}{18}{\textcolor {Chapter }{Order}\relax }{subsection.3.4.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.4.2}\leavevmode {\color {Chapter }Kernel}}{18}{subsection.3.4.2}} \newlabel{Kernel}{{3.4.2}{18}{\textcolor {Chapter }{Kernel}\relax }{subsection.3.4.2}{}} \newlabel{Kernel2dMapping}{{3.4.2}{18}{\textcolor {Chapter }{Kernel}\relax }{subsection.3.4.2}{}} \citation{W2} \@writefile{toc}{\contentsline {chapter}{\numberline {4}\leavevmode {\color {Chapter }Derivations and Sections}}{20}{chapter.4}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-up2}{{4}{20}{\textcolor {Chapter }{Derivations and Sections}\relax }{chapter.4}{}} \@writefile{toc}{\contentsline {section}{\numberline {4.1}\leavevmode {\color {Chapter }Whitehead Multiplication}}{20}{section.4.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}\leavevmode {\color {Chapter }IsDerivation}}{20}{subsection.4.1.1}} \newlabel{IsDerivation}{{4.1.1}{20}{\textcolor {Chapter }{IsDerivation}\relax }{subsection.4.1.1}{}} \newlabel{IsSection}{{4.1.1}{20}{\textcolor {Chapter }{IsDerivation}\relax }{subsection.4.1.1}{}} \newlabel{IsUp2dMapping}{{4.1.1}{20}{\textcolor {Chapter }{IsDerivation}\relax }{subsection.4.1.1}{}} \@writefile{brf}{\backcite{W2}{{20}{4.1.1}{subsection.4.1.1}}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}\leavevmode {\color {Chapter }DerivationByImages}}{20}{subsection.4.1.2}} \newlabel{DerivationByImages}{{4.1.2}{20}{\textcolor {Chapter }{DerivationByImages}\relax }{subsection.4.1.2}{}} \newlabel{Object2d}{{4.1.2}{20}{\textcolor {Chapter }{DerivationByImages}\relax }{subsection.4.1.2}{}} \citation{AW1} \newlabel{GeneratorImages}{{4.1.2}{21}{\textcolor {Chapter }{DerivationByImages}\relax }{subsection.4.1.2}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}\leavevmode {\color {Chapter }SectionByImages}}{21}{subsection.4.1.3}} \newlabel{SectionByImages}{{4.1.3}{21}{\textcolor {Chapter }{SectionByImages}\relax }{subsection.4.1.3}{}} \newlabel{SectionByDerivation}{{4.1.3}{21}{\textcolor {Chapter }{SectionByImages}\relax }{subsection.4.1.3}{}} \newlabel{DerivationBySection}{{4.1.3}{21}{\textcolor {Chapter }{SectionByImages}\relax }{subsection.4.1.3}{}} \@writefile{brf}{\backcite{AW1}{{22}{4.1.3}{subsection.4.1.3}}} \@writefile{toc}{\contentsline {section}{\numberline {4.2}\leavevmode {\color {Chapter }Whitehead Groups and Monoids}}{22}{section.4.2}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color {Chapter }RegularDerivations}}{22}{subsection.4.2.1}} \newlabel{RegularDerivations}{{4.2.1}{22}{\textcolor {Chapter }{RegularDerivations}\relax }{subsection.4.2.1}{}} \newlabel{AllDerivations}{{4.2.1}{22}{\textcolor {Chapter }{RegularDerivations}\relax }{subsection.4.2.1}{}} \newlabel{RegularSections}{{4.2.1}{22}{\textcolor {Chapter }{RegularDerivations}\relax }{subsection.4.2.1}{}} \newlabel{AllSections}{{4.2.1}{22}{\textcolor {Chapter }{RegularDerivations}\relax }{subsection.4.2.1}{}} \newlabel{ImagesList}{{4.2.1}{22}{\textcolor {Chapter }{RegularDerivations}\relax }{subsection.4.2.1}{}} \newlabel{ImagesTable}{{4.2.1}{22}{\textcolor {Chapter }{RegularDerivations}\relax }{subsection.4.2.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.2.2}\leavevmode {\color {Chapter }CompositeDerivation}}{23}{subsection.4.2.2}} \newlabel{CompositeDerivation}{{4.2.2}{23}{\textcolor {Chapter }{CompositeDerivation}\relax }{subsection.4.2.2}{}} \newlabel{ImagePositions}{{4.2.2}{23}{\textcolor {Chapter }{CompositeDerivation}\relax }{subsection.4.2.2}{}} \newlabel{CompositeSection}{{4.2.2}{23}{\textcolor {Chapter }{CompositeDerivation}\relax }{subsection.4.2.2}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.2.3}\leavevmode {\color {Chapter }WhiteheadGroupTable}}{23}{subsection.4.2.3}} \newlabel{WhiteheadGroupTable}{{4.2.3}{23}{\textcolor {Chapter }{WhiteheadGroupTable}\relax }{subsection.4.2.3}{}} \newlabel{WhiteheadMonoidTable}{{4.2.3}{23}{\textcolor {Chapter }{WhiteheadGroupTable}\relax }{subsection.4.2.3}{}} \newlabel{WhiteheadPermGroup}{{4.2.3}{23}{\textcolor {Chapter }{WhiteheadGroupTable}\relax }{subsection.4.2.3}{}} \newlabel{WhiteheadTransMonoid}{{4.2.3}{23}{\textcolor {Chapter }{WhiteheadGroupTable}\relax }{subsection.4.2.3}{}} \@writefile{toc}{\contentsline {chapter}{\numberline {5}\leavevmode {\color {Chapter }Actors of 2d-objects}}{25}{chapter.5}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-actor2}{{5}{25}{\textcolor {Chapter }{Actors of 2d-objects}\relax }{chapter.5}{}} \@writefile{toc}{\contentsline {section}{\numberline {5.1}\leavevmode {\color {Chapter }Actor of a crossed module}}{25}{section.5.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}\leavevmode {\color {Chapter }WhiteheadXMod}}{25}{subsection.5.1.1}} \newlabel{WhiteheadXMod}{{5.1.1}{25}{\textcolor {Chapter }{WhiteheadXMod}\relax }{subsection.5.1.1}{}} \newlabel{LueXMod}{{5.1.1}{25}{\textcolor {Chapter }{WhiteheadXMod}\relax }{subsection.5.1.1}{}} \newlabel{NorrieXMod}{{5.1.1}{25}{\textcolor {Chapter }{WhiteheadXMod}\relax }{subsection.5.1.1}{}} \newlabel{ActorXMod}{{5.1.1}{25}{\textcolor {Chapter }{WhiteheadXMod}\relax }{subsection.5.1.1}{}} \newlabel{AutomorphismPermGroup}{{5.1.1}{25}{\textcolor {Chapter }{WhiteheadXMod}\relax }{subsection.5.1.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}\leavevmode {\color {Chapter }Centre}}{25}{subsection.5.1.2}} \newlabel{Centre}{{5.1.2}{25}{\textcolor {Chapter }{Centre}\relax }{subsection.5.1.2}{}} \newlabel{InnerActor}{{5.1.2}{25}{\textcolor {Chapter }{Centre}\relax }{subsection.5.1.2}{}} \newlabel{InnerMorphism}{{5.1.2}{25}{\textcolor {Chapter }{Centre}\relax }{subsection.5.1.2}{}} \@writefile{toc}{\contentsline {chapter}{\numberline {6}\leavevmode {\color {Chapter }Induced Constructions}}{28}{chapter.6}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-induce2}{{6}{28}{\textcolor {Chapter }{Induced Constructions}\relax }{chapter.6}{}} \@writefile{toc}{\contentsline {section}{\numberline {6.1}\leavevmode {\color {Chapter }Induced crossed modules}}{28}{section.6.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}\leavevmode {\color {Chapter }InducedXMod}}{28}{subsection.6.1.1}} \newlabel{InducedXMod}{{6.1.1}{28}{\textcolor {Chapter }{InducedXMod}\relax }{subsection.6.1.1}{}} \newlabel{InducedCat1}{{6.1.1}{28}{\textcolor {Chapter }{InducedXMod}\relax }{subsection.6.1.1}{}} \newlabel{IsInducedXMod}{{6.1.1}{28}{\textcolor {Chapter }{InducedXMod}\relax }{subsection.6.1.1}{}} \newlabel{IsInducedCat1}{{6.1.1}{28}{\textcolor {Chapter }{InducedXMod}\relax }{subsection.6.1.1}{}} \newlabel{MorphismOfInducedXMod}{{6.1.1}{28}{\textcolor {Chapter }{InducedXMod}\relax }{subsection.6.1.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}\leavevmode {\color {Chapter }AllInducedXMods}}{30}{subsection.6.1.2}} \newlabel{AllInducedXMods}{{6.1.2}{30}{\textcolor {Chapter }{AllInducedXMods}\relax }{subsection.6.1.2}{}} \citation{brow:lod} \citation{ell:st} \@writefile{toc}{\contentsline {chapter}{\numberline {7}\leavevmode {\color {Chapter }Crossed squares and their morphisms}}{31}{chapter.7}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-obj3}{{7}{31}{\textcolor {Chapter }{Crossed squares and their morphisms}\relax }{chapter.7}{}} \@writefile{brf}{\backcite{brow:lod}{{31}{7}{chapter.7}}} \@writefile{brf}{\backcite{ell:st}{{31}{7}{chapter.7}}} \@writefile{toc}{\contentsline {section}{\numberline {7.1}\leavevmode {\color {Chapter }Constructions for crossed squares}}{32}{section.7.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {7.1.1}\leavevmode {\color {Chapter }XSq}}{32}{subsection.7.1.1}} \newlabel{XSq}{{7.1.1}{32}{\textcolor {Chapter }{XSq}\relax }{subsection.7.1.1}{}} \newlabel{XSqByNormalSubgroups}{{7.1.1}{32}{\textcolor {Chapter }{XSq}\relax }{subsection.7.1.1}{}} \newlabel{ActorXSq}{{7.1.1}{32}{\textcolor {Chapter }{XSq}\relax }{subsection.7.1.1}{}} \newlabel{Transpose3dObject}{{7.1.1}{32}{\textcolor {Chapter }{XSq}\relax }{subsection.7.1.1}{}} \newlabel{Name}{{7.1.1}{32}{\textcolor {Chapter }{XSq}\relax }{subsection.7.1.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {7.1.2}\leavevmode {\color {Chapter }IsXSq}}{33}{subsection.7.1.2}} \newlabel{IsXSq}{{7.1.2}{33}{\textcolor {Chapter }{IsXSq}\relax }{subsection.7.1.2}{}} \newlabel{Is3dObject}{{7.1.2}{33}{\textcolor {Chapter }{IsXSq}\relax }{subsection.7.1.2}{}} \newlabel{IsPerm3dObject}{{7.1.2}{33}{\textcolor {Chapter }{IsXSq}\relax }{subsection.7.1.2}{}} \newlabel{IsPc3dObject}{{7.1.2}{33}{\textcolor {Chapter }{IsXSq}\relax }{subsection.7.1.2}{}} \newlabel{IsFp3dObject}{{7.1.2}{33}{\textcolor {Chapter }{IsXSq}\relax }{subsection.7.1.2}{}} \newlabel{IsPreXSq}{{7.1.2}{33}{\textcolor {Chapter }{IsXSq}\relax }{subsection.7.1.2}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {7.1.3}\leavevmode {\color {Chapter }Up2dObject}}{34}{subsection.7.1.3}} \newlabel{Up2dObject}{{7.1.3}{34}{\textcolor {Chapter }{Up2dObject}\relax }{subsection.7.1.3}{}} \newlabel{Left2dObject}{{7.1.3}{34}{\textcolor {Chapter }{Up2dObject}\relax }{subsection.7.1.3}{}} \newlabel{Down2dObject}{{7.1.3}{34}{\textcolor {Chapter }{Up2dObject}\relax }{subsection.7.1.3}{}} \newlabel{Right2dObject}{{7.1.3}{34}{\textcolor {Chapter }{Up2dObject}\relax }{subsection.7.1.3}{}} \newlabel{DiagonalAction}{{7.1.3}{34}{\textcolor {Chapter }{Up2dObject}\relax }{subsection.7.1.3}{}} \newlabel{XPair}{{7.1.3}{34}{\textcolor {Chapter }{Up2dObject}\relax }{subsection.7.1.3}{}} \newlabel{ImageElmXPair}{{7.1.3}{34}{\textcolor {Chapter }{Up2dObject}\relax }{subsection.7.1.3}{}} \@writefile{toc}{\contentsline {section}{\numberline {7.2}\leavevmode {\color {Chapter }Morphisms of crossed squares}}{34}{section.7.2}} \@writefile{toc}{\contentsline {subsection}{\numberline {7.2.1}\leavevmode {\color {Chapter }Source}}{34}{subsection.7.2.1}} \newlabel{Source}{{7.2.1}{34}{\textcolor {Chapter }{Source}\relax }{subsection.7.2.1}{}} \newlabel{Range}{{7.2.1}{34}{\textcolor {Chapter }{Source}\relax }{subsection.7.2.1}{}} \newlabel{Up2dMorphism}{{7.2.1}{34}{\textcolor {Chapter }{Source}\relax }{subsection.7.2.1}{}} \newlabel{Left2dMorphism}{{7.2.1}{34}{\textcolor {Chapter }{Source}\relax }{subsection.7.2.1}{}} \newlabel{Down2dMorphism}{{7.2.1}{34}{\textcolor {Chapter }{Source}\relax }{subsection.7.2.1}{}} \newlabel{Right2dMorphism}{{7.2.1}{34}{\textcolor {Chapter }{Source}\relax }{subsection.7.2.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {7.2.2}\leavevmode {\color {Chapter }IsXSqMorphism}}{35}{subsection.7.2.2}} \newlabel{IsXSqMorphism}{{7.2.2}{35}{\textcolor {Chapter }{IsXSqMorphism}\relax }{subsection.7.2.2}{}} \newlabel{IsPreXSqMorphism}{{7.2.2}{35}{\textcolor {Chapter }{IsXSqMorphism}\relax }{subsection.7.2.2}{}} \newlabel{IsBijective}{{7.2.2}{35}{\textcolor {Chapter }{IsXSqMorphism}\relax }{subsection.7.2.2}{}} \newlabel{IsAutomorphism3dObject}{{7.2.2}{35}{\textcolor {Chapter }{IsXSqMorphism}\relax }{subsection.7.2.2}{}} \@writefile{toc}{\contentsline {chapter}{\numberline {8}\leavevmode {\color {Chapter }Utility functions}}{36}{chapter.8}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-util}{{8}{36}{\textcolor {Chapter }{Utility functions}\relax }{chapter.8}{}} \@writefile{toc}{\contentsline {section}{\numberline {8.1}\leavevmode {\color {Chapter }Inclusion and Restriction Mappings}}{36}{section.8.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.1.1}\leavevmode {\color {Chapter }InclusionMappingGroups}}{36}{subsection.8.1.1}} \newlabel{InclusionMappingGroups}{{8.1.1}{36}{\textcolor {Chapter }{InclusionMappingGroups}\relax }{subsection.8.1.1}{}} \newlabel{RestrictionMappingGroups}{{8.1.1}{36}{\textcolor {Chapter }{InclusionMappingGroups}\relax }{subsection.8.1.1}{}} \newlabel{MappingToOne}{{8.1.1}{36}{\textcolor {Chapter }{InclusionMappingGroups}\relax }{subsection.8.1.1}{}} \@writefile{toc}{\contentsline {section}{\numberline {8.2}\leavevmode {\color {Chapter }Endomorphism Classes and Automorphisms}}{37}{section.8.2}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.2.1}\leavevmode {\color {Chapter }EndomorphismClasses}}{37}{subsection.8.2.1}} \newlabel{EndomorphismClasses}{{8.2.1}{37}{\textcolor {Chapter }{EndomorphismClasses}\relax }{subsection.8.2.1}{}} \newlabel{EndoClassNaturalHom}{{8.2.1}{37}{\textcolor {Chapter }{EndomorphismClasses}\relax }{subsection.8.2.1}{}} \newlabel{EndoClassIsomorphism}{{8.2.1}{37}{\textcolor {Chapter }{EndomorphismClasses}\relax }{subsection.8.2.1}{}} \newlabel{EndoClassConjugators}{{8.2.1}{37}{\textcolor {Chapter }{EndomorphismClasses}\relax }{subsection.8.2.1}{}} \newlabel{AutoGroup}{{8.2.1}{37}{\textcolor {Chapter }{EndomorphismClasses}\relax }{subsection.8.2.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.2.2}\leavevmode {\color {Chapter }InnerAutomorphismByNormalSubgroup}}{38}{subsection.8.2.2}} \newlabel{InnerAutomorphismByNormalSubgroup}{{8.2.2}{38}{\textcolor {Chapter }{InnerAutomorphismByNormalSubgroup}\relax }{subsection.8.2.2}{}} \newlabel{IsGroupOfAutomorphisms}{{8.2.2}{38}{\textcolor {Chapter }{InnerAutomorphismByNormalSubgroup}\relax }{subsection.8.2.2}{}} \@writefile{toc}{\contentsline {section}{\numberline {8.3}\leavevmode {\color {Chapter }Abelian Modules}}{38}{section.8.3}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.3.1}\leavevmode {\color {Chapter }AbelianModuleObject}}{38}{subsection.8.3.1}} \newlabel{AbelianModuleObject}{{8.3.1}{38}{\textcolor {Chapter }{AbelianModuleObject}\relax }{subsection.8.3.1}{}} \newlabel{IsAbelianModule}{{8.3.1}{38}{\textcolor {Chapter }{AbelianModuleObject}\relax }{subsection.8.3.1}{}} \newlabel{AbelianModuleGroup}{{8.3.1}{38}{\textcolor {Chapter }{AbelianModuleObject}\relax }{subsection.8.3.1}{}} \newlabel{AbelianModuleAction}{{8.3.1}{38}{\textcolor {Chapter }{AbelianModuleObject}\relax }{subsection.8.3.1}{}} \@writefile{toc}{\contentsline {section}{\numberline {8.4}\leavevmode {\color {Chapter }Distinct and Common Representatives}}{39}{section.8.4}} \@writefile{toc}{\contentsline {subsection}{\numberline {8.4.1}\leavevmode {\color {Chapter }DistinctRepresentatives}}{39}{subsection.8.4.1}} \newlabel{DistinctRepresentatives}{{8.4.1}{39}{\textcolor {Chapter }{DistinctRepresentatives}\relax }{subsection.8.4.1}{}} \newlabel{CommonRepresentatives}{{8.4.1}{39}{\textcolor {Chapter }{DistinctRepresentatives}\relax }{subsection.8.4.1}{}} \newlabel{CommonTransversal}{{8.4.1}{39}{\textcolor {Chapter }{DistinctRepresentatives}\relax }{subsection.8.4.1}{}} \newlabel{IsCommonTransversal}{{8.4.1}{39}{\textcolor {Chapter }{DistinctRepresentatives}\relax }{subsection.8.4.1}{}} \citation{BW1} \citation{BW2} \citation{BW3} \@writefile{toc}{\contentsline {chapter}{\numberline {9}\leavevmode {\color {Chapter }Development history}}{40}{chapter.9}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-history}{{9}{40}{\textcolor {Chapter }{Development history}\relax }{chapter.9}{}} \@writefile{brf}{\backcite{BW1}{{40}{9}{chapter.9}}} \@writefile{brf}{\backcite{BW2}{{40}{9}{chapter.9}}} \@writefile{brf}{\backcite{BW3}{{40}{9}{chapter.9}}} \@writefile{toc}{\contentsline {section}{\numberline {9.1}\leavevmode {\color {Chapter }Changes from version to version}}{40}{section.9.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.1.1}\leavevmode {\color {Chapter }Version 1 for \textsf {GAP} 3}}{40}{subsection.9.1.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.1.2}\leavevmode {\color {Chapter }Version 2}}{40}{subsection.9.1.2}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.1.3}\leavevmode {\color {Chapter }Version 2.001 for \textsf {GAP} 4}}{40}{subsection.9.1.3}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.1.4}\leavevmode {\color {Chapter }Induced crossed modules}}{41}{subsection.9.1.4}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.1.5}\leavevmode {\color {Chapter }Versions 2.002 -- 2.006}}{41}{subsection.9.1.5}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.1.6}\leavevmode {\color {Chapter }Versions 2.007 -- 2.010}}{41}{subsection.9.1.6}} \@writefile{toc}{\contentsline {subsection}{\numberline {9.1.7}\leavevmode {\color {Chapter }Version 2.12}}{41}{subsection.9.1.7}} \bibstyle{alpha} \bibdata{manual} \@writefile{toc}{\contentsline {section}{\numberline {9.2}\leavevmode {\color {Chapter }What needs doing next?}}{42}{section.9.2}} \bibcite{A1}{Alp97} \bibcite{AW1}{AW00} \bibcite{BH1}{BH78} \bibcite{brow:lod}{BL87} \bibcite{B82}{Bro82} \bibcite{BW1}{BW95} \bibcite{BW2}{BW96} \bibcite{BW3}{BW03} \bibcite{E1}{Ell84} \bibcite{ell:st}{ES87} \bibcite{G1}{Gil90} \bibcite{L1}{Lod82} \bibcite{M1}{Moo01} \bibcite{N2}{Nor87} \bibcite{N1}{Nor90} \bibcite{W2}{Whi48} \bibcite{W1}{Whi49}