  
  [1X25 [33X[0;0YSimplicial groups[133X[101X
  
      │             [10XNerveOfCatOneGroup(G,n)[110X             
      │     [10XEilenbergMacLaneSimplicialGroup(G,n,dim)[110X    
      │   [10XEilenbergMacLaneSimplicialGroupMap(f,n,dim)[110X   
      │                 [10XMooreComplex(G)[110X                 
      │         [10XChainComplexOfSimplicialGroup(G)[110X        
      │              [10XSimplicialGroupMap(f)[110X              
      │                [10XHomotopyGroup(G,n)[110X               
      │ [10XRepresentation of elements in the bar resolution[110X
      │             [10XBarResolutionBoundary(w)[110X            
      │             [10XBarResolutionHomotopy(w)[110X            
      │  [10XRepresentation of elements in the bar complex[110X  
      │              [10XBarComplexBoundary(w)[110X              
      │           [10XBarResolutionEquivalence(R)[110X           
      │             [10XBarComplexEquivalence(R)[110X            
      │ [10XRepresentation of elements in the bar cocomplex[110X 
      │            [10XBarCocomplexCoboundary(w)[110X            
  
