  
  [1X30 [33X[0;0YRegular CW-Complexes[133X[101X
  
      │                  [10XSimplicialComplexToRegularCWComplex(K)[110X                  
      │ [10XCubicalComplexToRegularCWComplex(K)[110X [10XCubicalComplexToRegularCWComplex(K,n)[110X
      │  [10XCriticalCellsOfRegularCWComplex(Y)[110X [10XCriticalCellsOfRegularCWComplex(Y,n)[110X 
      │                              [10XChainComplex(Y)[110X                             
      │                     [10XChainComplexOfRegularCWComplex(Y)[110X                    
      │                 [10XFundamentalGroup(Y)[110X [10XFundamentalGroup(Y,n)[110X                
  
