  
  [1X34 [33X[0;0YCommutative diagrams and abstract categories[133X[101X
  
      │                                                        [10XHomomorphismChainToCommutativeDiagram(H) [110X                                                        
      │                                           [10XNormalSeriesToQuotientDiagram(L) [110X [10XNormalSeriesToQuotientDiagram(L,M)[110X                                          
      │                                                              [10XNerveOfCommutativeDiagram(D) [110X                                                              
      │ [10XGroupHomologyOfCommutativeDiagram(D,n) [110X [10XGroupHomologyOfCommutativeDiagram(D,n,prime) [110X [10XGroupHomologyOfCommutativeDiagram(D,n,prime,Resolution_Algorithm) [110X
      │                                                  [10XPersistentHomologyOfCommutativeDiagramOfPGroups(D,n) [110X                                                  
  
       [1XTable:[101X COMMUTATIVE DIAGRAMS
  
  
  [33X[0;0Y[12XABSTRACT CATEGORIES[112X[133X
  
      │ [10XCategoricalEnrichment(X,Name) [110X
      │       [10XIdentityArrow(X) [110X       
      │        [10XInitialArrow(X) [110X       
      │       [10XTerminalArrow(X) [110X       
      │    [10XHasInitialObject(Name) [110X    
      │    [10XHasTerminalObject(Name) [110X   
      │           [10XSource(f) [110X          
      │           [10XTarget(f) [110X          
      │        [10XCategoryName(X) [110X       
      │      [10X"*", "=", "+", "-" [110X      
      │           [10XObject(X) [110X          
      │          [10XMapping(X) [110X          
      │      [10XIsCategoryObject(X) [110X     
      │      [10XIsCategoryArrow(X) [110X      
  
