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 |