D | UsualCategories.Square |
decomp | FiniteCategory.FiniteCategory |
decompose | FiniteCategory.FiniteCategory |
defaultDecompose | FiniteCategory.FiniteCategory |
defaultGenAr | FiniteCategory.FiniteCategory |
defaultMkRandomCompositionGraph | RandomCompositionGraph.RandomCompositionGraph |
defaultMkRandomDiagram | RandomDiagram.RandomDiagram |
DeleteCompositeMorph | CompositionGraph.CompositionGraph |
DeleteIdentity | CompositionGraph.CompositionGraph |
deleteMorphism | CompositionGraph.CompositionGraph |
deleteMorphismS | CompositionGraph.SafeCompositionGraph |
DeleteNonExistantObject | CompositionGraph.CompositionGraph |
DeleteNonExistantObjectMorph | CompositionGraph.CompositionGraph |
deleteObject | CompositionGraph.CompositionGraph |
deleteObjectS | CompositionGraph.SafeCompositionGraph |
Diagram | |
1 (Type/Class) | Diagram.Diagram |
2 (Data Constructor) | Diagram.Diagram |
diagramToFinFunctor | Diagram.Conversion |
diagramToPartialFunctor | Diagram.Conversion |
diagToDot | ExportGraphViz.ExportGraphViz |
diagToDot2 | ExportGraphViz.ExportGraphViz |
diagToDotCluster | ExportGraphViz.ExportGraphViz |
diagToPdf | ExportGraphViz.ExportGraphViz |
diagToPdf2 | ExportGraphViz.ExportGraphViz |
diagToPdfCluster | ExportGraphViz.ExportGraphViz |
DiscreteCategory | |
1 (Type/Class) | UsualCategories.DiscreteCategory |
2 (Data Constructor) | UsualCategories.DiscreteCategory |
DiscreteIdentity | |
1 (Type/Class) | UsualCategories.DiscreteCategory |
2 (Data Constructor) | UsualCategories.DiscreteCategory |
DiscreteObject | |
1 (Type/Class) | UsualCategories.DiscreteCategory |
2 (Data Constructor) | UsualCategories.DiscreteCategory |
domainArrows | Cat.PartialFinCat |
domainObjects | Cat.PartialFinCat |
doubleInclusion | Utils.SetList |
dupMorph | FiniteCategory.FiniteCategory |
dupObj | FiniteCategory.FiniteCategory |