Index - D
| decompose | Math.Category, Math.FiniteCategory, Math.FiniteCategories.All | 
| defaultConstructRandomCompositionGraph | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All | 
| defaultConstructRandomDiagram | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All | 
| defaultConstructRandomSafeCompositionGraph | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All | 
| defaultConstructRandomSafeDiagram | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All | 
| deltaFunctor | Math.Functors.DataMigration, Math.Functors, Math.FiniteCategories.All | 
| diagonalFunctor | Math.Functors.DiagonalFunctor, Math.Functors, Math.FiniteCategories.All | 
| Diagram | |
| 1 (Type/Class) | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| 2 (Data Constructor) | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| diagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| DiagramError | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| diagramToDiagramOfCompositionGraphs | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All | 
| diagramToDiagramOfCompositionGraphs2 | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All | 
| DiscreteCategory | Math.FiniteCategories.DiscreteCategory, Math.FiniteCategories, Math.FiniteCategories.All | 
| discreteCategory | Math.FiniteCategories.DiscreteCategory, Math.FiniteCategories, Math.FiniteCategories.All | 
| discreteDiagram | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All | 
| DiscreteMorphism | Math.FiniteCategories.DiscreteCategory, Math.FiniteCategories, Math.FiniteCategories.All | 
| DiscreteTwo | |
| 1 (Type/Class) | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, Math.FiniteCategories.All | 
| 2 (Data Constructor) | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, Math.FiniteCategories.All | 
| DiscreteTwoAr | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, Math.FiniteCategories.All | 
| DiscreteTwoOb | Math.FiniteCategories.DiscreteTwo, Math.FiniteCategories, Math.FiniteCategories.All | 
| distinguishedCocones | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All | 
| distinguishedCones | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All | 
| distinguishedTripods | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All | 
| divisibilityGraph | Math.FiniteCategories.FinGrph.Examples, Math.FiniteCategories.Examples, Math.FiniteCategories.All |