\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{Tail}{{2.3.1}{11}{\textcolor {Chapter }{Source}\relax }{subsection.2.3.1}{}}
\newlabel{Head}{{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}{}}
\citation{N2}
\citation{N1}
\@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{brf}{\backcite{N2}{{25}{5.1}{section.5.1}}}
\@writefile{brf}{\backcite{N1}{{25}{5.1}{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}{}}
\citation{BH1}
\citation{BW1}
\citation{BW2}
\citation{BH1}
\citation{BW1}
\citation{BW2}
\@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{brf}{\backcite{BH1}{{28}{6.1.1}{subsection.6.1.1}}}
\@writefile{brf}{\backcite{BW1}{{28}{6.1.1}{subsection.6.1.1}}}
\@writefile{brf}{\backcite{BW2}{{28}{6.1.1}{subsection.6.1.1}}}
\@writefile{brf}{\backcite{BH1}{{28}{6.1.1}{subsection.6.1.1}}}
\@writefile{brf}{\backcite{BW1}{{28}{6.1.1}{subsection.6.1.1}}}
\@writefile{brf}{\backcite{BW2}{{28}{6.1.1}{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{IsPerm3dObject}{{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}\nobreakspace  {}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}\nobreakspace  {}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.008}}{42}{subsection.9.1.6}}
\@writefile{toc}{\contentsline {section}{\numberline {9.2}\leavevmode {\color  {Chapter }What needs doing next?}}{42}{section.9.2}}
\bibstyle{alpha}
\bibdata{manual}
\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}
