\contentsline {chapter}{\numberline {1}\leavevmode {\color {Chapter }Introduction}}{5}{chapter.1}
\contentsline {chapter}{\numberline {2}\leavevmode {\color {Chapter }Many-object structures}}{7}{chapter.2}
\contentsline {section}{\numberline {2.1}\leavevmode {\color {Chapter }Magmas with objects}}{7}{section.2.1}
\contentsline {subsection}{\numberline {2.1.1}\leavevmode {\color {Chapter }MagmaWithObjects}}{7}{subsection.2.1.1}
\contentsline {subsection}{\numberline {2.1.2}\leavevmode {\color {Chapter }MultiplicativeElementWithObjects}}{8}{subsection.2.1.2}
\contentsline {subsection}{\numberline {2.1.3}\leavevmode {\color {Chapter }IsSinglePiece}}{8}{subsection.2.1.3}
\contentsline {chapter}{\numberline {3}\leavevmode {\color {Chapter }Homomorphisms of many-object structures}}{10}{chapter.3}
\contentsline {section}{\numberline {3.1}\leavevmode {\color {Chapter }Homomorphisms of magmas with objects}}{10}{section.3.1}
\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color {Chapter }MagmaWithObjectsHomomorphism}}{10}{subsection.3.1.1}
\contentsline {chapter}{\numberline {4}\leavevmode {\color {Chapter }Groupoids}}{12}{chapter.4}
\contentsline {section}{\numberline {4.1}\leavevmode {\color {Chapter }Groupoids: their elements and attributes}}{12}{section.4.1}
\contentsline {subsection}{\numberline {4.1.1}\leavevmode {\color {Chapter }SinglePieceGroupoid}}{12}{subsection.4.1.1}
\contentsline {subsection}{\numberline {4.1.2}\leavevmode {\color {Chapter }Pieces}}{13}{subsection.4.1.2}
\contentsline {subsection}{\numberline {4.1.3}\leavevmode {\color {Chapter }IsPermGroupoid}}{13}{subsection.4.1.3}
\contentsline {subsection}{\numberline {4.1.4}\leavevmode {\color {Chapter }GroupoidElement}}{14}{subsection.4.1.4}
\contentsline {subsection}{\numberline {4.1.5}\leavevmode {\color {Chapter }IsSinglePiece}}{15}{subsection.4.1.5}
\contentsline {section}{\numberline {4.2}\leavevmode {\color {Chapter }Subgroupoids}}{15}{section.4.2}
\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color {Chapter }SubgroupoidByPieces}}{15}{subsection.4.2.1}
\contentsline {section}{\numberline {4.3}\leavevmode {\color {Chapter }Stars, Costars and Homsets}}{16}{section.4.3}
\contentsline {subsection}{\numberline {4.3.1}\leavevmode {\color {Chapter }ObjectStar}}{16}{subsection.4.3.1}
\contentsline {subsection}{\numberline {4.3.2}\leavevmode {\color {Chapter }IdentityElement}}{17}{subsection.4.3.2}
\contentsline {section}{\numberline {4.4}\leavevmode {\color {Chapter }Left, right and double cosets}}{17}{section.4.4}
\contentsline {subsection}{\numberline {4.4.1}\leavevmode {\color {Chapter }RightCoset}}{17}{subsection.4.4.1}
\contentsline {section}{\numberline {4.5}\leavevmode {\color {Chapter }Conjugation}}{18}{section.4.5}
\contentsline {subsection}{\numberline {4.5.1}\leavevmode {\color {Chapter }\texttt {\char 92\relax }\texttt {\char 94\relax }}}{18}{subsection.4.5.1}
\contentsline {chapter}{\numberline {5}\leavevmode {\color {Chapter }Homomorphisms of Groupoids}}{20}{chapter.5}
\contentsline {section}{\numberline {5.1}\leavevmode {\color {Chapter }Homomorphisms to a connected groupoid}}{20}{section.5.1}
\contentsline {subsection}{\numberline {5.1.1}\leavevmode {\color {Chapter }GroupoidHomomorphism}}{20}{subsection.5.1.1}
\contentsline {chapter}{\numberline {6}\leavevmode {\color {Chapter }Graphs of Groups and Groupoids}}{22}{chapter.6}
\contentsline {section}{\numberline {6.1}\leavevmode {\color {Chapter }Digraphs}}{22}{section.6.1}
\contentsline {subsection}{\numberline {6.1.1}\leavevmode {\color {Chapter }FpWeightedDigraph}}{22}{subsection.6.1.1}
\contentsline {section}{\numberline {6.2}\leavevmode {\color {Chapter }Graphs of Groups}}{23}{section.6.2}
\contentsline {subsection}{\numberline {6.2.1}\leavevmode {\color {Chapter }GraphOfGroups}}{23}{subsection.6.2.1}
\contentsline {subsection}{\numberline {6.2.2}\leavevmode {\color {Chapter }IsGraphOfFpGroups}}{24}{subsection.6.2.2}
\contentsline {subsection}{\numberline {6.2.3}\leavevmode {\color {Chapter }RightTransversalsOfGraphOfGroups}}{25}{subsection.6.2.3}
\contentsline {section}{\numberline {6.3}\leavevmode {\color {Chapter }Words in a Graph of Groups and their normal forms}}{25}{section.6.3}
\contentsline {subsection}{\numberline {6.3.1}\leavevmode {\color {Chapter }GraphOfGroupsWord}}{25}{subsection.6.3.1}
\contentsline {subsection}{\numberline {6.3.2}\leavevmode {\color {Chapter }ReducedGraphOfGroupsWord}}{26}{subsection.6.3.2}
\contentsline {section}{\numberline {6.4}\leavevmode {\color {Chapter }Free products with amalgamation and HNN extensions}}{26}{section.6.4}
\contentsline {subsection}{\numberline {6.4.1}\leavevmode {\color {Chapter }FreeProductWithAmalgamation}}{26}{subsection.6.4.1}
\contentsline {subsection}{\numberline {6.4.2}\leavevmode {\color {Chapter }HnnExtension}}{28}{subsection.6.4.2}
\contentsline {section}{\numberline {6.5}\leavevmode {\color {Chapter }GraphsOfGroupoids and their Words}}{29}{section.6.5}
\contentsline {subsection}{\numberline {6.5.1}\leavevmode {\color {Chapter }GraphOfGroupoids}}{29}{subsection.6.5.1}
\contentsline {subsection}{\numberline {6.5.2}\leavevmode {\color {Chapter }GraphOfGroupoidsWord}}{30}{subsection.6.5.2}
\contentsline {chapter}{\numberline {7}\leavevmode {\color {Chapter }Development History}}{31}{chapter.7}
\contentsline {section}{\numberline {7.1}\leavevmode {\color {Chapter }Versions of the Package}}{31}{section.7.1}
\contentsline {section}{\numberline {7.2}\leavevmode {\color {Chapter }What needs to be done next?}}{31}{section.7.2}
